A New Kind of Type System Posted by richmok on Tuesday June 18, 2013 @07:23AM from the mcdirmid.github.io dept. http://mcdirmid.github.io/2013/06/14/a-new-kind-of-type-system/ ( 1 comment | 4 points | on HN )