-
-
Notifications
You must be signed in to change notification settings - Fork 85
/
fx-87.scroll
24 lines (19 loc) · 1.1 KB
/
fx-87.scroll
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
import ../code/conceptPage.scroll
id fx-87
name FX-87
appeared 1987
tags pl
centralPackageRepositoryCount 0
country United States
originCommunity Massachusetts Institute of Technology
wikipedia https://en.wikipedia.org/wiki/FX-87
related fibonacci
summary 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. 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.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.
created 2002
backlinksCount 5
pageId 17139
revisionCount 30
dailyPageViews 5
appeared 1988
hopl https://hopl.info/showlanguage.prx?exp=2653
semanticScholar https://www.semanticscholar.org/paper/The-FX-87-Interpreter-Jouvelot-Gifford/5d27e9ef531075d055bbcf91b8a4aa2ef850fbe7