Bartosz Milewski on Nostr: I'm trying to come up with an interesting example of a coequalizer in Haskell. The ...
I'm trying to come up with an interesting example of a coequalizer in Haskell. The problem is that coequalizers are usually sets, and representing sets in programming is non-trivial. Essentially, a set is defined as a quotient over lists.
Published at
2024-09-15 21:11:27Event JSON
{
"id": "2448820dcafe2114fee5004186bde7136066e31ad304d308e22837a37e992f04",
"pubkey": "a60a88374d8e1cf092c7ea93662aa784fb33b3e75be7725017032e6929ebc5d5",
"created_at": 1726434687,
"kind": 1,
"tags": [
[
"proxy",
"https://mathstodon.xyz/users/BartoszMilewski/statuses/113143623666580372",
"activitypub"
]
],
"content": "I'm trying to come up with an interesting example of a coequalizer in Haskell. The problem is that coequalizers are usually sets, and representing sets in programming is non-trivial. Essentially, a set is defined as a quotient over lists.",
"sig": "8931b6d6d2c7e24a65f9edb0aac10d168f2f4ed07cb5b61129b0c9d09195b35102abf5247f018a92d8a16d8f8313feeece4199fe9e548389c3d40b25e6169e4d"
}
