Explore >> Select a destination
|
You are here 
|
frenchy64.github.io | ||
| | | | |
dafoster.net
|
|
| | | | | [AI summary] A software practitioner argues that unsound type systems, while lacking runtime consistency guarantees, offer practical benefits like error detection and consistent API documentation and should be considered useful. | |
| | | | |
typesanitizer.com
|
|
| | | | | A spin on the old folk tale Six Blind Men and the Elephant. | |
| | | | |
ruudvanasseldonk.com
|
|
| | | | | I am adding a type system to RCL, my configuration language. In part 1, I explain what I want from the type system. | |
| | | | |
existentialtype.wordpress.com
|
|
| | | While reviewing some of the comments on my post about parallelism and concurrency, I noticed that the great fallacy about dynamic and static languages continues to hold people in its thrall. So, in the same "everything you know is wrong" spirit, let me try to set this straight: a dynamic language is a straightjacketed static | ||
