Deeply typed programming languages
Lobsters·16 points·calvin·over 9 years ago·typeinference.com
Uncle Bob did it again. Some months ago he wrote Type Wars, a post to defend static type systems are not really needed if you do TDD. Now he’s back. In his latest post, The Dark Path (I know: these titles sound like…
Read the full article at typeinference.com →
Related stories
- Lobsters · 2 points · about 3 years ago
- GitHut - Programming Languages and GitHubgithut.infoLobsters · 9 points · almost 11 years ago
- Programming languagespacknback.github.ioLobsters · 22 points · about 8 years ago
- Questioning "Best Practices" for Software Development: Practices are Contextual, Never Best (2011)ambysoft.comLobsters · 2 points · over 7 years ago
- Flix - The Elegance of Functional Programming with the Conciseness of Logic Programmingflix.github.ioLobsters · 11 points · about 10 years ago
- Strongly Typed Realtime Programming with TypeScriptstackbuilders.comLobsters · 4 points · about 6 years ago