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.
[ Parent
| on HN ]
There are no comments on this comment yet.