Get the latest tech news

A float walks into a gradual type system


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.

While RCL supported integers early on, it was missing one piece to deliver on the json superset promise: floats — numbers that contain a decimal point. Because RCL aims to generate configuration for any application that accepts json, yaml, or toml, it can’t assume that the presence or absence of a decimal point is irrelevant. It’s not a research language intended to explore the cutting edge of configuration systems, it’s a practical tool that people who haven’t seen it before should be able to pick up quickly.

Get the Android app

Or read this on Hacker News

Read more on:

Photo of float

float

Photo of gradual type system

gradual type system

Related news:

News photo

A subtle layout bug in Google Search: When CJK text-wrapping meets float

News photo

‘This is the future’: why turbines that float could be the new wave in British wind power