Comment by fire_lake

I’m personally betting big on OCaml due to the effect system work. I think this is one of the next big advances in industrial programming.

- Lambdas (mainstream)

- Static types (mainstream)

- Pattern matching (getting there)

- Sum types (getting there)

- TCO (getting there)

- Global type inference (future)

- Functors (future)

- Effect systems (future)

- Expression orientated (future)

With OCaml, I get all of this today.

The future is here, it’s just not evenly distributed…