yosh on Nostr: I guess I also don’t really know where “(compile-time) reflection” ends, and ...
I guess I also don’t really know where “(compile-time) reflection” ends, and where dependent types begin. I really don’t have a good intuition about either.
Published at
2024-12-20 02:20:01Event JSON
{
"id": "2e0cd5f9ee3c064e86749327511cac392116e7f271e96be6b5b801c073835063",
"pubkey": "e1f48d2f077b0d512e8666bf7a0dddded2e443d99b0c92cecf577b4e50b86563",
"created_at": 1734661201,
"kind": 1,
"tags": [
[
"e",
"017dd965c568dac43864c5798434fe1cbfd93cf654dad76bc67650950040b593",
"wss://relay.mostr.pub",
"reply"
],
[
"proxy",
"https://toot.yosh.is/users/yosh/statuses/113682756488074869",
"activitypub"
]
],
"content": "I guess I also don’t really know where “(compile-time) reflection” ends, and where dependent types begin. I really don’t have a good intuition about either.",
"sig": "05bca130f0ac30033bd33962866176b6cebbeea135cd041749595d723ef78ce82b2a9939dd7be987939bbc627237549cb6ee7636eebc29a19d648eff2ae3fd97"
}
