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
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
Replying to
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.