|
You are here |
chadaustin.me | ||
| | | | |
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. | |
| | | | |
vickiboykis.com
|
|
| | | | | What are they? Why are they? | |
| | | | |
blog.quaddmg.com
|
|
| | | | | [AI summary] The article discusses the differences between dynamic and static programming languages, focusing on how self-describing data formats align with dynamic languages and non-self-describing formats with static languages, emphasizing flexibility and adaptability in software design. | |
| | | | |
typesanitizer.com
|
|
| | | In spring 2018, I took the Cornell CS 4120/4121 course on compilers. Our team chose to implement the compiler in Haskell; this is the post-mortem report. It assumes some Haskell knowledge. | ||