tommythorn / Reduceron: es el intento más moderno que conozco.
SECD es una máquina virtual, y si consideramos arquitecturas virtuales, entonces hay muchas máquinas de este tipo:
- G-machine y su derivado utilizado por el compilador GHC Haskell
- Máquina PABC utilizada por Clean
Había máquinas Lisp, pero no califican completamente:
- ¿Cuál es el problema más interesante que ha encontrado y que utiliza la recursividad?
- ¿Cómo funciona la implementación DOS de Solar Designer de 'mkdir -p'?
- ¿Cuál es el algoritmo para rotar una matriz bidimensional?
- ¿Entender conceptos difíciles en matemáticas ayuda a tu habilidad de programación?
- ¿Cuál es el polinomio más pequeño que puede atravesar todos los conjuntos de n puntos? ¿Hay uno?
- Lisp no es más cálculo lambda que cualquier otro idioma con cierres léxicos. Ni siquiera tiene raíces en el cálculo lambda: evolucionó bastante lentamente para tener cierres léxicos.
- Son una especie de implementaciones de hardware de las máquinas virtuales descritas anteriormente, es decir, son máquinas von Neumann normales con instrucciones y punteros de instrucciones, pero con un conjunto de instrucciones optimizado para interpretar programas Lisp.
Francamente, no sé cómo funciona internamente el Reduceron, por lo que tal vez también sea una máquina normal con un conjunto de instrucciones especiales.