Re: FeML: a skeleton of a femto-ML with nothing but polymorphic variants and functions
Kragen Javier Sitaker <[email protected]> Sun, 17 Jun 2012 14:08:59 -0400
| Newsgroups | gmane.culture.people.kragen.discuss |
|---|---|
| Message-ID | <[email protected]> |
T24gVGh1LCBKdW4gMTQsIDIwMTIgYXQgMDc6Mjc6MDlBTSAtMDQwMCwgSm9obmljaG9sYXMgSGlu ZXMgd3JvdGU6Cj4gV2hhdCB3b3VsZCBhIHNlbGYtaW50ZXJwcmV0ZXIgZm9yIHRoaXMgRmVtdG8t TUwgbG9vayBsaWtlPwo+IFNvbWV0aGluZyBsaWtlIE1vZ2Vuc2VuJ3Mgc2VsZi1pbnRlcnByZXRl cj8KPiBodHRwOi8vY2l0ZXNlZXJ4LmlzdC5wc3UuZWR1L3ZpZXdkb2Mvc3VtbWFyeT9kb2k9MTAu MS4xLjg5Ljk5MzMKCihUb3JiZW4gTW9nZW5zZW46IEkgYW0gQ2NpbmcgeW91IGluIGNhc2UgeW91 IHdhbnQgdG8gcmVzcG9uZCwgcGVyaGFwcyB0byBwb2ludAp0byBhIGNvcnJlY3RlZCB2ZXJzaW9u IG9mIHRoZSBwYXBlciwgc2luY2Ugc29tZSBvZiBteSByZW1hcmtzIGFib3V0IHlvdXIgcGFwZXIK YXJlIHNuYXJreSwgd2hpY2ggaXMgdW5mYWlyLCBzaW5jZSB0aGUgcGFydCBvZiB0aGUgcGFwZXIg SSdtIHRhbGtpbmcgYWJvdXQgaXMKcGVyaXBoZXJhbCB0byBpdHMgbWFpbiBwb2ludHMsIHRvIGV4 dGVuZCBhIHNlbnRlbmNlIGZhciBwYXN0IGl0cyBuYXR1cmFsCmxpZmV0aW1lLiAgSSB3b24ndCBi ZSBvZmZlbmRlZCBpZiB5b3UgZG9uJ3QgZmVlbCB0aGUgbmVlZCB0byByZXNwb25kLCBidXQgSQpm ZWVsIGxpa2UgaXQgd291bGQgYmUgdW5mYWlyIG5vdCB0byBnaXZlIHlvdSB0aGUgb3Bwb3J0dW5p dHkuICBGdXJ0aGVyIGNvbnRleHQsCmlmIHlvdSdyZSBpbnRlcmVzdGVkLCBpcyBhdAo8aHR0cDov L2xpc3RzLmNhbm9uaWNhbC5vcmcvcGlwZXJtYWlsL2tyYWdlbi10b2wvMjAxMi1KdW5lLzAwMDk1 OC5odG1sPi4pCgpKb2huaWNvbGFzOiBtYXliZS4gIEknbSB0cnlpbmcgdG8gdW5kZXJzdGFuZCB0 aGUgc2VsZi1pbnRlcnByZXRlciB5b3UncmUKcmVmZXJyaW5nIHRvLCBpbXBlZGVkIHNvbWV3aGF0 IGJ5IHRoZSB2YXJpZXR5IG9mIGVycm9ycyBNb2dlbnNlbiBsZWZ0IGluIHRoZQpwYXBlciwgcGVy aGFwcyBhcyBhbiBleHRyYSBjaGFsbGVuZ2UgdG8gcmVhZGVycy4gIFRvIGNsYXJpZnkgdGhlIGRp c2N1c3Npb24sCmhlcmUncyBoaXMgc3ludGF4LCBmcm9tIHRoZSBwYXBlcjoKCiAgICBQcm9ncmFt IOKGkiBUeXBlRGVjbGFyYXRpb27iiJcgRnVuY3Rpb25EZWNsYXJhdGlvbisgW3NpYywgaGUgbWVh bnMgRnVuRGVjbGFyYXRpb24rXQogICAgVHlwZURlY2xhcmF0aW9uIOKGkiBkYXRhIFR5cGVJZCA9 IENvbnN0cnVjdG9yRGVjbGFyYXRpb24KICAgIENvbnN0cnVjdG9yRGVjbGFyYXRpb24g4oaSIENv bnN0cnVjdG9ySWQgVHlwZUlk4oiXCiAgICAgICAgICAgICAgICAgICAgICAgICAgIHwgQ29uc3Ry dWN0b3JJZCBUeXBlSWTiiJcgfCBDb25zdHJ1Y3RvckRlY2xhcmF0aW9uCgogICAgRnVuRGVjbGFy YXRpb24g4oaSIEZ1bmN0aW9uSWQgVmFyaWFibGVJZOKIlyA9IEV4cHJlc3Npb24KICAgIEV4cHJl c3Npb24g4oaSIFZhcmlhYmxlSWQKICAgICAgICAgICAgICAgfCBGdW5jdGlvbklkIEV4cHJlc3Np b27iiJcKICAgICAgICAgICAgICAgfCBDb25zdHJ1Y3RvcklkIEV4cHJlc3Npb27iiJcKICAgICAg ICAgICAgICAgfCBjYXNlIEV4cHJlc3Npb24gb2YgQnJhbmNoKwoKICAgIEJyYW5jaCDihpIgQ29u c3RydWN0b3JJZCBWYXJpYWJsZUlk4oiXID0+IEV4cHJlc3Npb24KCkkgbm90ZSB0aGF0IGhlIHNl ZW1zIHRvIGhhdmUgZm9yZ290dGVuIHBhcmVudGhlc2VzLCBhbmQgdGhhdCBoaXMgZ3JhbW1hciBp cwppbiBhbnkgY2FzZSBxdWl0ZSBhbWJpZ3VvdXM7IHRoZXJlJ3Mgbm8gd2F5IHRvIHRlbGwgd2hl cmUgdGhlIFZhcmlhYmxlSWRzIGFuZApGdW5jdGlvbklkcyBpbiBhbiBFeHByZXNzaW9uIGluIGEg RnVuRGVjbGFyYXRpb24gZW5kLCBhbmQgd2hlcmUgdGhlIEZ1bmN0aW9uSWQKYW5kIFZhcmlhYmxl SWRzIG9mIHRoZSBmb2xsb3dpbmcgRnVuRGVjbGFyYXRpb24gYmVnaW4uICBJbiBoaXMgZXhhbXBs ZQpwcm9ncmFtcywgaGUgcmVsaWVzIG9uIHdoaXRlc3BhY2UgKGVpdGhlciBuZXdsaW5lcyBvciBp bmRlbnRhdGlvbikgdG8gbWFrZSB0aGlzCmNsZWFyIHRvIHRoZSByZWFkZXIuCgpBbmQgaGVyZSdz IHRoZSBpbnRlcnByZXRlciwgd2hpY2ggaXMgbXVjaCBlYXNpZXIgdG8gdW5kZXJzdGFuZCBpZiB5 b3UgcmVhZCB0aGUKZ3JhbW1hciBmaXJzdDoKCiAgICBkYXRhIG51bSAgID0gWiB8IFMgbnVtCiAg ICBkYXRhIHVuaXYgID0gQ29uIG51bSB1bGlzdAogICAgZGF0YSB1bGlzdCA9IFVuIHwgVWMgdW5p diB1bGlzdAogICAgZGF0YSBmdW5zICA9IEZuIHwgRnVuIGV4cCBmdW5zCiAgICBkYXRhIGV4cCAg ID0gVmFyIG51bSB8IEZhcCBudW0gZWxpc3QgfCBDYXAgbnVtIGVsaXN0IHwgQ2FzZSBleHAgZWxp c3QKICAgIGRhdGEgZWxpc3QgPSBFbiB8IEVjIGV4cCBlbGlzdAoKICAgIHJ1biBwIGFyZ3MgPSBh cHBseSBaIHAgYXJncyBwCgogICAgYXBwbHkgZiBmcyBhcmdzIHAgPQogICAgICBjYXNlIGZzIG9m CiAgICAgICAgRm4gICAgICAgPT4gQ29uIFogVW4KICAgICAgICBGdW4gZSBmcyA9PiBjYXNlIGYg b2YKICAgICAgICAgICAgICAgICAgICAgICAgIFogICA9PiBldmFsIGUgYXJncyBwCiAgICAgICAg ICAgICAgICAgICAgICAgICBTIGYgPT4gYXBwbHkgZiBmcyBhcmdzIHAKCiAgICBldmFsIGUgdnMg cCA9CiAgICAgIGNhc2UgZSBvZgogICAgICAgIFZhciBuICAgICAgPT4gbG9va3VwIG4gdnMKICAg ICAgICBGYXAgbiBlcyAgID0+IGFwcGx5IG4gcCAoZXZhbGxpc3QgZXMgdnMgcCkgcAogICAgICAg IENhcCBuIGVzICAgPT4gQ29uIG4gKGV2YWxsaXN0IGVzIHZzIHApCiAgICAgICAgQ2FzZSBlIGVz ICA9PiBjYXNlIChldmFsIGUgdnMgcCkgb2YKICAgICAgICAgICAgICAgICAgICAgICAgICBDb24g biB2czEgPT4gZXZhbCAoc2VsZWN0IG4gZXMpIChhcHBlbmQgdnMxIHZzKSBwCgogICAgZXZhbGxp c3QgZXMgdnMgcCA9CiAgICAgIGNhc2UgZXMgb2YKICAgICAgICBFbiAgICAgID0+IFVuCiAgICAg ICAgRWMgZSBlcyA9PiBVYyAoZXZhbCBlIHZzIHApIChldmFsbGlzdCBlcyB2cyBwKQoKICAgIHNl bGVjdCBuIGVzID0KICAgICAgY2FzZSBlcyBvZgogICAgICAgIEVuICAgICAgPT4gQ2FwIFogRW4K ICAgICAgICBFYyBlIGVzID0+IGNhc2UgbiBvZgogICAgICAgICAgICAgICAgICAgICAgIFogICA9 PiBlCiAgICAgICAgICAgICAgICAgICAgICAgUyBuID0+IHNlbGVjdCBuIGVzCgpNb3JnZW5zZW4g cmVtYXJrcywgIlRoZSBwcm9ncmFtIGlzIHJlcHJlc2VudGVkIGJ5IGEgbGlzdCBvZiB1bi1uYW1l cyBbc2ljXQpmdW5jdGlvbnMsIHdoaWNoIGluIGZ1bmN0aW9uIGNhbGxzIGFyZSByZWZlcnJlZCB0 byBieSBwb3NpdGlvbi4gU2ltaWxhcmx5LAp2YXJpYWJsZXMgYW5kIGNvbnN0cnVjdG9ycyBhcmUg cmVwcmVzZW50ZWQgYnkgdGhlaXIgcG9zaXRpb25zIGluIGRlY2xhcmF0aW9ucy4KVHlwZSBkZWNs YXJhdGlvbnMgYXJlIG5vdCBleHBsaWNpdGx5IHJlcHJlc2VudGVkIGluIHRoZSBpbnRlcnByZXRl ci4gVGhlCnNlbGYtaW50ZXJwcmV0ZXIgaXMgc2hvd24gaW4gZmlndXJlIDQuIE1pc3NpbmcgZnJv bSB0aGlzIGFyZSBkZWZpbml0aW9ucyBvZgpgbG9va3VwYCwgYGFwcGVuZGAsIGBoZGAgYW5kIGB0 bGAsIHdoaWNoIHdlIGhhdmUgb21pdHRlZCBmb3IgcmVhc29ucyBvZiBzcGFjZS4iCgpUaGUgbWlz c2luZyBgYXBwZW5kYCBpcyByZWxhdGl2ZWx5IHN0cmFpZ2h0Zm9yd2FyZCwgb25jZSB5b3UgZmln dXJlIG91dCB3aGljaApvZiB0aGUgcmVkdW5kYW50IGxpc3QgdHlwZXMgaXQgbmVlZHMgdG8gYmU6 CgogICAgYXBwZW5kIHZzMSB2cyA9CiAgICAgIGNhc2UgdnMxIG9mCiAgICAgICAgVW4gICAgICAg PT4gdnMKICAgICAgICBVYyB2IHZzMiA9PiBVYyB2IChhcHBlbmQgdnMyIHZzKQoKYGxvb2t1cGAg aXMgcHJlc3VtYWJseSBleGFjdGx5IHRoZSBzYW1lIGFzIGBzZWxlY3RgIGJ1dCB3aXRoIGEgZGlm ZmVyZW50IGxpc3QKdHlwZToKCiAgICBsb29rdXAgbiB2cyA9CiAgICAgIGNhc2UgZXMgb2YKICAg ICAgICBVbiAgICAgID0+IENhcCBaIEVuCiAgICAgICAgVWMgdiB2cyA9PiBjYXNlIG4gb2YKICAg ICAgICAgICAgICAgICAgICAgICBaICAgPT4gdgogICAgICAgICAgICAgICAgICAgICAgIFMgbiA9 PiBzZWxlY3QgbiB2cwoKYGhkYCBhbmQgYHRsYCBhcmUgbm90IGFjdHVhbGx5IHVzZWQgaW4gdGhl IGFib3ZlIGNvZGUsIHNvIEkgaGF2ZSBvbWl0dGVkIHRoZW0uClRoZSB5IGRvIGdldCB1c2VkIGxh dGVyIGluIHRoZSBwYXBlci4KCkl0J3MgYSBiaXQgb2YgYSBjaGVhdCB0byBjYWxsIHRoaXMgYSAi c2VsZi1pbnRlcnByZXRlciIsIGJlY2F1c2UsIGluIGhpcwplbnRodXNpYXNtIHRvIHdyaXRlIGFu IGludGVycHJldGVyIHRoYXQgbmVpdGhlciBwcm92aWRlcyBub3IgcmVxdWlyZXMgZXF1YWxpdHkK dGVzdGluZywgaGUgaGFzIHdyaXR0ZW4gYW4gaW50ZXJwcmV0ZXIgdGhhdCByZXF1aXJlcyBhIHJl cHJlc2VudGF0aW9uIG9mIHRoZQpwcm9ncmFtIGZhaXJseSBmYXIgcmVtb3ZlZCBmcm9tIHRoZSBh YnN0cmFjdCBzeW50YXggdHJlZSBwcm9kdWNlZCBieSBhIHBhcnNlci4KQWxsIHRoZSB2YXJpYWJs ZXMgbXVzdCBiZSByZXBsYWNlZCB3aXRoIGRlIEJydWlqbiBpbmRpY2VzLCBhbmQgYWxsIG9mIHRo ZQpjYXNlLWV4cHJlc3Npb25zIG11c3QgYmUgcGFkZGVkIG91dCB3aXRoIHRoZSBhZGRpdGlvbiBv ZiBleHRyYSBleHByZXNzaW9ucwoocGVyaGFwcyBgQ2FwIFogRW5gKSB0byBjb3ZlciB0aGUgY29u c3RydWN0b3JzIGZvciB3aGljaCB0aGUgcHJvZ3JhbSBkb2VzIG5vdApzcGVjaWZ5IGFuIGV4cHJl c3Npb24uICAKClNpbmNlIHRoZSBjb21waWxlciBuZWVkZWQgdG8gZG8gdGhlc2UgdHJhbnNmb3Jt YXRpb25zIGZyb20gdGhlIEFTVCBpcwpjb21wYXJhYmxlIGluIHNpemUgdG8gdGhlIGludGVycHJl dGVyLCBwZXJoYXBzIHRoZSBpbnRlcnByZXRlciBzaG91bGQgaW5zdGVhZApiZSBjYWxsZWQgYSAi dmlydHVhbCBtYWNoaW5lIi4gIEFuZCB0aGUgZmFjdCB0aGF0IGl0J3Mgd3JpdHRlbiBpbiB0aGUg bGFuZ3VhZ2UKaXQgaW50ZXJwcmV0cyBpcyBlbnRpcmVseSBpcnJlbGV2YW50IHRvIHRoZSBpbnRl cmVzdGluZyBwYXJ0cyBvZiB0aGUgcGFwZXIuCgpNb2dlbnNlbidzIG1pbmlhdHVyZSBsYW5ndWFn ZSBkb2Vzbid0IGluY2x1ZGUgbmVzdGVkIHBhdHRlcm5zLCBlcXVhbGl0eSB0ZXN0cwppbiB0aGUg cGF0dGVybi1tYXRjaGVyLCBvciBoaWdoZXItb3JkZXIgZnVuY3Rpb25zIChvciwgY29uc2VxdWVu dGx5LCBjbG9zdXJlcwpvciBjdXJyeWluZyksIHNvIEkgc3VzcGVjdCB0aGF0IGEgRmVNTCBtZXRh Y2lyY3VsYXIgaW50ZXJwcmV0ZXIgd291bGQgcHJvYmFibHkKYmUgc3Vic3RhbnRpYWxseSBtb3Jl IGNvZGUsIGV2ZW4gdGhvdWdoIHRoZSBsYW5ndWFnZSBpcyBzeW50YWN0aWNhbGx5IHNpbXBsZXIu Ckhvd2V2ZXIsIGxpa2UgTW9nZW5zZW4ncyBleGFtcGxlLCBpdCBjb3VsZCBvbWl0IHR5cGUtY2hl Y2tpbmcgZW50aXJlbHkuCgpLcmFnZW4KLS0gClRvIHVuc3Vic2NyaWJlOiBodHRwOi8vbGlzdHMu Y2Fub25pY2FsLm9yZy9tYWlsbWFuL2xpc3RpbmZvL2tyYWdlbi1kaXNjdXNz