OCaml is great, but F# is better for almost every one of his bullet points.
You can write "Pythonesque C#" today using F#. Once you get used to it, though, you'll probably want to write idiomatic F#.
There's a new type provider out that takes a different approach by bundling a SQL parser: https://github.com/rspeele/Rezoom.SQL It can't check everything that the other providers can, but IMO you get most of the benefit…
OCaml is great, but F# is better for almost every one of his bullet points.
You can write "Pythonesque C#" today using F#. Once you get used to it, though, you'll probably want to write idiomatic F#.
There's a new type provider out that takes a different approach by bundling a SQL parser: https://github.com/rspeele/Rezoom.SQL It can't check everything that the other providers can, but IMO you get most of the benefit…