Shae Erisson on Nostr: My nomination for "most surprising use of Hindley-Milner type inference" is a spoken ...
My nomination for "most surprising use of Hindley-Milner type inference" is a spoken programming language created by Benjamin Gordon in 2014.
I can't find his thesis, but here's a publication from 2018: https://www.cs.unm.edu/~luger/resumepapers2015/2018%20papers/GordonLuger.pdf
The language is a compiler and plugin for the Eclipse IDE[1] [2], I've never been able to build it
[1] https://github.com/yetamrra/spc-compiler
[2] https://github.com/yetamrra/spc-plugin
I can't find his thesis, but here's a publication from 2018: https://www.cs.unm.edu/~luger/resumepapers2015/2018%20papers/GordonLuger.pdf
The language is a compiler and plugin for the Eclipse IDE[1] [2], I've never been able to build it
[1] https://github.com/yetamrra/spc-compiler
[2] https://github.com/yetamrra/spc-plugin