Ugh, why are there so many collections of qualities of that don't seem to have an overarching name? Makes talking about stuff really annoying. Currently thinking about:
? ::= abstract | concrete
? ::= definition | parameter
? ::= explicit | implicit
Conversation
Just thought of some things with names:
stage ::= runtime | compiletime
phase ::= static | dynamic
accessibility ::= public | private | protected
eval-strategy ::= strict | lazy
'stage' and 'phase' might be synonyms though…? 'eval-strategy' is a bit long…
4
1
More things:
? ::= extrinsic | intrinsic
? ::= extensional | intensional
…had a recommendation for 'tensionality', but I'm not convinced haha - would prefer something more descriptive?
Quote Tweet
Replying to @brendanzab
Idk about the other ones, but I propose that the last one be called "plicity", and similarly for intensional/extensional it would be "tensionality"