git @ Cat's Eye Technologies Chrysoberyl / 5b23f8c
Command writes out language implementations now. Chris Pressey 7 years ago
2 changed file(s) with 303 addition(s) and 88 deletion(s). Raw diff Collapse all Expand all
+271
-0
article/Language Implementations.md less more
0 ### PL-{GOTO}.NET
1
2 * implementation of: PL-{GOTO}
3 * implementation type: compiler
4 * host language: Haskell
5 * target language: MSIL
6 * inception date: ???
7 * in distribution: [PL-{GOTO}.NET distribution](/distribution/PL-{GOTO}.NET distribution)
8
9 PL-{GOTO}.NET is a compiler for the language PL-{GOTO}
10 from Brainerd and Landweber's _[Theory of Computation](http://www.worldcat.org/title/theory-of-computation/oclc/694056)_.
11 PL-{GOTO} can express exactly the
12 primitive recursive functions, and thus PL-{GOTO} programs
13 always terminate. PL-{GOTO}.NET generates MSIL code which
14 can then (using `ilasm`) be turned into a .NET
15 executable. It can also execute PL-{GOTO} programs
16 directly.
17
18 I've been idly fascinated by the primitive recursive example programming language
19 PL-{GOTO} from Brainerd and Landweber's _[Theory of Computation](http://www.worldcat.org/title/theory-of-computation/oclc/694056)_ for some time.
20 And for some reason I will never be able to explain, I had the craving to implement a compiler
21 which could produce .NET executables by generating MSIL assembly language. And putting
22 those two together — well, that struck me as a respectably absurd match, so that's what I did.
23 The compiler is written in Haskell and uses Parsec for parsing PL-{GOTO} programs; I tried
24 to keep the grammar true to what is presented in the book, not refactoring it to be LL(1), and
25 keeping the `←` symbol for assignment.
26 ### aubergine.hs
27
28 * implementation of: Aubergine
29 * implementation type: interpreter
30 * host language: Haskell
31 * inception date: ???
32
33
34 I implemented Aubergine because the reference interpreter is buggy and
35 I wanted a version that actually implemented the unbounded integers that
36 the language description suggests. After implementing it, I was familiar
37 enough with it to write a sketch of a proof of its [Turing-complete][]ness.
38
39 ### muriel.pl
40
41 * implementation of: Muriel
42 * implementation type: interpreter
43 * host language: Perl
44 * inception date: Mar 23, 2001
45 * in distribution: [Muriel distribution](/distribution/Muriel distribution)
46
47 This is an interpeter, written in Perl, for Matthew Westcott's
48 quine-based language Muriel. It was probably
49 the first full implementation of that language.
50
51 ### pibfi
52
53 * implementation of: brainfuck
54 * implementation type: interpreter
55 * host language: Erlang
56 * inception date: ???
57 * in distribution: [pibfi distribution](/distribution/pibfi distribution)
58 * online @ [catseye.tc](http://catseye.tc/installation/yoob)
59
60 In contrast to all the ultra-minimal Brainfuck interpreters and
61 compilers out there, I figured I should write a monster: the Platonic Ideal BrainFuck Interpreter.
62 Written in Erlang, it contains just about every feature under the sun, including the kitchen sink.
63 I sort of lost interest when I was adding profiling and discovered there were several different
64 extant reckonings of a "number of instructions executed" metric for Brainfuck. I guess it was that
65 point that made me recognize just how silly this project was...
66
67 ### sf2tab
68
69 * implementation of: Smallfuck
70 * implementation type: compiler
71 * host language: ANSI C
72 * target language: lookup table
73 * inception date: ???
74 * in distribution: [The Dipple](/distribution/The Dipple)
75 * in distribution: [sf2tab distribution](/distribution/sf2tab distribution)
76
77 Based on the observation that Smallfuck, lacking the (assumed-)infinite tape of Brainfuck,
78 can only express finite-state automata, I wrote a little program in C to compile Smallfuck programs to
79 (generally gigantic) lookup-tables.
80
81 ### stringie
82
83 * implementation of: Underload
84 * implementation type: interpreter
85 * host language: ANSI C
86 * inception date: ???
87 * in distribution: [stringie distribution](/distribution/stringie distribution)
88
89
90 Seeing that there was no *non*-pathological implementation of Alex Smith's
91 beautiful [Underload][] language in C, I undertook that project one evening.
92 (In the company of a bottle of really fine wine. Why, it cost almost twelve dollars.)
93 The result is one of the most pedantic and boring Underload interpreters known to
94 man. Perhaps the most interesting property of it is its name, `stringie`, which was
95 an accident.
96
97 ### tc.catseye.yoob.ale
98
99 * implementation of: Ale
100 * implementation type: interpreter
101 * host platform: yoob
102 * host language: Java
103 * inception date: ???
104 * in distribution: [yoob distribution](/distribution/yoob distribution)
105 * online @ [catseye.tc](http://catseye.tc/installation/yoob)
106
107
108 ### tc.catseye.yoob.backflip
109
110 * implementation of: BackFlip
111 * implementation type: interpreter
112 * host platform: yoob
113 * host language: Java
114 * inception date: ???
115 * in distribution: [yoob distribution](/distribution/yoob distribution)
116 * online @ [catseye.tc](http://catseye.tc/installation/yoob)
117
118
119 ### tc.catseye.yoob.black
120
121 * implementation of: Black
122 * implementation type: interpreter
123 * host platform: yoob
124 * host language: Java
125 * inception date: ???
126 * in distribution: [yoob distribution](/distribution/yoob distribution)
127 * online @ [catseye.tc](http://catseye.tc/installation/yoob)
128
129
130 ### tc.catseye.yoob.brainfuck
131
132 * implementation of: brainfuck
133 * implementation type: interpreter
134 * host platform: yoob
135 * host language: Java
136 * inception date: ???
137 * in distribution: [yoob distribution](/distribution/yoob distribution)
138 * online @ [catseye.tc](http://catseye.tc/installation/yoob)
139
140
141 ### tc.catseye.yoob.lnusp
142
143 * implementation of: LNUSP
144 * implementation type: interpreter
145 * host platform: yoob
146 * host language: Java
147 * inception date: ???
148 * in distribution: [yoob distribution](/distribution/yoob distribution)
149 * online @ [catseye.tc](http://catseye.tc/installation/yoob)
150
151
152 ### tc.catseye.yoob.onela
153
154 * implementation of: 1L_a
155 * implementation type: interpreter
156 * host platform: yoob
157 * host language: Java
158 * inception date: ???
159 * in distribution: [yoob distribution](/distribution/yoob distribution)
160 * online @ [catseye.tc](http://catseye.tc/installation/yoob)
161
162
163 ### tc.catseye.yoob.onelaoi
164
165 * implementation of: 1L_AOI
166 * implementation type: interpreter
167 * host platform: yoob
168 * host language: Java
169 * inception date: ???
170 * in distribution: [yoob distribution](/distribution/yoob distribution)
171 * online @ [catseye.tc](http://catseye.tc/installation/yoob)
172
173
174 ### tc.catseye.yoob.path
175
176 * implementation of: PATH
177 * implementation type: interpreter
178 * host platform: yoob
179 * host language: Java
180 * inception date: ???
181 * in distribution: [yoob distribution](/distribution/yoob distribution)
182 * online @ [catseye.tc](http://catseye.tc/installation/yoob)
183
184
185 ### tc.catseye.yoob.qdeql
186
187 * implementation of: Qdeql
188 * implementation type: interpreter
189 * host platform: yoob
190 * host language: Java
191 * inception date: ???
192 * in distribution: [yoob distribution](/distribution/yoob distribution)
193 * online @ [catseye.tc](http://catseye.tc/installation/yoob)
194
195
196 ### tc.catseye.yoob.sceql
197
198 * implementation of: Sceql
199 * implementation type: interpreter
200 * host platform: yoob
201 * host language: Java
202 * inception date: ???
203 * in distribution: [yoob distribution](/distribution/yoob distribution)
204 * online @ [catseye.tc](http://catseye.tc/installation/yoob)
205
206
207 ### tc.catseye.yoob.snusp
208
209 * implementation of: SNUSP
210 * implementation type: interpreter
211 * host platform: yoob
212 * host language: Java
213 * inception date: ???
214 * in distribution: [yoob distribution](/distribution/yoob distribution)
215 * online @ [catseye.tc](http://catseye.tc/installation/yoob)
216
217
218 ### tc.catseye.yoob.twoill
219
220 * implementation of: 2-ill
221 * implementation type: interpreter
222 * host platform: yoob
223 * host language: Java
224 * inception date: ???
225 * in distribution: [yoob distribution](/distribution/yoob distribution)
226 * online @ [catseye.tc](http://catseye.tc/installation/yoob)
227
228
229 ### tc.catseye.yoob.twol
230
231 * implementation of: 2L
232 * implementation type: interpreter
233 * host platform: yoob
234 * host language: Java
235 * inception date: ???
236 * in distribution: [yoob distribution](/distribution/yoob distribution)
237 * online @ [catseye.tc](http://catseye.tc/installation/yoob)
238
239
240 ### thue.rb
241
242 * implementation of: Thue
243 * implementation type: interpreter
244 * host language: Ruby
245 * inception date: Sep 10, 2012
246 * in distribution: [Thue distribution](/distribution/Thue distribution)
247
248
249 Since I've been maintaining a distribution of this language for a while, and
250 not otherwise involved with it, I decided I should finally implement it.
251 After knocking my head against the spec and reference implementation
252 for a few hours (over the course of months, or has it been years?), I finally
253 did implement it.
254
255 ### valgol.erl
256
257 * implementation of: VALGOL
258 * implementation type: parser
259 * host language: Erlang
260 * inception date: ???
261 * in distribution: [The Dipple](/distribution/The Dipple)
262
263 A parser, in Erlang, for the Lesser-Known Language VALGOL.
264 It, like, totally demonstrates how a parser can be written so
265 that a separate scanner is totally not needed. Bitchen!
266
267 - - - -
268
269 [Turing-complete]: TBD
270 [Underload]: TBD
+32
-88
src/chrysoberyl/commands.py less more
6464
6565
6666 # NOTES made while browsing the two versions:
67 # host-platform on implementations didn't get generated. review?
6768 # Things to add MANUALLY:
6869 # "Apple Befunge" is a variant of Befunge-93
6970 # SMETANA: link to proof that it is FSA-complete
145146 else:
146147 return u'[{}]({})'.format(segments[1], segments[0])
147148
148 f = codecs.open('../Chrysoberyl/article/Lingography.md', 'w', 'utf-8')
149 f = codecs.open('../Chrysoberyl/article/Language Implementations.md', 'w', 'utf-8')
149150 def write(s):
150151 f.write(s + '\n')
151152
152 write("""\
153 Chris Pressey's Lingography
154 ===========================
155
156 (What is a "lingography", you ask? Well, if bands have disc-ographies and directors have film-ographies...)
157
158 This is a list, given in approximate chronological order, of the languages I've designed and/or implemented.
159 It is more-or-less unabridged, but not intended to be completely exhaustive. Most of these language are
160 programming languages; some of them are formal languages, and some of them are automata of some kind.
161 Many of them are esolangs. Some of them possibly aren't even languages at all; they just seem to fit the
162 general theme of the list. Most of them have been implemented, and these implementations are available in
163 downloadable distrbutions. At the bottom there is also a list of languages that I've implemented, but which
164 were designed by someone else.
165
166 You may also be interested in reading about what it was like to design these and/or the ones that got away.
167
168 Languages I've Designed
169 -----------------------
170
171 """)
172
173 for thing in data:
174 if thing['title'] in ('Cyclobots', 'ETHEL', 'Okapi', 'Chzrxl',):
175 continue
176 write(u"### {}".format(thing['title']))
177 write("")
178
179 for key in ('type', 'inception-date', 'genre', 'development-stage', 'computational-class'):
180 write(u"* {}: {}".format(key, thing.get(key, '???')))
181 for key in ('influences', 'paradigms'):
182 if key in thing:
183 write(u"* {}: {}".format(key, ', '.join(thing[key])))
184
185 if 'defining-distribution' not in thing:
186 ref_i = space.reference_implementation_of(thing['title'])
187 if ref_i and 'in-distributions' in space[ref_i]:
188 thing['defining-distribution'] = space[ref_i]['in-distributions'][0]
189
190 if thing['title'] not in ('Full Moon Fever', 'Befunge-97', 'Bear Food', 'Carriage',):
191 assert 'defining-distribution' in thing, thing['title']
192
193 if 'defining-distribution' in thing:
194 d = thing['defining-distribution']
195 write(u"* reference-distribution: [{}](/distribution/{})".format(d, d))
196
197 for url in online_implementations(thing['title']):
198 write(u"* online @ [catseye.tc](http://catseye.tc/{})".format(url))
199
200 if 'sample' in thing:
201 write("* sample program:")
202 write(" ")
203 for line in thing['sample'].split('\n'):
204 write(u" {}".format(line))
205
206 write("")
207
208 description = thing['description']
209 description = re.sub(r'\[\[(.*?)\]\]', linker, description, count=0, flags=re.U)
210 write(description)
211
212 commentary = thing.get('commentary')
213 if commentary:
214 commentary = re.sub(r'\[\[(.*?)\]\]', linker, commentary, count=0, flags=re.U)
215 write(commentary)
216
217 def write_impl_properties(node):
218 if 'in-distribution' in node:
219 d = node['in-distribution']
220 write(u"* in-distribution: [{}](/distribution/{})".format(d, d))
221 for key in ('license', 'implementation-type', 'host-language',):
222 write(u"* {}: {}".format(key, node.get(key, '???')))
223 for key in ('target-language',):
224 if key in node:
225 write(u"* {}: {}".format(key, node[key]))
226
227 for implementation_key, node in space.related_items('implementation-of', key=thing['title']):
228 if node.get('reference', None) is not None:
229 write("#### Reference Implementation: {}".format(implementation_key))
153 for thing in sorted(space.keys()):
154 if space[thing]['type'] == 'Implementation' and 'Chris Pressey' in space[thing]['authors']:
155 implementation_of_key = space[thing].get('implementation-of')
156 if isinstance(implementation_of_key, list): implementation_of_key = implementation_of_key[0]
157 implementation_of = space[implementation_of_key]
158 if implementation_of.get('type') == 'Programming Language' and 'Chris Pressey' not in implementation_of['authors']:
159 write(u"### {}".format(thing))
230160 write("")
231 write_impl_properties(node)
232
233 for implementation_key, node in space.related_items('implementation-of', key=thing['title']):
234 if node.get('reference', None) is not None:
235 continue
236 write("#### Implementation: {}".format(implementation_key))
237 write("")
238 write_impl_properties(node)
239 write("")
161 write("* implementation of: {}".format(implementation_of_key))
162 write("* implementation type: {}".format(space[thing].get('implementation-type', '???')))
163 if 'host-platform' in space[thing]:
164 write("* host platform: {}".format(space[thing].get('host-platform', '???')))
165 write("* host language: {}".format(space[thing].get('host-language', '???')))
166 if 'target-language' in space[thing]:
167 write("* target language: {}".format(space[thing].get('target-language', '???')))
168 write("* inception date: {}".format(space[thing].get('inception-date', '???')))
169 for d in space[thing].get('in-distributions', []):
170 write(u"* in distribution: [{}](/distribution/{})".format(d, d))
171 for url in online_implementations(implementation_of_key):
172 write(u"* online @ [catseye.tc](http://catseye.tc/{})".format(url))
173
174 write("")
175
176 description = space[thing].get('description', '')
177 description = re.sub(r'\[\[(.*?)\]\]', linker, description, count=0, flags=re.U)
178 write(description)
179
180 commentary = space[thing].get('commentary')
181 if commentary:
182 commentary = re.sub(r'\[\[(.*?)\]\]', linker, commentary, count=0, flags=re.U)
183 write(commentary)
240184
241185 write("- - - -")
242186 write("")