FX-87

FX-87 es un lenguaje funcional de tipos polimórficos 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. 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.

KFX es el lenguaje del kernel de FX-87. Se describió en 'Polymorphic Effect Systems', J.M. Lucassen et al., Proceedings of the 15th Annual ACM Conference POPL, ACM 1988, pp. 47–57.