ATProto Browser

ATProto Browser

Experimental browser for the Atmosphere

Post

Say I have an ML-like language. If I want to be able to monomorphize, what do I need to rule out? Certainly polymorphic recursion, but what else?

Mar 30, 2025, 3:37 PM

Record data

{
  "uri": "at://did:plc:mvjpulmrycnajuajriksd5mu/app.bsky.feed.post/3llm6eiojzs2e",
  "cid": "bafyreic3luone2qqa6o3auxdfdukod6t5ldebme5ce7mclufhahojipuyu",
  "value": {
    "text": "Say I have an ML-like language.\n\nIf I want to be able to monomorphize, what do I need to rule out? Certainly polymorphic recursion, but what else?",
    "$type": "app.bsky.feed.post",
    "langs": [
      "en"
    ],
    "createdAt": "2025-03-30T15:37:31.180Z"
  }
}