Channels
#arrow-contributors
- p
pakoito
03/21/2018, 3:45 PMevery place where a lookup method was used it had an equivalent version that used dynamic dispatch - p
pakoito
03/21/2018, 3:46 PMwe can refactor those withtypeclassless - p
pakoito
03/21/2018, 3:46 PMfrom the external libs? - p
pakoito
03/21/2018, 3:46 PMor inside the Arrow repo? - s
simon.vergauwen
03/21/2018, 3:47 PMIt will break some stuff that is currently still in progress / was planned for optics DSL. - s
simon.vergauwen
03/21/2018, 3:48 PMBecause the dsl is constrained on typeclasses on a method level rather than a class level. Which sucks anyway since it's not compile time verified. - s
simon.vergauwen
03/21/2018, 3:49 PMAnyhow I'm also a little in the middle of replacing
withpure
. Have a feeling this might improve things for people coming from a non FP background but it might confuse people coming from a FP background.just - p
pakoito
03/21/2018, 3:50 PMI believe more in the adaptability of the later - p
pakoito
03/21/2018, 3:50 PM😄 - s
simon.vergauwen
03/21/2018, 3:50 PMHahaha - p
pakoito
03/21/2018, 3:50 PMBecause the dal is constrained on typeclasses on a method level rather than a class level.
Can we work this out? - p
pakoito
03/21/2018, 3:51 PMwill it be fixed by changing to extfuns? - p
pakoito
03/21/2018, 3:51 PMor is it a metaprogramming issue? - s
simon.vergauwen
03/21/2018, 3:52 PMSomething like this is needed. (or similar, I'm on my phone). - p
pakoito
03/21/2018, 3:52 PMI can help you with it, for sure - p
pakoito
03/21/2018, 3:52 PMwe can pair the next time you’re working on it, or tonight - p
pakoito
03/21/2018, 3:52 PMAFAIK you’re the only customer of lookup - s
simon.vergauwen
03/21/2018, 3:53 PMfun BoundOptic<HK<F, A>, A>.each(EA: Each<HK<F, A>, A> = each()) = this compose EA.each() - s
simon.vergauwen
03/21/2018, 3:54 PMThe PR has been quiet for a while. Guess I should look into taking it over. - s
simon.vergauwen
03/21/2018, 3:54 PMAnd no that's public API :/ - s
simon.vergauwen
03/21/2018, 3:55 PMSo the resulting DSL is awesome but it relies on typeclass lookups. - p
pakoito
03/21/2018, 3:58 PMWould that work? - p
pakoito
03/21/2018, 3:59 PMwait - p
pakoito
03/21/2018, 3:59 PMit’s missing something - s
simon.vergauwen
03/21/2018, 4:11 PMBut hard to say up front because the it's not build yet and I have not seen anything similar in other languages. - r
raulraja
03/21/2018, 5:03 PMOne of the problems of not having lookup methods is for generic we need runtime lookups for recursive data classes. See rr-arrow-generic. The codegen relies on global lookups - r
raulraja
03/21/2018, 5:03 PMNot sure how that would work with the typeclassless encoding - r
raulraja
03/21/2018, 5:03 PMBut all o board for the change if we can cover all use cases👍 1