Hacker News new | ask | show | jobs
by monaaraj 1092 days ago
I love that people are finally realizing the importance of enforcing invariants in the type system. Linear types, Uniqueness types, Affine types... I love 'em all. ~~Hopefully somewhere in the future people realize even more the importance of pure FP~~