Domande taggate «polymorphism»

Il System F con le coppie ha le forti proprietà di normalizzazione e riduzione del soggetto?

È facile guardare in molti libri di testo le prove della riduzione del soggetto e della forte normalizzazione per il Sistema F, inoltre, a volte ci sono definizioni di Sistema F con coppie, dove (t, r) è un termine, non solo una codifica. La domanda è: quale sarebbe il riferimento …

11 reference-request lo.logic type-theory lambda-calculus polymorphism

Polimorfismo di rango superiore rispetto a tipi non scatolati

Ho una lingua in cui i tipi sono unboxed per impostazione predefinita, con inferenza di tipo basata su Hindley – Milner. Vorrei aggiungere un polimorfismo di rango più elevato, principalmente per lavorare con tipi esistenziali. Penso di capire come controllare questi tipi, ma non sono sicuro di cosa fare durante …

10 type-theory type-inference polymorphism

In System F à la Church, possiamo automatizzare l'inferenza del tipo per l'eliminazione definitiva?

La domanda è la seguente. Generalmente quando uno ha un termine come , possiamo eliminare il forall applicando questo termine a un tipo, come esempio .( Λ X . t ) [ T ] → t [ X : = T ]Λ X. tΛX.t\Lambda X.t( Λ X. t ) [ …

9 type-theory polymorphism type-inference

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.