ATProto Browser

ATProto Browser

Experimental browser for the Atmosphere

Post

Now look at Dogfish. It's the first non-trivial type that isn't a constant. Swordfish is true, Ponyfish is false, and Dogfish is an algebraic type that must satisfy both True and False; e.g., the null type never. We can check this in a REPL:

Apr 2, 2025, 8:50 PM

Record data

{
  "uri": "at://did:plc:pjx32io2cibbqpttchyuradp/app.bsky.feed.post/3llubb35x5c2c",
  "cid": "bafyreiceookw5uypg675iz352rsc2w2ryhj6pl2vlkfl42ugwkiggilelu",
  "value": {
    "text": "Now look at Dogfish. It's the first non-trivial type that isn't a constant.\n\nSwordfish is true, Ponyfish is false, and Dogfish is an algebraic type that must satisfy both True and False; e.g., the null type never.\n\nWe can check this in a REPL:",
    "$type": "app.bsky.feed.post",
    "embed": {
      "$type": "app.bsky.embed.images",
      "images": [
        {
          "alt": "",
          "image": {
            "$type": "blob",
            "ref": {
              "$link": "bafkreibzdxn6plplu4czqa4ukdmkyytwtpeuelsjblrtmmbkb5iwg7c7bm"
            },
            "mimeType": "image/jpeg",
            "size": 73846
          },
          "aspectRatio": {
            "width": 1200,
            "height": 269
          }
        }
      ]
    },
    "langs": [
      "en"
    ],
    "reply": {
      "root": {
        "cid": "bafyreigy4b4of3efqvborvu2zhpqv3kbw3qmgsrz5kpdzqhb6st76smg7y",
        "uri": "at://did:plc:pjx32io2cibbqpttchyuradp/app.bsky.feed.post/3llubazy47c2c"
      },
      "parent": {
        "cid": "bafyreih2yg37u2csgyoj6f5adjkcr3m53fijil33icxndo4jqfojij63fm",
        "uri": "at://did:plc:pjx32io2cibbqpttchyuradp/app.bsky.feed.post/3llubb2v3ws2c"
      }
    },
    "createdAt": "2025-04-02T20:50:34.236Z"
  }
}