Login
From:
jerf.org
(Uncensored)
subscribe
Types as Assertions - iRi
https://jerf.org/iri/post/2025/fp_lessons_types_as_assertions/
links
backlinks
Roast topics
Find topics
Find it!
Functional programming languages see types not just as buckets of
