Why type systems are interesting?

1 points| rahulrrixe | 7 years ago |lambda-the-ultimate.org | reply