Why type systems are interesting?(lambda-the-ultimate.org)1 points·by rahulrrixe·7 anni fa·0 commentslambda-the-ultimate.orgWhy type systems are interesting?http://lambda-the-ultimate.org/node/1000 commentsPost comment—