Articulo de referencia

FX-87

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

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

  1. 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 . 
  2. 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 .