haskell

6calore

2risposta

In Haskell ghci è possibile (e come) per ottenere un simbolo lambda nel prompt, per esempio come questo λ> Utilizzando terminale Linux Ubuntu.

13calore

2risposta

Si dovrebbe specificare una firma di tipo per principale o no? Perché perché no?

ho imparato da chapter 9 of Learn You A Haskell For Great Good che Per convenzione, che facciamo di solito non specificare una dichiarazione di tipo per main. Per quanto posso dire, questa convenzione

13calore

1risposta

Come disabilitare Garbage Collection in GHC Haskell?

Come disattivare i GC o ridurre notevolmente la frequenza dei GC? Come dargli un'opzione +RTS per un mucchio enorme o dimensioni di allocazione forse? Voglio vedere come si comporta il mio programma q

10calore

1risposta

Impossibile trovare il modulo 'Text.Regex.Posix'

Voglio provare a eseguire espressioni regex in GHCi. Ho provato il caricamento del modulo :mod +Text.Regex.Posix Ma ottenuto questo errore invece <no location info>: Could not find module ‘Text

6calore

2risposta

Impossibile definire l'istanza "Arbitrary" personalizzata per "Char" poiché esiste già

Ho provato a seguire lo Introduction to Quickcheck e ho voluto testare la mia funzione che utilizza stringhe contenenti cifre. Per questo, ho definito un'istanza Arbitrary per Char: instance Arbitrary

8calore

4risposta

Come fanno i compilatori puramente funzionali ad annotare l'AST con le informazioni sul tipo?

Nella fase di analisi della sintassi, un compilatore imperativo può creare un AST dai nodi che contengono già un campo impostato su null durante la costruzione e, successivamente, nella fase di analis

8calore

1risposta

Haskell - Variabile di tipo ambiguo

Non sono riuscito a trovare una risposta alla mia domanda tra diverse ambigue domande di errore variabile. In pratica, voglio portare le informazioni sul tipo al livello di valore. L'ultima riga in qu

7calore

1risposta

GHC StablePointer ragionamento sull'uguaglianza

Ho appena saputo della funzione StablePointer di GHC, che è davvero interessante, ma non riesco a capire perché non abbia mostrato le cose come uguali. Qui è il mio banco di prova: -- Example 1 impor

11calore

4risposta

Che cosa significa che le funzioni non pure rompono la componibilità?

Qualcuno può dare un esempio che spieghi cosa significa in pratica quando le persone dicono che le funzioni non pure rompono la componibilità nei linguaggi funzionali? Mi piacerebbe vedere un esempio

9calore

2risposta

È possibile avere sinonimi di tipo smemorato in Haskell?

Se ho un tipo con un parametro fantasma che ho solo qualche volta a cuore, come questo: data Foo p a b = Bar a b C'è un modo hack per scrivere un tipo sinonimo Baz tale che Baz a b è Foo p a b per q