Part IIThe type systemwritten by published 18 July, 2024I am building a new configuration language: RCL. It extends json into a simple functional language that enables abstraction and reuse. In this series we take a closer look at the type system, because I think it is interesting, but also because I hope that exposure to the wider PL community can help me to validate some of the ideas, or find problems with them.Part I: IntroductionPart II: The type system (this post)Part III: Related workPart ...