FX-87 es un lenguaje funcional polimórfico tipado basado en un sistema de análisis estático de programas en el que cada expresión tiene dos propiedades estáticas: un tipo y un efecto. [ 1 ] En un estudio realizado por el MIT, FX-87 ofrece resultados de rendimiento similares a los de los lenguajes funcionales en programas que no contienen efectos secundarios ( Fibonacci , Factorial ). FX-87 sí mostró un gran aumento de rendimiento al comparar secuencias de ADN . [ 2 ]
KFX es el lenguaje central de FX-87. Fue descrito en 'Polymorphic Effect Systems', JM Lucassen et al., Proceedings of the 15th Annual ACM Conference POPL , ACM 1988, pp. 47–57.
Referencias
- ↑ Jouvelot, P.; Gifford, DK (1988). "El intérprete FX-87". Actas de la Conferencia Internacional de Lenguajes de Computadora de 1988. págs. 65–72 . doi : 10.1109/ICCL.1988.13044 . ISBN 978-0-8186-0874-2. S2CID 27089757 .
- ↑ Hammel, Todd; David K. Gifford (septiembre de 1988). "Mediciones de rendimiento del FX-87: Implementación de flujo de datos" (PDF) . Laboratorio de Ciencias de la Computación, Instituto Tecnológico de Massachusetts . Recuperado el 8 de octubre de 2013 .
- Lenguajes de programación
- Lenguajes de programación académica
- Temas básicos de lenguajes de programación