Anyone interested in type-level programming and singleton types in Scala may find this example fun!pic.twitter.com/0fHxgxekWf
-
Looks a lot like
@nadamin s http://io.livecode.ch/learn/namin/unsound/scala …
-
-
wasn’t suggesting that, just that it looks similar to the uninhabitable type used for unsound coercion in that paper…
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
cute trick, but doesn't Nothing give you a ready-made for free?
-
Nothing doesn't give you anything at the value level (not even null)... But it's the type that's interesting, not the value...
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.