A new approach to encoding dependently-typed chained implicits, using singleton types: https://gist.github.com/milessabin/cadd73b7756fe4097ca0 … #Scala
@milessabin This, I need to study... Looks like it could be really really useful in a couple of places!
-
-
@propensive To be perfectly honest, it doesn't add much over the "Aux" idiom I already use in shapeless ... 1/2 -
@propensive ... but it could be useful for types which you don't own. 2/2.
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.