Chatting in DMs, and it came up that many of my favorite things about Rust aren't actually anything to do with Rust itself — almost any imperative language could do what Rust did and copy typeclasses (traits/impls in Rust parlance) and ADTs/DUs (enums in Rust) from ML-like languages.
It's just that for whatever reason, those two language features have gotten strongly associated with functional programming despite not having any strict ties to functional paradigms.
four.php
npub1hz…5lzy3
2026-09-18 23:20:55 UTC
Author Public Key
npub1hzvzdrx8mnxqy9m4xupkce4krf564qac2yfpupw9w80r88z8zkxsw5lzy3Published at
2026-09-18 23:20:55 UTCEvent JSON
{
"id": "82ee1188f854452d95f7d1450d3ff0ba5c12300bc4dab793312a42a0bca777ab",
"pubkey": "b898268cc7dccc02177537036c66b61a69aa83b851121e05c571de339c47158d",
"created_at": 1789773655,
"kind": 1,
"tags": [
[
"proxy",
"https://wandering.shop/@xgranade/117294606305861965",
"web"
],
[
"proxy",
"https://wandering.shop/users/xgranade/statuses/117294606305861965",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://wandering.shop/users/xgranade/statuses/117294606305861965",
"pink.momostr"
],
[
"-"
]
],
"content": "Chatting in DMs, and it came up that many of my favorite things about Rust aren't actually anything to do with Rust itself — almost any imperative language could do what Rust did and copy typeclasses (traits/impls in Rust parlance) and ADTs/DUs (enums in Rust) from ML-like languages.\n\nIt's just that for whatever reason, those two language features have gotten strongly associated with functional programming despite not having any strict ties to functional paradigms.",
"sig": "49810d870bbfded3e21b1a5f4b693ebd9dacac4fa78237fe2fdde685e3efdf310c33bbc91fc8955124986fcb3509ae5b69911e83538d178a37dbfd069045115e"
}