Domande taggate «pl.programming-languages»

I linguaggi di programmazione, in particolare, si concentrano sulla loro semantica.

3
Lettore, scrittore monadi
Sia un CCC . Let un bifunctor prodotto su . Dato che Cat è CCC, possiamo curry :CCC(×)(×)(\times)CCC(×)(×)(\times) curry(×):C→(C⇒C)curry(×):C→(C⇒C)curry (\times) : C \rightarrow(C \Rightarrow C) curry(×)A=λB.A×Bcurry(×)A=λB.A×Bcurry (\times) A = \lambda B. A \times B La categoria Functor ha la consueta struttura monoidale. C⇒CC⇒CC \Rightarrow C Un monoide in è una …
2
Piena completezza e completa astrazione della traduzione di un programma
Gli sforzi di verifica del compilatore spesso si riducono a dimostrare che il compilatore è completamente astratto: che preserva e riflette le equivalenze (contestuali). Invece di fornire prove complete di astrazione, alcuni recenti lavori di verifica del compilatore (basati su categorie) di Hasegawa [ 1 , 2 ] e Egger …
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 …
1
Mantenimento dell'ordine in una lista in
Il problema di manutenzione dell'ordine (o "mantenimento dell'ordine in un elenco") è supportare le operazioni: singleton: crea un elenco con un elemento, restituisce un puntatore ad esso insertAfter: dato un puntatore a un elemento, inserisce un nuovo elemento dopo di esso, restituendo un puntatore al nuovo elemento delete: dato un …
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.