haskell

5calore

2risposta

Ho deciso di provare la programmazione funzionale e Purescript. Dopo aver letto "Learn you a Haskell for great good" e "PureScript by Example" e giocando un po 'con il codice penso di poter dire di av

7calore

1risposta

Cosa significa "@" in Haskell?

Ho provato su google, ma ho finito corto. Sto approfondendo la mia conoscenza di Haskell leggendo alcuni articoli e ne ho trovato uno che utilizza una sintassi che non ho mai visto prima. Un esempio p

5calore

1risposta

Haskell, Canali, STM, -threaded, Message Passing

Sto provando ad usare i canali/STM per implementare il messaggio che passa in Haskell. Forse questa è una pessima idea, e c'è un modo migliore per implementare/utilizzare il messaggio che passa in Has

6calore

3risposta

Come indicare un URI Haskell statico nel codice con Network.URI?

Nella confezione Haskell Network.URI c'è la funzione parseURI :: String -> Maybe URI. Mi piacerebbe avere un paio di URI statici nel mio codice. È ragionevole scrivere quanto segue? Just myURI = parse

6calore

1risposta

Utilizzo di FRP per modellare la rete stradale con inceppamenti

Attualmente sto cercando di capire le frecce e il FRP e mi sono imbattuto in una domanda che non riesco a mappare a FRP, ovvero come modellare una rete stradale. Ho pensato di modellare una rete strad

6calore

2risposta

Perché non posso impilare due lettori uno sull'altro?

ottengo gli errori come questo: Diciamo che ho un monadStack ReaderT A (ReaderT B m), ogni volta che uso ask o asks, ottengo un errore come questo: Types.hs:21:10: Couldn't match type ‘A’ with ‘B

22calore

1risposta

Qual è il modo corretto di astrazione lambda typecheck dependent usando 'bound'?

Sto implementando un semplice linguaggio tipizzato, simile a quello described by Lennart Augustsson, mentre uso anche bound per gestire i binding. : mentre controlla un termine lambda dipendente, come

6calore

4risposta

Utilità delle "frecce di funzione associate a destra"?

lettura http://www.seas.upenn.edu/~cis194/spring13/lectures/04-higher-order.html afferma In particolare, si noti che le frecce funzione associata a destra, che è, W -> X -> Y -> Z è equivalente a W ->

6calore

1risposta

Come si legge una memoria condivisa usando la libreria mmap di Haskell?

Su C, posso creare un oggetto di memoria condivisa con: int fd = shm_open("/object", O_RDWR | O_CREAT, 0777); posso anche leggere da quella memoria utilizzando mmap: int* addr = mmap(0, sizeof(*addr

16calore

3risposta

Zippare stesso valore su una lista di tuple Haskell

Vorrei trasformare la seguente lista di tuple a = [(1,()),(2,())] in un elenco tupla nidificato per lo stesso valore b = [(False,(1,())),(False,(2,()))] Utilizzando la funzione di cerniera in ques