haskell

17calore

1risposta

Che cosa fa il pragma di UNPACK, in questo caso?

Ho difficoltà a capire come funziona UNPACK in Haskell. consideri, ad esempio, le seguenti dichiarazioni di dati: data P a b = P !a !b data T = T {-# UNPACK #-} !(P Int Int) Come sarà DATATYPE T es

14calore

2risposta

Mix and match calcoli stateful all'interno della monade Stato

Lo stato del mio programma si compone di tre valori, a, b e c, dei tipi A, B e C. Diverse funzioni richiedono l'accesso a valori diversi. Voglio scrivere funzioni usando la monade State in modo che og

10calore

1risposta

Esiste una convenzione di denominazione standard per moduli/spazio dei nomi in haskell?

Sono fondamentalmente di Python World e ho giocato con haskell per alcuni giorni. Come utente python, lo spazio dei nomi delle librerie da hackage/stackage è stato il più confuso. Ad esempio, in pytho

5calore

2risposta

Memoizing e ripetendo IO monadi

CURA 2015/11/29: vedi fondo Sto cercando di scrivere un'applicazione che ha un pulsante do-ultima-azione-di nuovo. Il comando in questione può chiedere input, e il mio pensiero su come ottenere questo

6calore

2risposta

Come trasformare un elenco di numeri interi in una matrice di vero e falso in Haskell

In questo esercizio dovrei scrivere una funzione che riceva un elenco di numeri interi come argomento e fornisca una matrice o un elenco di elenchi. Il punto nel fare la matrice è che gli interi rappr

21calore

1risposta

Qual è il motivo di un sistema di tipo completo di Turing

Scala e Haskell hanno "Sistemi di tipo completo di Turing". Solitamente, la completezza di Turing si riferisce a computations and languages. Cosa significa veramente nel contesto dei tipi? Qualcuno po

7calore

1risposta

ScopedTypeVariables non porta variabili di tipo in ambito

Ecco una semplice funzione per restituire l'allineamento di un puntatore: {-# LANGUAGE ScopedTypeVariables #-} import Foreign.Ptr (Ptr) import Foreign.Storable (Storable, alignment) main = return

11calore

1risposta

Modeling la monade ST in Agda

Questa recente SO question mi ha spinto a scrivere un'emulazione non sicura e pura della monade ST in Haskell, una versione leggermente modificata di cui potete vedere qui sotto: {-# LANGUAGE DeriveFu

5calore

2risposta

Potremmo astrarre oltre le classi di tipi?

Mi chiedo se non ci sia una ragione più profonda per cui non possiamo astrarre le classi di tipi (o possiamo?). Per esempio, quando abbiamo fzip :: (forall a.[a] -> [a]) -> [b] -> [c] -> [(b,c)] fzip

8calore

4risposta

Un esempio di vita reale quando l'abbinamento di modelli è più preferibile rispetto a un'espressione di caso in Haskell?

Quindi sono stato impegnato con il libro Real World Haskell e ho eseguito l'esercizio lastButOne. Sono venuto con 2 soluzioni, uno con pattern matching lastButOne :: [a] -> a lastButOne ([]) = error