FX-87 es un lenguaje funcional de tipos polimórficos basado en un sistema de análisis de programas estáticos 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 produce resultados de rendimiento similares a los de los lenguajes funcionales en programas que no contienen efectos secundarios ( Fibonacci , Factorial ). FX-87 produjo un gran aumento en el rendimiento al emparejar secuencias de ADN . [2]
KFX es el lenguaje del kernel 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.