View source for FX-87

'''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.<ref>{{cite book |doi=10.1109/ICCL.1988.13044|isbn=978-0-8186-0874-2|chapter=The FX-87 Interpreter|title=Proceedings. 1988 International Conference on Computer Languages|pages=65–72|year=1988|last1=Jouvelot|first1=P.|last2=Gifford|first2=D.K.|s2cid=27089757}}</ref> In a study done by MIT, FX-87 yields similar performance results as functional languages on programs that do not contain [[Side effect (computer science)|side effects]] ([[Fibonacci]], [[Factorial]]). FX-87 did yield a great performance increase when matching [[DNA]] sequences.<ref>{{cite journal|last=Hammel|first=Todd|author2=David K. Gifford|title=FX-87 Performance Measurements: Dataflow Implementation|journal=Laboratory for Computer Science, Massachusetts Institute of Technology|date=September 1988|url=http://publications.csail.mit.edu/lcs/pubs/pdf/MIT-LCS-TR-421.pdf|access-date=8 October 2013}}</ref>

'''KFX''' is the [[Kernel (operating system)|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.&nbsp;47–57.

==References==
{{Reflist}}

[[Category:Programming languages]]
[[Category:Academic programming languages]]


{{compu-lang-stub}}