FX-87 - FX-87
FX-87 - это функциональный язык с полиморфным типом, основанный на системе статического анализа программ, в которой каждое выражение имеет два статических свойства: тип и эффект. В исследовании, проведенном Массачусетским технологическим институтом, FX-87 дает такие же результаты производительности, как и функциональные языки для программ, не содержащих побочных эффектов ( Fibonacci , Factorial ). FX-87 действительно дал значительное увеличение производительности при сопоставлении последовательностей ДНК .
KFX - это язык ядра FX-87. Он был описан в «Системы полиморфных эффектов», JM Lucassen et al., Proceedings of the 15th Annual ACM Conference POPL , ACM 1988, pp. 47–57.
Рекомендации
 |
Эта статья, посвященная языку программирования, является незавершенной . Вы можете помочь Википедии, расширив ее . |