haskell

5calore

2risposta

Denominazione dei conflitti tra i valori dei campi e l'ambito locale in Haskell

Questa è una domanda di stile di codifica piuttosto che una tecnica. Ho riscontrato spesso un problema in cui utilizzo la sintassi del record (meno che ottimale) di haskell (o gli obiettivi, il proble

8calore

1risposta

Piccola perdita CPU Haskell

Sto riscontrando piccole perdite di CPU utilizzando GHC 7.8.3 e Yesod 1.4.9. Quando eseguo il mio sito con time e lo interrompo (Ctrl + C) dopo 1 minuto senza fare nulla (basta eseguire, nessuna richi

5calore

4risposta

Pezzi nidificatiDi Haskell?

dire che io voglio fare questo: nestedChunksOf [3, 2] [1,1,1,2,2,2,3,3,3,4,4,4] == [[[1,1,1], [2,2,2]], [[3,3,3], [4,4,4]]] In Python, posso fare questo def group(a, *ns): for n in ns: a

7calore

1risposta

GHC per thread Strategia GC

Ho un server API Scotty che costruisce una query Elasticsearch, recupera i risultati da ES e esegue il rendering del json. In confronto ad altri server come Phoenix e Gin, sto diventando più elevato u

9calore

2risposta

Conversione di un AST non tipizzata per un semplice linguaggio digitato in un GADT

8calore

1risposta

È sicuro utilizzare la traccia all'interno di una stransazione STM?

Ho una transazione che non funziona a tempo indeterminato per qualche motivo, e mi piacerebbe utilizzare le istruzioni di tracciamento all'interno. Ad esempio, per stampare lo stato della MVAR della p

13calore

1risposta

Haskell: le variabili di tipo possono essere utilizzate all'interno della definizione della funzione?

Ho un problema relativo al sistema di tipo Haskell. Questa non è la prima volta che ho riscontrato i limiti del sistema di tipi. Ometterò i dettagli del mio progetto e utilizzerò un esempio semplifica

5calore

1risposta

Esiste un termine non ricorsivo che si ripiega su un elenco codificato in scott?

Supponiamo che ho una lista scott-encoded come ad esempio: scott = (\ c n -> c 1 (\ c n -> c 2 (\ c n -> c 3 (\ c n -> n)))) Voglio una funzione che riceve questo tipo di lista e lo converte in un e

6calore

2risposta

Tipo costruttore come ritorno Tipo

In Scala, posso definire un Algebraic Data Type: scala> sealed trait Maybe[A] defined trait Maybe scala> case class Just[A](x: A) extends Maybe[A] defined class Just scala> case object NothingHe

8calore

2risposta

Haskell esegue automaticamente le ottimizzazioni SIMD?

È possibile scrivere una libreria vettoriale basata su SIMD in Haskell usando https://hackage.haskell.org/package/ghc-prim-0.4.0.0/docs/GHC-Prim.html#g:28 ma avrà senso? Mi sono imbattuto in numerosi