These are chat archives for typelevel/scala

24th
Nov 2016
Pascal Voitot
@mandubian
Nov 24 2016 13:10
Hey, just twitted about this new Kind-Polymorphic sample, a bit crazy but actually very interesting IMHO : a representation of a Kind-Polymorphic product indexed by the kind of morphism directly https://github.com/mandubian/scala/blob/topic/kind-poly-v1/test/files/pos/kind-poly4.scala#L50-L143
Miles Sabin
@milessabin
Nov 24 2016 17:30
Very cool :-)
Pascal Voitot
@mandubian
Nov 24 2016 17:35
Yep abstracting on the kind of morphism would allow abstracting on structure order (at least in theory)