lambdapolymorphismsystem-f
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.
- value turned const in lambda capture?
- How to use vectorized calculations in pandas to find out where a value or category is changing with corrected first row?
- Why won't compilers inline constant captures in my lambda?
- Lambda expression for setter
- How to add total amount from list of lists using the Java Stream API?
- How to handle UnprocessedItems using AWS JavaScript SDK (dynamoDB)?
- Lambda + API Gateway: Long executing function return before task finished
- Why is a Kotlin lambda being garbage collected while an object isn't?
- Is there a performance difference by wrapping the code in an immediately invoked lambda expression?
- Formula to filter data based on prior 3 boolean "true" values
- Standardize IDs from Multiple Columns into One Column
- Are std::functions inlined by the C++11 compiler?
- Lambda returning lambda incorrectly infers return type?
- Why does sorting strings by length give incorrect results?
- Why use command=lambda : somefunction() vs command=somefunction in button commands?
- Precise definition of "functional interface" in Java 8
- `noexcept(noexcept(expr))` on lambda in MSVC
- Value is in enum list
- Removing value of nested Map in another map
- Factorial function with just lambda expression
- Capturing a local variable
- Capture and mutate value of variable outside lambda expression
- List of BigDecimal: how to calculate absolute difference between elements not adjacent to zero value using Java 8 Stream?
- How to calculate differences in a list of integers using lambda expressions
- How to write comparator to sort 2D array based on second column using lambda expression
- Why doesn't the C++ standard implicitly define a lambda capturing nothing as `static` by default?
- Lambda expression - select single object with a IEnumerable<> property
- What does lambda event: do?
- What is the difference between a 'closure' and a 'lambda'?
- convert two columns containing group and items in group into a single column