You are here |
sitr.us | ||
| | | |
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. | |
| | | |
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... | |
| | | |
2ality.com
|
|
| | | | This blog post is a quick introduction to TypeScript's notation for static types. | |
| | | |
hiltmon.com
|
|
| |