Scala has implicit parameter injection that provid...
# arrowj
julian
05/29/2020, 2:35 PMScala has implicit parameter injection that provides typeclasses to methods. Is there a way with arrow not to have to explicitly provide typeclasses in function calls?
p
pakoito
05/29/2020, 2:35 PMextension functions is the closest you’ll get
EDIT *today. Check below for the future!
pakoito
05/29/2020, 2:36 PMj
julian
05/29/2020, 2:39 PM@pakoito Thanks!
b
bloder
05/29/2020, 2:41 PM@pakoito type proofs provided by arrow meta couldn't help on that?
i
Imran/Malic
05/29/2020, 2:46 PMHere are the tests for coherent typeclass derivation, which allow internal orphan overrides over types. Similar to what you find in Haskell
https://github.com/arrow-kt/arrow-meta/blob/master/compiler-plugin/src/test/kotlin/arrow/meta/plugins/typeclasses/GivenTest.kt
if you wanna see more features of Meta check out Rauls talk https://kotlinlang.slack.com/archives/C0BJ0GTE2/p1590599882461100
👍🏼 2
Imran/Malic
05/29/2020, 3:04 PMCompared to other languages they don’t suffer from an explosion of implicits from inside out.
4 Views