ATProto Browser

ATProto Browser

Experimental browser for the Atmosphere

Post

aside from the "visible propagation" thing, functions can be polymorphic over E, and you can stick a whole Result in a data structure (being polymorphic over E is less of a big deal vs unchecked exceptions, but if you want exhaustiveness checking then checked exceptions are the thing to compare)

Dec 26, 2024, 5:04 PM

Record data

{
  "uri": "at://did:plc:ch3qbqkbujcw2igoza3wthyw/app.bsky.feed.post/3le7xf7vmxc2h",
  "cid": "bafyreiet3zjwdewxh47py64cxmv3zzpno3aklyhqybgqpdg5qrbiyhjl7u",
  "value": {
    "text": "aside from the \"visible propagation\" thing, functions can be polymorphic over E, and you can stick a whole Result in a data structure\n\n(being polymorphic over E is less of a big deal vs unchecked exceptions, but if you want exhaustiveness checking then checked exceptions are the thing to compare)",
    "$type": "app.bsky.feed.post",
    "langs": [
      "en"
    ],
    "reply": {
      "root": {
        "cid": "bafyreihf25qfmtwgg5z44gnvd2yq3ilalhb3turf76q3qvf5a3h4sil2lq",
        "uri": "at://did:plc:sl6y5lgt5gmq6cbghxrckfw4/app.bsky.feed.post/3le6hxatrlc2d"
      },
      "parent": {
        "cid": "bafyreihf25qfmtwgg5z44gnvd2yq3ilalhb3turf76q3qvf5a3h4sil2lq",
        "uri": "at://did:plc:sl6y5lgt5gmq6cbghxrckfw4/app.bsky.feed.post/3le6hxatrlc2d"
      }
    },
    "createdAt": "2024-12-26T17:04:21.082Z"
  }
}