Experimental browser for the Atmosphere
e.g, think "enum-types" rather than coproducts, think "processors" rather than morphisms of cocategories, think "events" rather than "cosignals", etc. though admittedly it seems a bit harder to find a good one-word interpretation of comonads relevant to a programming context, it is worth doing
May 9, 2025, 4:41 PM
{ "uri": "at://did:plc:lpb75msek6utrsoddaeikmpg/app.bsky.feed.post/3loqumeevei2u", "cid": "bafyreifxvvlj4ssip7taqhbbn2o3di56r7rulkv7noqdhbts4lfjs2ty4u", "value": { "text": "e.g, think \"enum-types\" rather than coproducts, think \"processors\" rather than morphisms of cocategories, think \"events\" rather than \"cosignals\", etc.\n\nthough admittedly it seems a bit harder to find a good one-word interpretation of comonads relevant to a programming context, it is worth doing", "$type": "app.bsky.feed.post", "langs": [ "en" ], "reply": { "root": { "cid": "bafyreige5rov2466dgqdt3luytom5gm5v5mv5p6doej5p24gq5qmrn6ydy", "uri": "at://did:plc:lpb75msek6utrsoddaeikmpg/app.bsky.feed.post/3loqume37s22u" }, "parent": { "cid": "bafyreietlzzvpku2ls6vgqux6vohhseq7trs22b5sqmk2uyaua5my3kb4i", "uri": "at://did:plc:lpb75msek6utrsoddaeikmpg/app.bsky.feed.post/3loqumeeveh2u" } }, "createdAt": "2025-05-09T16:41:50.954Z" } }