Which is the difference between these polymorphic types?
In System F, what is the difference between the following 3 types: 
Reproduced in text here:
∀X.((X → X) → (X → X))
∀X.((X → X) → ∀X.(X → X))
((∀X.X → X) → (∀X.X → X))
Is the second one more general than the first?
Solution
Depends on how tight forall quantifier binds. Lets assume that it binds on next terminal expression (variable or ()-block).
The first will become (X0 -> X0) -> (X0 -> X0) where X0 is a fresh type variable.
The second will become (X0 -> X0) -> forall X1. (X1 -> X1) where X0 and X1 are fresh.
The third - (bot -> X) -> (bot -> X) where X is the old binding and bot is the uninhabited forall X. X.
- Reflecting parameter name: abuse of C# lambda expressions or syntax brilliance?
- Shorter alternative for 'lambda' keyword?
- How can I fix this Taskfile command?
- Passing a local reference to a closure
- Why does a deducing-'this' lambda require `this` to be a reference or capturing variables by reference?
- How to modify mulitple columns applying if else to multiple pandas dataframe columns
- Generating powerset in one function, no explicit recursion, and using only simplest primitives in Racket
- C# Pass Lambda Expression as Method Parameter
- Order a List (C#) by many fields?
- How to convert an expression tree to a partial SQL query?
- Increment numbers when value changes in another column
- Linq to SQL left outer join using Lambda syntax and joining on 2 columns (composite join key)
- Python sort with key=lambda gets TypeError when trying to call x.lower()
- Pass QString in Lambda Function
- Why can't I return type byte in lambda expression in Arrays.setAll
- bad return type in lambda expression
- Why lambda captures only automatic storage variables?
- Member functions called in lambdas
- Trying to split parameter pack into two smaller packs using an index sequence and nested lambdas leads to weird compiler behaviors
- Prisma - Sorting by function applied on a column
- Unable to deserialize lambda
- Lambda overloaded method
- What is the purpose of std::function and how do I use it?
- Why can a lambda passed as an argument be used in a constant expression?
- Is the result of List<T>.FindAll guaranteed to be in the same order as the original list?
- Lambda expression exercise
- How to use await in a python lambda
- Lambda Expression using OR operator
- Aggregating in pandas groupby using lambda functions
- Lambda REDUCE access to whole object