ok. i don't agree. those are declarations.
statements in haskell (the do notation ones) are a super useful sublanguage, and i think most languages should learn from haskell. they are distinct from expressions at the type level (because they're part of some effect system, e.g. monads) but are still composable. the best imperative languages imo do distinguish statements and expressions, but they don't do it for effect separation, sadly, and don't make it programmable.
typeswitch
npub1e9…2vdd5
2026-07-03 02:20:54 UTC
in reply to nevent1q…5eqs
Author Public Key
npub1e9y64jhalql35k2cfhntmkvnnz5937pwrq0267578qrpty6uafzsc2vdd5Seen on
wss://relay.momostr.pinkPublished at
2026-07-03 02:20:54 UTCEvent JSON
{
"id": "a4d74edfe0d51cce7c3b2465a1cd925f98debc0bd48373ae9298725e4469fd57",
"pubkey": "c949aacafdf83f1a59584de6bdd99398a858f82e181ead7a9e380615935cea45",
"created_at": 1783045254,
"kind": 1,
"tags": [
[
"e",
"2b6c90e227e8b8958f8b2e9e78e56936e0dc2657e4e8ca32a565f61b84d0781d",
"",
"root",
"8a8316532b57248ac82db7d866a32a07d9f14900eafa3f7c3b4f4662c09f79a9"
],
[
"p",
"8a8316532b57248ac82db7d866a32a07d9f14900eafa3f7c3b4f4662c09f79a9"
],
[
"e",
"6e4612d0455105527ffb5b481c084271a584f4e9aa48f1b1223dcc0f8ead6a5a",
"",
"reply",
"8a8316532b57248ac82db7d866a32a07d9f14900eafa3f7c3b4f4662c09f79a9"
],
[
"proxy",
"https://gamedev.lgbt/@typeswitch/116853653783885512",
"web"
],
[
"p",
"c949aacafdf83f1a59584de6bdd99398a858f82e181ead7a9e380615935cea45"
],
[
"proxy",
"https://gamedev.lgbt/users/typeswitch/statuses/116853653783885512",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://gamedev.lgbt/users/typeswitch/statuses/116853653783885512",
"pink.momostr"
],
[
"-"
]
],
"content": "ok. i don't agree. those are declarations.\n\nstatements in haskell (the do notation ones) are a super useful sublanguage, and i think most languages should learn from haskell. they are distinct from expressions at the type level (because they're part of some effect system, e.g. monads) but are still composable. the best imperative languages imo do distinguish statements and expressions, but they don't do it for effect separation, sadly, and don't make it programmable.",
"sig": "f27d395fbb8fe82af2367709e4ee329ad0e138f35d5969c7862d6f2f656db5563c044ee54e9b9e88925542c4933a80fe7f4cc12317270ade4f8001e7838020a5"
}