3 ms·A New Kind of Type System4 points by richmok 13y agorichmok 13y agoDiscussed here on Lambda the Ultimate (http://lambda-the-ultimate.org/node/4764 http://lambda-the-ultimate.org/node/4764)