https://kotlinlang.org logo
#mathematics
Title
# mathematics
b

breandan

01/09/2019, 7:14 PM
a

altavir

01/09/2019, 7:33 PM
Thanks. Looks interesting. It is using very similar design to kmath only with Scala type calasses instead of contexts and generic specialization instead of inlines.
b

breandan

01/09/2019, 8:17 PM
Yeah, it's a type-level encoding of the same basic ideas https://arxiv.org/pdf/1710.06892.pdf
a

altavir

01/10/2019, 3:43 AM
Now I have another comparison of type classes and contexts. And in my case contexts have state which type classes can't have😁