ФХ-87

FX-87 — это полиморфный типизированный функциональный язык, основанный на системе статического анализа программ , в которой каждое выражение имеет два статических свойства: тип и эффект. ^[1] В исследовании, проведенном Массачусетским технологическим институтом, FX-87 дает результаты производительности, аналогичные результатам функциональных языков в программах, не содержащих побочных эффектов ( Фибоначчи , Факториал ). FX-87 действительно дал большой прирост производительности при сопоставлении последовательностей ДНК . ^[2]

KFX — это язык ядра FX-87. Он был описан в «Polymorphic Effect Systems», JM Lucassen et al., Proceedings of the 15th Annual ACM Conference POPL , ACM 1988, стр. 47–57.

Ссылки

^ Жувело, П.; Гиффорд, Д.К. (1988). "Интерпретатор FX-87". Труды. Международная конференция по компьютерным языкам 1988 г. С. 65–72 . doi :10.1109/ICCL.1988.13044. ISBN 978-0-8186-0874-2. S2CID 27089757.
^ Хаммел, Тодд; Дэвид К. Гиффорд (сентябрь 1988 г.). "Измерения производительности FX-87: реализация потока данных" (PDF) . Лаборатория компьютерных наук, Массачусетский технологический институт . Получено 8 октября 2013 г. .

Эта статья, связанная с языком программирования, является заглушкой . Вы можете помочь Википедии, расширив ее.

[1] Жувело, П.; Гиффорд, Д.К. (1988). "Интерпретатор FX-87". Труды. Международная конференция по компьютерным языкам 1988 г. С. 65–72 . doi :10.1109/ICCL.1988.13044. ISBN 978-0-8186-0874-2. S2CID 27089757.

[2] Хаммел, Тодд; Дэвид К. Гиффорд (сентябрь 1988 г.). "Измерения производительности FX-87: реализация потока данных" (PDF) . Лаборатория компьютерных наук, Массачусетский технологический институт . Получено 8 октября 2013 г. .