Perguntas com a marcação «parametricity»

4
Quais são as diferenças entre relações lógicas e simulações?
Sou iniciante trabalhando em métodos que provam equivalência de programa. Li alguns artigos sobre como definir relações lógicas ou simulações para provar que dois programas são equivalentes. Mas estou bastante confuso sobre essas duas técnicas. Só sei que as relações lógicas são definidas indutivamente enquanto as simulações são baseadas na …



3
Como a parametridade relacional pode ser motivada?
Existe alguma maneira natural de entender a essência da semântica relacional do polimorfismo paramétrico? Acabei de começar a ler sobre a noção de parametridade relacional, como "Tipos, abstração e polimorfismo paramétrico" de John Reynolds, e estou tendo problemas para entender como a semântica relacional é motivada. A semântica de conjuntos …

1
Por que gráficos reflexivos para parametridade?
Olhando para os modelos de polimorfismo paramétrico, estou curioso para saber por que são usadas categorias de gráfico reflexivo ? Em particular, por que eles não incluem composição relacional? Ao olhar para os modelos, todos parecem apoiar uma noção natural de composição relacional: x(R;S)z⟺∃y.xRy∧ySzx(R;S)z⟺∃y.xRy∧ySz x(R;S)z \iff \exists y. xRy \wedge …

1
Transformações naturais e parametridade
Em Teoremas de graça! , Wadler diz que a caracterização da parametricidade pode ser re-expressa em termos de transformações naturais frouxas e isso será objeto de outro artigo. A que papel ele está se referindo? A abordagem categórica da parametericidade que conheço utiliza transformações dinaturais, como no polimorfismo funcional de …


1
Parametricidade da Lógica Linear
Somos capazes de provar um teorema de parametridade livre sobre funções como f:∀A.[A]⊸[A]f:∀A.[A]⊸[A]f : \forall A . [A] ⊸ [A] ? Supõe-se que fff pega uma lista e sempre retorna uma permutação dela. Outro exemplo: prove que a função f:∀A.(A⊸(A,A))⊸[A]⊸[A]f:∀A.(A⊸(A,A))⊸[A]⊸[A]f : \forall A . (A ⊸ (A, A)) ⊸ [A] …

Ao utilizar nosso site, você reconhece que leu e compreendeu nossa Política de Cookies e nossa Política de Privacidade.
Licensed under cc by-sa 3.0 with attribution required.