hmm ... I think haskell can. statements are monadic or applicative expressions in a do block. and you can compute new kinds of block statements with BlockArguments too.
i'd also say forth counts. it's not unusual for most of the conditional and looping constructs to be computed from some much more primitive forward and backward [conditional] branches.
but i guess you meant something else that would exclude these examples?
typeswitch
npub1e9…2vdd5
2026-07-03 00:52:07 UTC
in reply to nevent1q…jqqd
Author Public Key
npub1e9y64jhalql35k2cfhntmkvnnz5937pwrq0267578qrpty6uafzsc2vdd5Seen on
wss://relay.momostr.pinkPublished at
2026-07-03 00:52:07 UTCEvent JSON
{
"id": "68e3a3c764f067c4c1280708505ab4cb53471dda66519ee4ac7542c84f045de6",
"pubkey": "c949aacafdf83f1a59584de6bdd99398a858f82e181ead7a9e380615935cea45",
"created_at": 1783039927,
"kind": 1,
"tags": [
[
"e",
"2b6c90e227e8b8958f8b2e9e78e56936e0dc2657e4e8ca32a565f61b84d0781d",
"",
"root",
"8a8316532b57248ac82db7d866a32a07d9f14900eafa3f7c3b4f4662c09f79a9"
],
[
"proxy",
"https://gamedev.lgbt/@typeswitch/116853304681891538",
"web"
],
[
"p",
"8a8316532b57248ac82db7d866a32a07d9f14900eafa3f7c3b4f4662c09f79a9"
],
[
"proxy",
"https://gamedev.lgbt/users/typeswitch/statuses/116853304681891538",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://gamedev.lgbt/users/typeswitch/statuses/116853304681891538",
"pink.momostr"
],
[
"-"
]
],
"content": "hmm ... I think haskell can. statements are monadic or applicative expressions in a do block. and you can compute new kinds of block statements with BlockArguments too.\n\ni'd also say forth counts. it's not unusual for most of the conditional and looping constructs to be computed from some much more primitive forward and backward [conditional] branches.\n\nbut i guess you meant something else that would exclude these examples?",
"sig": "7cf403e592e6444450a8bb56ddc36a1ff386c6d9ada6309e68affbee45ea62b2edf6413d9963e036c1b21f871bb9ca822a5e1786089567323a27b95b8f1d11ec"
}