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
Replying to
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"
2
Replying to
Idk about the other ones, but I propose that the last one be called "plicity", and similarly for intensional/extensional it would be "tensionality"
1
1
4
Haha oh yeah, seen 'plicity' a few times and felt it seemed a bit… goofy and off-balance? I guess I would have also hoped for something more descriptive, like 'argument application style', but that's a bit longwinded haha.
1
