I am adding a type system to RCL, my configuration language. In part 4, we look at how the typechecker is implemented in Rust, and at how it is able to generate good error messages.| ruudvanasseldonk.com
I am adding a type system to RCL, my configuration language. The type system is based on ideas from other systems. In part 3, I highlight prior work, and I contrast RCL’s type system with that of other configuration languages.| 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.| ruudvanasseldonk.com
Types¶| docs.ruuda.nl
I am adding a type system to RCL, my configuration language. In part 2, I explain how the type system works. It is based on lattices and features a generalized subtype check.| ruudvanasseldonk.com
How a 10 year old design choice for Swift’s type checker still haunts us to this day| danielchasehooper.com
I was fed up with the poor opportunities for abstraction in configuration formats. The many configuration languages that exist already were not invented here, so I wrote my own, at first just for fun. But then it became useful.| ruudvanasseldonk.com