I thought this was about:

https://en.wikipedia.org/wiki/ML_(programming_language)