Comment by pjmlp

The irony is that I got introduced to the ML type system in 1996, but the industry takes its sweet time to adopt ideas.