/explore
|
You are here 
|
weblog.raganwald.com | ||
| | | | |
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. |
|
| | | | | ||
| | | | |
boxbase.org
I came up with an idea when studying type theory. I am a vehement proponent of dynamic typing but there are several ideas that require me to explore into type theory so I am studying it. |
|
| | | | | ||
| | | | |
blog.ploeh.dk
Static typing doesn't have to involve much ceremony. |
|
| | | | | ||
| | | | |
ruuda.nl
Alternative configuration formats solve superficial problems. Configuration languages solve the deeper problem: the need for abstraction. |
|
| | | |||
