Conversation

Any idea what part of

’s type checker should I look at to see why this works? try.purescript.org/?gist=d5bbb743

Replying to

and

Curious as to what papers to look at to get an up-to-date view on how to implement higher ranked polymorphism nicely 🤔

Replying to

and

This is related to skolemization in the type checker, but intuitively it fails because you say it works for any f, but it's only for fn's

Thought it was skolemization! Important thing is that I'm interested in how you got that behaviour for records - its what we want! 😅

Show replies