Login
From:
Posts on rasie1's blog
(Uncensored)
subscribe
We Need Simpler Types
https://kvachev.com/blog/posts/we-need-simpler-types/
links
backlinks
Roast topics
Find topics
Find it!
Dependent types, refinement types, gradual types, rank-n polymorphism, etc, – we are moving in the right direction
