-
-
Notifications
You must be signed in to change notification settings - Fork 85
/
macroml.scroll
22 lines (19 loc) · 867 Bytes
/
macroml.scroll
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
import ../code/conceptPage.scroll
id macroml
name MacroML
appeared 2001
tags pl
firstAnnouncement https://www.cs.indiana.edu/~sabry/papers/macroml.pdf
announcementMethod paper
fileType text
centralPackageRepositoryCount 0
country United States
originCommunity Indiana University && Yale University
wikipedia https://en.wikipedia.org/wiki/MacroML
related scheme
summary MacroML is an experimental programming language based on the ML programming language family that seeks to reconcile ML's static typing systems, and the types of macro systems more commonly found in dynamically typed languages like Scheme; this reconciliation is difficult as macro transformations are typically Turing-complete and so can break the type safety guarantees static typing is supposed to provide.
pageId 2525770
dailyPageViews 5
created 2005
backlinksCount 5
revisionCount 18