A FLOAT WALKS INTO A GRADUAL TYPE SYSTEM

Summary from the TLDR Web Dev newsletter

This dev talks about his thought process in adding float support to his configuration language, RCL, a gradually typed superset of JSON. He goes over conflicting design principles, like the tension between having separate integer and float types while maintaining referential transparency and numeric equality. He then decides to implement a single `Number` type for simplicity and to avoid the complexities of distinguishing between integers and floats in the type system.