Welcome to the Functional Programming Zulip Chat Archive. You can join the chat here.
I just watched SPJ's updated on Impredicative Types thanks to Chalmers: http://chalmersfp.org/
The examples were small for good reasons. I'm curious where else this extension could be used -- is being able to type apply a quantified variable some thing that Haskell programmers frequently desire?
It was amazing be able to watch an SPJ talk live! While I enjoy conferences I can't always travel to where they take place. I hope SPJ may consider doing more talks in this manner if it wasn't too painful or weird for him.
I hope the recording turns out okay. I couldn't get audio :(
I have come up against GHC telling me that it doesn't support impredicative polymorphism on several occasions, mostly in trying to use the machines library. I think I had to use newtype wrappers around things to make it work. So to not have to do this would be nice.
Another example: I needed impredicativity last week when I was attempting to write a control function that took a list of callbacks as an argument. I deleted the broken implementation and wrote it some other way.
I think it's something that if we didn't have to work around, we would use all the time.
I think so too