Domande taggate «parametricity»



4
Parametricità unaria vs. parametria binaria
Recentemente sono diventato piuttosto interessato alla parametricità dopo aver visto il documento LICS del 2012 di Bernardy e Moulin ( https://dl.acm.org/citation.cfm?id=2359499 ). In questo documento, interiorizzano la parametricità unaria in un sistema di tipo puro con tipi dipendenti e suggeriscono come estendere la costruzione ad arità arbitrarie. Ho visto solo …

3
Come si può motivare la parametricità relazionale?
Esiste un modo naturale per comprendere l'essenza della semantica relazionale per il polimorfismo parametrico? Ho appena iniziato a leggere la nozione di parametria relazionale, "Tipi, astrazione e polimorfismo parametrico" di John Reynolds, e ho difficoltà a capire come è motivata la semantica relazionale. La semantica del set ha perfettamente senso …


1
Trasformazioni naturali e parametricità
In Teoremi gratis! , Wadler afferma che la caratterizzazione della parametricità può essere re-espressa in termini di trasformazioni naturali rilassate e questo sarà oggetto di un ulteriore documento. A quale documento si riferisce? L'approccio categorico alla parametricità che conosco utilizza trasformazioni dinaturali come nel polimorfismo di Functorial di Bainbridge, Freyd, …

Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.