Why type systems are interesting?lambda-the-ultimate.org1 point·rahulrrixe··0 commentsOpen articleSaveView on HN