Experimental browser for the Atmosphere
the second thing is to do with the fact that comonads dont necessarily have a precise interface like objects do. cofree comonads generated by record-type-constructors do (methods are given from record entries), but not every comonad is cofree, and therefore do not have an obvious interface
May 9, 2025, 4:41 PM
{ "uri": "at://did:plc:lpb75msek6utrsoddaeikmpg/app.bsky.feed.post/3loqumeewdr2u", "cid": "bafyreia45fomnpkprrl4xttagcqgetezwyipd7neuwedim4sdkhvunq2ma", "value": { "text": "the second thing is to do with the fact that comonads dont necessarily have a precise interface like objects do. cofree comonads generated by record-type-constructors do (methods are given from record entries), but not every comonad is cofree, and therefore do not have an obvious interface", "$type": "app.bsky.feed.post", "langs": [ "en" ], "reply": { "root": { "cid": "bafyreige5rov2466dgqdt3luytom5gm5v5mv5p6doej5p24gq5qmrn6ydy", "uri": "at://did:plc:lpb75msek6utrsoddaeikmpg/app.bsky.feed.post/3loqume37s22u" }, "parent": { "cid": "bafyreif5s54wrb4pdb44jpt4447bvva56tj776dwpx3xvkluyd6ripjwlm", "uri": "at://did:plc:lpb75msek6utrsoddaeikmpg/app.bsky.feed.post/3loqumeevej2u" } }, "createdAt": "2025-05-09T16:41:50.956Z" } }