In this post I explore the design space of adding floats to RCL, a gradually typed configuration language. With floats in place, RCL is finally a true json superset.| ruudvanasseldonk.com
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