¿Existe alguna arquitectura de computadora basada en el cálculo lambda (en lugar de la máquina de Turing)?

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:

  • 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.

Sí, por ejemplo este: máquina SECD

Que yo sepa, no, pero ambos pueden simularse entre sí de manera bastante eficiente, así que supongo que cualquier arquitectura …