Shae Erisson on Nostr: My nomination for "most surprising use of Hindley-Milner type inference" is a spoken ...
Published at
2024-10-02 16:38:48Event JSON
{
"id": "50f4aaadc3a180b9a441faa21ba03a74b27b250cb690ccfea7fc69e0a5b5ae89",
"pubkey": "c602d7a92a14fb77f5eacb21173b64321ee8f2ec670e3321f46fb77a672eeba0",
"created_at": 1727887128,
"kind": 1,
"tags": [
[
"emoji",
"sad_blob",
"https://recurse.social/system/custom_emojis/images/000/058/651/original/6f9577e2b1d039f6.gif"
],
[
"proxy",
"https://recurse.social/users/shapr/statuses/113238810834544781",
"activitypub"
]
],
"content": "My nomination for \"most surprising use of Hindley-Milner type inference\" is a spoken programming language created by Benjamin Gordon in 2014.\n\nI can't find his thesis, but here's a publication from 2018: https://www.cs.unm.edu/~luger/resumepapers2015/2018%20papers/GordonLuger.pdf\n\nThe language is a compiler and plugin for the Eclipse IDE[1] [2], I've never been able to build it :sad_blob: \n\n[1] https://github.com/yetamrra/spc-compiler\n[2] https://github.com/yetamrra/spc-plugin",
"sig": "002524efd1564c2684119bdbb4cdcaf0cb601403ec058b9e62a2cf112668e2c7a5bc354c56cb52fd20912c61810ed3ceae46da7ee2e8eae1e7aa37131686126b"
}