What are your favourite examples of "big little ideas" - things you can explain in a paragraph that once you know them fundamentally change how you see some aspect of the world?
Conversation
I want to have my parametericity cake and eat it too!
1
1
To just be pedantic, from what we talked about with McBride, I'm pretty sure that being explicit over breaking parametricity is a separate but related concept to linearity. I was originally confused by this!
1
1
I think Dependent Haskell might be now referring to this as 'matchability': github.com/goldfirere/ghc
1
From what I understand now, I think the confusing part is that unmatchablility and irrelevance both seem to imply the same thing, parametericity and erasibility. Hopefully McBride and Co. can clear this up for us in the coming years! I want a nice solution for Pikelet!