nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqjd874v63430gng67kpw5m597f34dr9vr0yhkp8dkmnma8208raysyd6kk0 (nprofile…6kk0) One interesting thing to note here is that ML didn't really come out of the PL community, it came from the fact that someone wanted a convenient language to *do a specific thing* (implement tactics for a proof assistant) and it turned out that a good solution for that was also a good solution for many other things.
Perhaps the problem with Java was that it wasn't created for its creators to do a specific thing; I could be wrong about this history though.
Owen Lynch
npub1cj…fxs07
2025-05-21 09:25:51 UTC
in reply to nevent1q…anpt
Author Public Key
npub1cjyyl7y66997ewku92pzvvhkyec43k7cde44rhgayxdwwl63axdqafxs07Seen on
wss://relay.ditto.pubPublished at
2025-05-21 09:25:51 UTCEvent JSON
{
"id": "b070203a86df20e2c74ff56fdbfa9d8b3e1ced0e2cfd4d3d6957e2b59048440e",
"pubkey": "c4884ff89ad14becbadc2a822632f6267158dbd86e6b51dd1d219ae77f51e99a",
"created_at": 1747819551,
"kind": 1,
"tags": [
[
"p",
"934feab351ac5e89a35eb05d4dd0be4c6ad19583792f609db6dcf7d3a9e71f49",
"wss://relay.mostr.pub"
],
[
"p",
"ba51d3bb7fc92891016b5873c0b4f7c6a0550c964ec565ece24b6fc2dcf93301",
"wss://relay.mostr.pub"
],
[
"e",
"dd527a86d41d3ba6016b2c765a29fef0e25d4a2d23fe85b4fcc9a362d7db205c",
"wss://relay.mostr.pub",
"reply"
],
[
"proxy",
"https://mathstodon.xyz/users/olynch/statuses/114545102125559965",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.mostr.pub"
]
],
"content": "nostr:nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqjd874v63430gng67kpw5m597f34dr9vr0yhkp8dkmnma8208raysyd6kk0 One interesting thing to note here is that ML didn't really come out of the PL community, it came from the fact that someone wanted a convenient language to *do a specific thing* (implement tactics for a proof assistant) and it turned out that a good solution for that was also a good solution for many other things.\n\nPerhaps the problem with Java was that it wasn't created for its creators to do a specific thing; I could be wrong about this history though.",
"sig": "ff0bcc614b42e088e558b7b1bdf7716c8a7d2b2a20197d34064c3601ec7dadcf4d24afee1ab91e0e093c79ae6fd649597028713521923d796810699c5e222ce4"
}