haskell

5calore

2risposta

In Scala, c'è un equivalente di Haskell "fromListWith" per Map?

In Haskell, c'è una funzione chiamata fromListWith che può generare una mappa da una funzione (utilizzato per unire valori con la stessa chiave) e un elenco: fromListWith :: Ord k => (a -> a -> a) ->

7calore

1risposta

XhrRequest con reflex/reflex-dom

Desidero eseguire una richiesta Ajax di base, tutto qui. Io uso reflex per il frontend e Scotty per il backend. La Web Console di Firefox mi dice che la richiesta è stata un successo e vedo i risultat

9calore

1risposta

Il tipo letterale in Haskell

Come so, il -> ha tipo *->*->*, e il ((->) r) ha tipo *->*. Supponendo che esista un tipo (a->b->c), esiste un modo per rappresentare lo (a->b->)? Ho provato ((->) a ((->) b)) ma è un errore. ho prova

19calore

2risposta

La capacità di rilevare elenchi ciclici in Haskell interromperà qualsiasi proprietà della lingua?

In Haskell, alcune liste sono ciclici: ones = 1 : ones Altri non sono: nums = [1..] E poi ci sono cose come questa: more_ones = f 1 where f x = x : f x Questo indica lo stesso valore di ones e c

6calore

1risposta

Questo comportamento atteso di Template Haskell?

Chiunque può dire il motivo per cui questo codice non viene compilato data A = A { _b :: B } makeLenses ''A type B = String con il messaggio Not in scope: type constructor or class B e qu

8calore

1risposta

Che diamine è "- <", comunque?

L'altro giorno mi sono imbattuto in un operatore, -<, che appare nel contesto del collegamento di un valore a una variabile in una monade; in particolare, sembra che questo passi un valore a una funzi

8calore

2risposta

Perché non c'è un tratto "Functor" in Scala?

In Scala, le classi generiche come Future, Option e List hanno tutti i metodi map e flatMap. Come ho capito, tutti loro sono come Functors in Haskell. Mi stavo chiedendo perché non v'è un tratto (inte

6calore

1risposta

Utilizzare un obiettivo per sostituire un elemento specifico di un elenco (chiave, valore)

Desidero utilizzare Kmett's lens library per accedere a un elemento di un elenco (chiave, valore) sotto una chiave specifica. In altre parole, vorrei sostituire questo codice con qualcosa di più idiom

5calore

3risposta

Implementare il backtracking su Haskell

Ho un problema nel fare Backtracking su Haskell, so come eseguire le funzioni ricorsive ma ho problemi quando cerco di ottenere più soluzioni o la migliore (backtracking). C'è una lista con alcune str

16calore

1risposta

Coercible con GHC 7.10

Il seguente codice funziona in GHC 7.8.4: import Data.Coerce coerceNewtype :: (Coercible (o r) (n m' r)) => [o r] -> [n m' r] coerceNewtype = coerce ma in 7.10 ottengo l'errore: Couldn't match rep