|
You are here |
lh3.github.io | ||
| | | | |
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. | |
| | | | |
dafoster.net
|
|
| | | | | [AI summary] The article argues that unsound type systems are still valuable for catching errors and improving code consistency, despite not providing the same runtime guarantees as sound type systems. | |
| | | | |
newskeepsake.com
|
|
| | | | | Your one-stop shop for your officially licensed content - ready-to-display plaques and other keepsakes. | |
| | | | |
rachelcarmena.github.io
|
|
| | | Some characteristics of functional programming | ||