Mastodon Feed
dysfun@treehouse.systems ("gaytabase") wrote:
i am trying to work out how much is the right amount of fancy type theory features for something like a type theoretic c.
for example, so called first-class polymorphism where we can elaborate
Maybe ({a : Type} -> a -> a). i just wonder how much this sort of thing can come up when you're essentially trying to be a better C.