Domande taggate «haskell»

2
Quali funzioni non può calcolare System F?
In questo articolo di Wikipedia sulla completezza di Turing si afferma che: Il calcolo lambda non tipizzato è Turing completo, ma molti calcoli lambda tipizzati, incluso il Sistema F, non lo sono. Il valore dei sistemi tipizzati si basa sulla loro capacità di rappresentare i programmi per computer più tipici …
5
Esistono sistemi di verifica formale con annotazioni per linguaggi di programmazione funzionali puri?
ACSL (Ansi C Specification Language), è una specifica per il codice C, annotata con commenti speciali, che consente di verificare formalmente il codice C. Non ci ho pensato , ma immagino che i metodi formali utilizzati nei verificatori ACSL sarebbero simili a Hoare Logic. Per i linguaggi puramente funzionali, come …
4
L'equivalenza eta per le funzioni è compatibile con l'operazione seq di Haskell?
Lemma: Supponendo che eta-equivalenza lo abbiamo (\x -> ⊥) = ⊥ :: A -> B. Prova: ⊥ = (\x -> ⊥ x)per eta-equivalenza e (\x -> ⊥ x) = (\x -> ⊥)per riduzione sotto la lambda. Il rapporto Haskell 2010, sezione 6.2 specifica la seqfunzione con due equazioni: seq :: …
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.