Wilfred Hughes on Nostr: Noodling with an interpreter for a statically typed language with reified types (e.g. ...
Noodling with an interpreter for a statically typed language with reified types (e.g. a list knows what type it contains).
Currently I have a single representation of types in both the runtime and the type checker. I think that's a good thing?
Published at
2024-05-02 04:48:43Event JSON
{
"id": "7680bfc96651bf5d5e39594406ce7f97a3792235d8430a680e2a18c25c0a048c",
"pubkey": "27c7ddcdba1d8cc847191c23aa2bf54f085cdedb6a6d7e5e460e6c8b59798786",
"created_at": 1714625323,
"kind": 1,
"tags": [
[
"proxy",
"https://mastodon.social/users/wilfredh/statuses/112369685173384494",
"activitypub"
]
],
"content": "Noodling with an interpreter for a statically typed language with reified types (e.g. a list knows what type it contains).\n\nCurrently I have a single representation of types in both the runtime and the type checker. I think that's a good thing?",
"sig": "98e7dc2ada14bc7c1cc0d5cbfba12fbb3ae378f02d8b6a37bbb866f3d03ce4f032c323a20ad585d39803c079984965c1d1dbc6c61dc495d8d054b98dda031098"
}
