Questions tagged [soft-question]
For questions whose answers can't be objectively evaluated as correct or incorrect, but which are still relevant to this site. Please be specific about what you are after.
2
questions
17
votes
2
answers
496
views
What are the advantages to impredicativity?
Mostly when I read about impredicativity I see people bemoaning its downsides.
But it's not clear to me why I would want impredicativity in the first place.
Impredicativity is useful for analyzing ...
16
votes
1
answer
386
views
Why should you "never resort to polymorphism when initiality would do"?
In the concluding statement of "universe hierarchies", Conor McBride calls it
[...] that key lesson which I learned from James McKinna: never resort to polymorphism when initiality will do.
...