Summary of type inference and checking in various languages - General

Welcome to the Functional Programming Zulip Chat Archive. You can join the chat here.

Torsten Schmits

what does "nested polymorphic variables" mean?

Georgi Lyubenov // googleson78

Fortunately, the type inference algorithm is linear when the nesting depth of polymorphic variables is bounded, as is the case for most applications.
referring to this quote?

Georgi Lyubenov // googleson78

I'd assume this is referring to things like bla :: ((forall a. a -> b) -> c) -> d, in which a b c d are all polymorphic, and are nested at different levels