by obl on 6/20/23, 2:00 PM with 1 comments
by monaaraj on 6/20/23, 7:03 PM
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~~