/explore
|
You are here 
|
existentialtype.wordpress.com | ||
| | | | |
blog.jooq.org
Sometimes there are these moments of truth. They happen completely unexpectedly, such as when I read this tweet: https://twitter.com/whileydave/status/536422407297171457 David is the author of the lesser-known but not at all lesser-interesting Whiley programming language, a language that has a lot of static type checking built in it. One of the most interesting features of the... |
|
| | | | | ||
| | | | |
gavinhoward.com
There are 8 questions that must be answered to design a good type system. In this post, I attempt to do just that. |
|
| | | | | ||
| | | | |
loup-vaillant.fr
Good code is cheap code that meets our needs. Here I try to evaluate various mechanisms in this light. |
|
| | | | | ||
| | | | |
sophiebits.com
|
|
| | | |||
