yosh on Nostr: Asking for PL folks’ input: if I design a type system that makes it possible to ...
Asking for PL folks’ input: if I design a type system that makes it possible to statically uphold linear type invariants — doesn’t that mean that I’ve now created a type system that supports linear types?
This seems like an obvious “yes of course” to me? Because like, what are linear types if not types which are able to encode linear type invariants?
Published at
2024-11-17 20:44:18Event JSON
{
"id": "4f09a2315d58f1717f945cb83b47a076d858a11808729ce62ffff3fddd2ab48f",
"pubkey": "e1f48d2f077b0d512e8666bf7a0dddded2e443d99b0c92cecf577b4e50b86563",
"created_at": 1731876258,
"kind": 1,
"tags": [
[
"proxy",
"https://toot.yosh.is/users/yosh/statuses/113500242497610648",
"activitypub"
]
],
"content": "Asking for PL folks’ input: if I design a type system that makes it possible to statically uphold linear type invariants — doesn’t that mean that I’ve now created a type system that supports linear types?\n\nThis seems like an obvious “yes of course” to me? Because like, what are linear types if not types which are able to encode linear type invariants?",
"sig": "f67262c59d6e9a261446d169f65bec70a198fe9487e9adef470fb4c4b3e4c486f898ddd24e55e7a516d7ae78d8ac1a4b7447d18c8479bb07e0c00c7c24a03a81"
}
