FX-87

FX-87 é uma linguagem funcional de tipo polimórfico baseada em um sistema para análise de programas estáticos no qual cada expressão tem duas propriedades estáticas: um tipo e um efeito. Em um estudo feito pelo MIT, o FX-87 produz resultados de desempenho semelhantes aos das linguagens funcionais em programas que não contêm efeitos colaterais (Fibonacci, Fatorial). O FX-87 rendeu um grande aumento de desempenho ao combinar as sequências de DNA.

KFX é a linguagem do kernel do FX-87. Foi descrito em 'Polymorphic Effect Systems', J.M. Lucassen et al., Proceedings of the 15th Annual ACM Conference POPL, ACM 1988, pp. 47–57.