Preguntas etiquetadas con parametricity

4
¿Cuáles son las diferencias entre relaciones lógicas y simulaciones?
Soy un principiante trabajando en métodos que prueban la equivalencia del programa. He leído algunos artículos sobre la definición de relaciones lógicas o simulaciones para demostrar que dos programas son equivalentes. Pero estoy bastante confundido acerca de estas dos técnicas. Solo sé que las relaciones lógicas se definen inductivamente mientras …


4
Parametridad unaria versus paramétrica binaria
Recientemente me interesé bastante en la parametricidad después de ver el artículo LICS 2012 de Bernardy y Moulin ( https://dl.acm.org/citation.cfm?id=2359499 ). En este documento, internalizan la parametricidad unaria en un sistema de tipo puro con tipos dependientes y dan pistas sobre cómo puede extender la construcción a aridades arbitrarias. Solo …

3
¿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 se motiva la semántica relacional. …

1
¿Por qué los gráficos reflexivos para la parametricidad?
En cuanto a los modelos de polimorfismo paramétrico, tengo curiosidad por qué se utilizan las categorías de gráficos reflexivos . En particular, ¿por qué no incluyen la composición relacional? Al observar los modelos, todos parecen apoyar una noción natural de composición relacional: x(R;S)z⟺∃y.xRy∧ySzx(R;S)z⟺∃y.xRy∧ySz x(R;S)z \iff \exists y. xRy \wedge y …



1
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 con exactamente un …

Al usar nuestro sitio, usted reconoce que ha leído y comprende nuestra Política de Cookies y Política de Privacidad.
Licensed under cc by-sa 3.0 with attribution required.