DON'T MESS WITH MY BRAIN
Anyone interested in type-level programming and singleton types in Scala may find this example fun!pic.twitter.com/0fHxgxekWf
-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
The punchline is that we can infer a type parameter to be the intersection of all the singleton types of the applied varargs.
-
seems that my preemptive facepalming upon seeing the first couple of lines in the screenshot was fully justified
End of conversation
New conversation -
-
-
After staring at that for a few minutes, it actually makes a ton of sense. I'm sort of surprised no one has done it before.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Really, Jon, did scala need *yet another* way to infer uninhabitable types?
-
Uninhabitable types are great! I feel a talk coming on... ;)
End of conversation
New conversation -
-
-
Looks a lot like
@nadamin s http://io.livecode.ch/learn/namin/unsound/scala … -
- Show replies
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.