- I use dialyzer with as tight typespecs as possible for all my projects, here's high-level reasoning why https://doma.dev/blog/why-type-systems-matter/ 12 comments elixir
- Why type systems matter https://doma.dev/blog/why-type-systems-matter/ 160 comments programming
- Decide between TS and JS by comparing runtime monitoring to type systems https://doma.dev/blog/why-type-systems-matter/ 21 comments javascript
Linking pages
Linked pages
- Hoogle https://hoogle.haskell.org/ 48 comments
- Dependency Analysis of Haskell Declarations (ZuriHac 2021) – Artem Kuznetsov - YouTube https://www.youtube.com/watch?v=jNbb5JVuq-o 8 comments
- Design by Contract and Assertions https://www.eiffel.org/doc/solutions/Design_by_Contract_and_Assertions 1 comment
Related searches:
Search whole site: site:doma.dev
Search title: Why type systems matter
See how to search.