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
