2 ms·
One of my favorite things that I’ve read via HN. It seems like this approach will often bottom out in smart constructors since type systems either are limited
by keybored 2y ago
One of my favorite things that I’ve read via HN.
It seems like this approach will often bottom out in smart constructors since type systems either are limited or make you work too hard to prove relatively simple thing.