|
|
|
|
|
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~~ |
|