Also COBOL and VHDL. I don't know how a hardware description language could implement a Lisp variant btw.

> I don't know how a hardware description language could implement a Lisp variant btw.

https://dspace.mit.edu/handle/1721.1/6334

There is a Verilog implementation of the MIT Lisp Machine.

They actually do include a VHDL implementation! COBOL would be cool though.

I have a Dyalog APL implementation since 1 year or more on my fork, but still haven't released it because for reasons related to the input/output handling it cannot pass the self hosting tests :( To make the other tests pass, i wrapped the interpreter in a shell scripts that merges stdout and street, and that did the job for all bit the last step (self hosting). The self hosting interpreter (albeit very slow), appears to be working correctly when used interactively

If interested, https://github.com/laynor/mal/tree/dyalog

I was a bit surprised nobody’s tried a “verified” implementation in something like Coq/Idris/Agda (unless i missed one - I wasn’t familiar with all the languages in the list).

Might be a fun project!