SOSML

This is brilliant! It's an SML interpreter that works in a web browser pane.  It's good enough to run the first 520 or so lines of my SML implementation of Hindley-Milner type inference: see https://prooftoys.org/ian-grant/hm/hindley-milner.txt But chrome on this cheap Samsung phone is a bit slow, ...

Works on a PC though:

It has a sense of humor too:

The source is at https://github.com/SOSML and the system can be run from https://SOSML.org

Comments

Popular posts from this blog

Live Science - Leonardo da Vinci's Ancestry

David Turner Obituary by Sarah Nicholas Fri 24 Nov 2023