npub13w74ajumt9wx050yq2r5h6rz95q8mmdqtvt9fl3e9u0f2ug6ht9srvmktw (npub13w7…mktw) npub1n3usu5kw5rcn9em6r9vmrm5ajajq2fkmem74n68phfe2ts5ksnqqc5cnm2 (npub1n3u…cnm2) Not really, you can implement some monads just with generics (e.g. State, NonDeterminism) but if you want the Maybe/Option and Either/Result/Exception monads you need tagged unions.
If you *only* care about Monads for error handling, you can kinda get away with it with just tagged unions and without a generic bind operator.
I do wonder if having some sort of effect `function foo(): T!{error: E1}` to encode Midori's lightweight exception is a good idea.
Gina Peter Banyard /
npub1rz…lv5cr
2024-10-19 22:52:04
in reply to nevent1q…4rj8
Author Public Key
npub1rz3q6msmelwyh0r2qczh0gga95l3uvrhdejucafxn0awvhextxyqtlv5crSeen on
wss://relay.nostr.bandPublished at
2024-10-19 22:52:04Event JSON
{
"id": "97aacea46285d4d632a1078fd3fd7b7925626edf7474b1afd63306529ec57666",
"pubkey": "18a20d6e1bcfdc4bbc6a060577a11d2d3f1e30776e65cc75269bfae65f265988",
"created_at": 1729378324,
"kind": 1,
"tags": [
[
"p",
"8bbd5ecb9b595c67d1e402874be8622d007deda05b1654fe392f1e95711abacb",
"wss://relay.mostr.pub"
],
[
"p",
"9c790e52cea0f132e77a1959b1ee9d97640526dbcefd59e8e1ba72a5c29684c0",
"wss://relay.mostr.pub"
],
[
"p",
"e8201addc43dd2260f2fa3afd98a4568bd3ef7256f7173f7d444f6770340d26a",
"wss://relay.mostr.pub"
],
[
"p",
"b68c9aaff1f3f7bbb809cdaf4b8567efcde30e09b5ead7c0df416d94499dde13",
"wss://relay.mostr.pub"
],
[
"e",
"53d3813a941285b8ad2c23877850077981fe12d93c6b20d0efccb488653956b4",
"wss://relay.mostr.pub",
"reply"
],
[
"proxy",
"https://phpc.social/users/Girgias/statuses/113336537901038757",
"activitypub"
]
],
"content": "nostr:npub13w74ajumt9wx050yq2r5h6rz95q8mmdqtvt9fl3e9u0f2ug6ht9srvmktw nostr:npub1n3usu5kw5rcn9em6r9vmrm5ajajq2fkmem74n68phfe2ts5ksnqqc5cnm2 Not really, you can implement some monads just with generics (e.g. State, NonDeterminism) but if you want the Maybe/Option and Either/Result/Exception monads you need tagged unions.\n\nIf you *only* care about Monads for error handling, you can kinda get away with it with just tagged unions and without a generic bind operator.\n\nI do wonder if having some sort of effect `function foo(): T!{error: E1}` to encode Midori's lightweight exception is a good idea.",
"sig": "e58d12987aeb469e99769b99d6732ce948cdc394980f0244c81d334fc4ce0c9f63d2fb7af256ea0a10a637d8dff54f90fcc1b0699f91280e948b1f1798e74cc2"
}