From Wikipedia, the free encyclopedia
Jump to navigation Jump to search

FX-87 is a polymorphic typed functional language based on a system for static program analysis in which every expression has two static properties: a type and an effect.[1] In a study done by MIT, FX-87 yields similar performance results as functional languages on programs that do not contain side effects (Fibonacci, Factorial). FX-87 did yield a great performance increase when matching DNA sequences.[2]

KFX is the kernel language of FX-87. It was described in 'Polymorphic Effect Systems', J.M. Lucassen et al., Proceedings of the 15th Annual ACM Conference POPL, ACM 1988, pp. 47–57.


  1. ^ Jouvelot, P.; Gifford, D.K. (1988). "The FX-87 Interpreter". Proceedings. 1988 International Conference on Computer Languages. pp. 65–72. doi:10.1109/ICCL.1988.13044. ISBN 978-0-8186-0874-2.
  2. ^ Hammel, Todd; David K. Gifford (September 1988). "FX-87 Performance Measurements: Dataflow Implementation" (PDF). Laboratory for Computer Science, Massachusetts Institute of Technology. Retrieved 8 October 2013.

This article is based on material taken from the Free On-line Dictionary of Computing prior to 1 November 2008 and incorporated under the "relicensing" terms of the GFDL, version 1.3 or later.