Import revision 2011.1214 (just XHTML fixes.)
Cat's Eye Technologies
10 years ago
0 | 0 | <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> |
1 | <!-- encoding: UTF-8 --> | |
1 | 2 | <html xmlns="http://www.w3.org/1999/xhtml" lang="en"> |
2 | 3 | <head> |
3 | 4 | <meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /> |
4 | 5 | <title>The Arboretuum Programming Language</title> |
6 | <!-- begin html doc dynamic markup --> | |
7 | <script type="text/javascript" src="/contrib/jquery-1.6.4.min.js"></script> | |
8 | <script type="text/javascript" src="/scripts/documentation.js"></script> | |
9 | <!-- end html doc dynamic markup --> | |
5 | 10 | </head> |
6 | 11 | <body> |
7 | 12 | |
32 | 37 | |
33 | 38 | <p>I will refer you to the reference implementation of Arboretuum |
34 | 39 | for details on the semantics of the language. Ordinarily I frown upon this |
35 | sort of practice — normatively defining a language by an implementation | |
36 | rather than by a specification — but the interests of brevity, the experimental tack of the | |
40 | sort of practice — normatively defining a language by an implementation | |
41 | rather than by a specification — but the interests of brevity, the experimental tack of the | |
37 | 42 | project, the unsuccessful outcome of the experiment, and the relative |
38 | 43 | well-definedness of the implementation language (the purely functional subset of R<sup>5</sup>RS Scheme) conspire |
39 | 44 | to make the consequences of this choice less painful than usual.</p> |