haskell

30calore

1risposta

Quali sono tutti i meccanismi utilizzati per abilitare l'API basata sul tipo di Servant?

Sono molto perplesso dal modo in cui Servant è in grado di raggiungere la magia che utilizza digitando. L'esempio sul sito web mi lascia perplesso già notevolmente: type MyAPI = "date" :> Get '[JSON]

9calore

1risposta

Che cos'è un "server reale" per i web socket in Haskell?

La documentazione per Network.WebSockets.runServer dice: Si noti che questo è semplicemente previsto per applicazioni standalone rapide-e-sporca, per applicazioni reali, è necessario utilizzare un ser

6calore

1risposta

Haskell Errore: tipo variabile argomento non nel vincolo: Num (a -> A -> a -> a)

Sono nuovo di Haskell e sto cercando di eseguire il seguente codice di esempio dal mio libro: intero file: -- my name splitAt1 :: [a] -> ([a], [a]) splitAt1 xs = (take 2 xs, drop 2 xs) sto testan

6calore

2risposta

nubBy non funziona come previsto

La funzione seguente dovrebbe generare numeri primi tuttavia non per GHC 7.10.2. Qualcun altro sta vedendo questo? GHCi, version 7.10.2: http://www.haskell.org/ghc/ :? for help Prelude> import Data.L

14calore

1risposta

Come ottimizzare la garbage collection per un'applicazione soft real-time in Haskell?

Ho scritto un'applicazione soft in tempo reale in Haskell, che si occupa di fisica simulata, rilevamento di collisioni, tutte cose buone. Facendo tutto ciò alloco molta memoria, e potrei probabilmente

12calore

2risposta

Perché: k [False] genera un errore in GHCI?

Sono confuso circa l'errore che ho ricevuto al termine della sessione di seguito: $ ghci GHCi, version 7.10.2: http://www.haskell.org/ghc/ :? for help Ok, modules loaded: Main. *Main> :set -XDataKi

11calore

1risposta

Perché è >> = più veloce di concatMap quando dovrebbero essere la stessa cosa?

Ieri sera, stavo scrivendo un codice di ricreazione, e ad un certo punto ho sostituito uno concatMap con >>= e ho visto un aumento del ~ 10% nel mio codice. Ho avuto l'impressione che la definizione d

6calore

1risposta

capire la differenza tra due firme Haskell, uno che utilizza forall

In questo paper v'è una funzione con la seguente firma: vreplicate :: forall a n . SNatI n => a -> Vec a n Qual è la differenza tra questa firma e quello che non ha forall: vreplicate :: SNatI n =>

6calore

1risposta

Concatenato se/else staments nell'IO Monade

Mi chiedo se esiste un modo idiomatico di scrivere il codice di controllo simile alle dichiarazioni concatenate se/else in un linguaggio imperativo nell'IO Monade. Quindi, in un linguaggio come Python

9calore

3risposta

Metodi di concatenamento da sinistra a destra in Haskell (opposto a destra a sinistra)

Vengo dalla Scala. Così ho spesso fare cose come: println((1 to 10).filter(_ < 3).map(x => x*x)) In Haskell, dopo ho scoperto che posso liberarmi di tutte le parentesi nidificate utilizzando $ e .,