Why type systems are interesting? #1 Post by rahulrrixe » Fri, Jan 25, 2019, 3:59 AM UTC Why type systems are interesting?lambda-the-ultimate.org