Preguntas etiquetadas con parametricity

15
¿Cómo se puede motivar la parametricidad relacional?

¿Hay alguna forma natural de entender la esencia de la semántica relacional para el polimorfismo paramétrico? Acabo de empezar a leer sobre la noción de parametricidad relacional, a la manera de "Tipos, abstracción y polimorfismo paramétrico" de John Reynolds, y tengo problemas para entender cómo...

9
Parametricidad de la lógica lineal

Somos capaces de demostrar teoremas un parametricity gratis sobre funciones como ? Se supone que indica que f toma una lista y siempre devuelve una permutación de la misma.f:∀A.[A]⊸[A]f:∀A.[A]⊸[A]f : \forall A . [A] ⊸ [A]fff Otro ejemplo: probar que la función siempre devolverá una lista permutada...