que - lambda symbol
¿Es posible construir una máquina de cálculo lambda sin tipo comparativamente rápida? (1)
En primer lugar, es posible compilar el cálculo lambda de manera eficiente para código de máquina incluso en arquitecturas existentes. Después de todo, el esquema es el cálculo lambda más un poco más, y se puede compilar de manera eficiente. Sin embargo, scheme & co son el cálculo lambda bajo evaluación estricta. ¡También es posible compilar el cálculo lambda bajo una evaluación no estricta de manera eficiente! Sobre esto, vea los dos libros de SPJ para algunos antecedentes: http://research.microsoft.com/en-us/um/people/simonpj/papers/papers.html
Por otro lado, también es cierto que si construimos hardware diseñado para lenguajes funcionales, podríamos compilar código para ese hardware y hacerlo muy bien. Lo mejor de esto que conozco es el Reduceron: http://www.cs.york.ac.uk/fp/reduceron/
La clave del rendimiento de Reduceron, que es bastante convincente, es que está construida en torno a la reducción paralela de gráficos, y tiene como objetivo aprovechar las oportunidades de paralelismo explícitas en la reducción de las ecuaciones de cálculo lambda.
El cálculo Lambda puro sin tipo es un concepto poderoso. Sin embargo, construir una máquina o un intérprete para el uso en el mundo real a menudo se describe como (casi) imposible. Quiero investigar esto. ¿Es teóricamente posible construir una máquina de cálculo lambda sin tipo comparativamente rápida?
Por comparativamente rápido, generalmente me refiero a arquitecturas similares a las de Turing modernas para una gama similar de tareas, dentro de una cantidad similar de recursos (puertas, operaciones, espacio físico, uso de energía, etc.).
No pongo ninguna limitación a la implementación y las capas arquitectónicas de la máquina, excepto que debe ser real y físicamente realizable de alguna manera. No hay restricciones sobre cómo manejar IO tampoco.
- Si es posible, ¿cuáles son los principales desafíos?
- Si es imposible, ¿por qué y cómo?
- ¿Cuál es el estado de la investigación en esta área?
- ¿Qué campos y temas son más relevantes?
¿Cuánto se sabe sobre la viabilidad de una arquitectura de computadora basada en el cálculo lambda?
Preguntas que cubren un terreno similar: