Lobsters
- Can you write correct software in a statically typed language? http://www.drmaciver.com/2018/02/can-you-write-correct-software-in-a-statically-typed-language/ 14 comments programming
Linked pages
- Literature review on the benefits of static types https://danluu.com/empirical-pl/ 1348 comments
- Idris: A Language for Type-Driven Development http://www.idris-lang.org 258 comments
- It might be worth learning an ML-family language | David R. MacIver http://www.drmaciver.com/2016/07/it-might-be-worth-learning-an-ml-family-language/ 54 comments
- http://www.eecg.toronto.edu/~yuan/papers/failure_analysis_osdi14.pdf 2 comments
- The Tullock Spike http://www.weirduniverse.net/blog/comments/tullock_spike 0 comments
Related searches:
Search whole site: site:www.drmaciver.com
Search title: Can you write correct software in a statically typed language? | David R. MacIver
See how to search.