[[email protected]: Re: FeML: a skeleton of a femto-ML with nothing but polymorphic variants and functions]

Kragen Javier Sitaker <[email protected]> Sun, 17 Jun 2012 13:00:30 -0400
Newsgroups gmane.culture.people.kragen.discuss
Message-ID <[email protected]>
LS0tLS0gRm9yd2FyZGVkIG1lc3NhZ2UgZnJvbSBKb2huaWNob2xhcyBIaW5lcyA8am9obmljaG9s
YXMuaGluZXNAZ21haWwuY29tPiAtLS0tLQoKRGF0ZTogVGh1LCAxNCBKdW4gMjAxMiAwNzoyNzow
OSAtMDQwMApGcm9tOiBKb2huaWNob2xhcyBIaW5lcyA8am9obmljaG9sYXMuaGluZXNAZ21haWwu
Y29tPgpUbzogS3JhZ2VuIEphdmllciBTaXRha2VyIDxrcmFnZW5AY2Fub25pY2FsLm9yZz4KQ2M6
IGtyYWdlbi10b2xAY2Fub25pY2FsLm9yZwpTdWJqZWN0OiBSZTogRmVNTDogYSBza2VsZXRvbiBv
ZiBhIGZlbXRvLU1MIHdpdGggbm90aGluZyBidXQgcG9seW1vcnBoaWMKCXZhcmlhbnRzIGFuZCBm
dW5jdGlvbnMKCldoYXQgd291bGQgYSBzZWxmLWludGVycHJldGVyIGZvciB0aGlzIEZlbXRvLU1M
IGxvb2sgbGlrZT8KU29tZXRoaW5nIGxpa2UgTW9nZW5zZW4ncyBzZWxmLWludGVycHJldGVyPwpo
dHRwOi8vY2l0ZXNlZXJ4LmlzdC5wc3UuZWR1L3ZpZXdkb2Mvc3VtbWFyeT9kb2k9MTAuMS4xLjg5
Ljk5MzMKCkpvaG5pY2hvbGFzCgpPbiBUaHUsIEp1biAxNCwgMjAxMiBhdCAzOjM3IEFNLCBLcmFn
ZW4gSmF2aWVyIFNpdGFrZXIgPGtyYWdlbkBjYW5vbmljYWwub3JnCj4gd3JvdGU6Cgo+IEEgeWVh
ciBvciB0d28gYWdvLCBEYXJpdXMgQmFjb24gYW5kIEkgd2VyZSB0YWxraW5nIGFib3V0IG1ha2lu
ZyBhIHNvcnQKPiBvZiB2YXJpYW50IG9mIFNjaGVtZSB3aXRoIE1MLWxpa2UgcGF0dGVybi1tYXRj
aGluZyBhcyB0aGUgYmFzaWMKPiBwcmltaXRpdmUuICBZb3UgaGF2ZSBhIHNsaWdodGx5IG1vcmUg
Y29tcGxpY2F0ZWQgbGFtYmRhLCBidXQgeW91IGRvbuKAmXQKPiBuZWVkIGNvbmQsIGNhciwgY2Ry
LCBlcSwgb3IgbnVsbD8gaW4gdGhlIGJhc2UgbGFuZ3VhZ2UsIGp1c3QgY29ucyBvcgo+IHF1YXNp
cXVvdGUsIHBsdXMgdGhlIHBhdHRlcm4tbWF0Y2hpbmcgbGFtYmRhIGFuZCBlaXRoZXIgbGFiZWxz
IG9yCj4gZGVmaW5lLgo+Cj4gRm9yIGV4YW1wbGU6Cj4KPiAgICAoZGVmaW5lIGFzc29jCj4gICAg
ICAobGFtYmRhIChrZXkgKChrZXkgLiB2YWx1ZSkgLiBtb3JlKSkgKGNvbnMga2V5IHZhbHVlKQo+
ICAgICAgICAgICAgICAoa2V5ICh4IC4gbW9yZSkpICAgICAgICAgICAgIChhc3NvYyBrZXkgbW9y
ZSkKPiAgICAgICAgICAgICAgKGtleSAoKSkgICAgICAgICAgICAgICAgICAgICAnKCkpKQo+Cj4g
SGVyZSBgbGFtYmRhYCB0YWtlcyBhbiBhcmJpdHJhcnkgc2V0IG9mIHBhdHRlcm4tYWN0aW9uIHBh
aXJzIGFuZAo+IG1hdGNoZXMgdGhlIHBhdHRlcm5zIGluIG9yZGVyIGFnYWluc3QgdGhlIGFyZ3Vt
ZW50IGxpc3QsIGV2YWx1YXRpbmcKPiBhbmQgcmV0dXJuaW5nIHRoZSBhY3Rpb24gZXhwcmVzc2lv
biBmb3IgdGhlIHBhdHRlcm4gdGhhdCBtYXRjaGVzLiAgSW4KPiB0aGlzIGNhc2UsIGZpcnN0IHdl
IGNoZWNrIHRvIHNlZSBpZiB0aGUga2V5IGlzIHRoZSBjYWFyIG9mIHRoZSBsaXN0IG9mCj4ga2V5
LXZhbHVlIHBhaXJzLCBhbmQgaWYgc28sIHdlIHJldHVybiBpdHMgKHJlY29uc3RydWN0ZWQpIGNh
cjsKPiBvdGhlcndpc2UsIGlmIHRoZXJlIGFyZSBtb3JlIGl0ZW1zIGluIHRoZSBsaXN0LCB3ZSBy
ZWN1cnNlIGRvd24gdGhlCj4gbGlzdDsgb3RoZXJ3aXNlLCBpZiB0aGUgbGlzdCBpcyB0aGUgZW1w
dHkgbGlzdCwgd2UgcmV0dXJuIHRoZSBlbXB0eQo+IGxpc3QuCgotLS0tLSBFbmQgZm9yd2FyZGVk
IG1lc3NhZ2UgLS0tLS0KLS0gClRvIHVuc3Vic2NyaWJlOiBodHRwOi8vbGlzdHMuY2Fub25pY2Fs
Lm9yZy9tYWlsbWFuL2xpc3RpbmZvL2tyYWdlbi1kaXNjdXNz