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
I like these! Not sure I understand the name phase but I don't have any better suggestions
1
1
Replying to
I was thinking of the ‘phase distinction’ - seems like Luca Cardelli uses ‘phase’ to refer to ‘compiletime’ vs. ‘runtime’ in “Phase Distinctions in Type Theory”, however: