Английская Википедия:FX-87

Материал из Онлайн справочника
Версия от 04:25, 6 марта 2024; EducationBot (обсуждение | вклад) (Новая страница: «{{Английская Википедия/Панель перехода}} '''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|...»)
(разн.) ← Предыдущая версия | Текущая версия (разн.) | Следующая версия → (разн.)
Перейти к навигацииПерейти к поиску

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.

References

Шаблон:Reflist


Шаблон:Compu-lang-stub