What I want in a type system
David Ford

The idea about typing SQLs is known in F# as type providers: https://docs.microsoft.com/en-us/dotnet/fsharp/tutorials/type-providers/

Seems rather niche, but runtime computed types is a neat idea IMO.

One clap, two clap, three clap, forty?

By clapping more or less, you can signal to us which stories really stand out.