Conversation

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?

deech

@deech

May 27, 2018

"Compile time" introspection.

Brendan Zabarauskas

@brendanzab

May 28, 2018

I want to have my parametericity cake and eat it too!

deech

@deech

May 28, 2018

I'm sure there's a way to have both (maybe with linear types as we've discussed before) but I think it's worth thinking about trading off paramtericity for an insane # of new design options.

Replying to

and

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:22 AM · May 28, 2018Twitter Web Client

Replying to

and

I think Dependent Haskell might be now referring to this as 'matchability': github.com/goldfirere/ghc

Brendan Zabarauskas

@brendanzab

May 28, 2018

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!