News for hackers. Stuff that matters.
Re:Why Lisp is a Big Hack and Haskell is Doomed to Succeed (... by nmrm on Sunday March 30, 2014 @08:23PM (#7498671)
This is a solved problem; they are called Universe Types.

There are no comments on this comment yet.