/explore
|
You are here 
|
nurkiewicz.com | ||
| | | | |
yotam.net
A blog about free software and programming |
|
| | | | | ||
| | | | |
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.jonlu.ca
A common mistake people make is conflating strong typing with static typing. |
|
| | | | | ||
| | | | |
jfenn.me
In the vast majority everyday software, nobody writes a mathematical proof of every piece of functionality. Dynamically typed languages exist for a reason, and this is not it. |
|
| | | |||
