haskell

15calore

3risposta

C'è qualcosa nella clausola 'where' in Haskell calcolato solo una volta?

Quando ho il seguente codice: func n = m ++ [1] ++ m ++ [0] ++ m where m = func2 n Quante volte è la funzione func2 chiamato? Solo una volta, nella clausola where? O è solo calcolato di nuovo o

6calore

3risposta

È possibile che due diversi typeclass abbiano gli stessi nomi di metodo?

Supponiamo che io sono class Foo a where (++=) :: a -> a -> a cool :: (a -> b -> b) -> a -> b e vuole fare class Bar a where (++=) :: (a -> b) -> a -> b magic :: a -> b che ha

7calore

2risposta

Haskell: Specificare vincoli di uguale lunghezza delle liste nel sistema tipo

In Haskell, mi hanno spesso una funzione come f, che accetta una lista e restituisce una lista di uguale lunghezza: f :: [a] -> [a] -- length f(xs) == length xs Allo stesso modo, potrei avere una fu

16calore

1risposta

Come faccio a dimostrare che un tipo Haskell è abitato da una sola funzione?

In this answer, Gabriel Gonzalez mostra come mostrare che id è l'unico abitante di forall a. a -> a. Per fare ciò (nella più formale iterazione della dimostrazione), mostra che il tipo è isomorfo su (

8calore

1risposta

È possibile eseguire il debug degli script Turtle (equivalente al flag "-x" in bash)?

Ho recentemente iniziato a utilizzare la libreria Haskell Turtle per sostituire alcuni dei miei script di shell. C'è un modo per abilitare in qualche modo l'eco dei comandi di Turtle incorporati (come

6calore

5risposta

Comportamento della retromarcia >> = (==)

Una funzione per determinare se una stringa è palindroma può essere implementato in modo applicativo pointfree via pal1 = (==) <$> reverse <*> id Ed ecco una versione monadic reverse >>= (==) Come

6calore

4risposta

Portando il tipo di funzione dipendono ingresso

Quindi notato che dopo n = 20 la funzione fattoriale data a LearnYouAHaskell (sotto) craps fuori a causa della gamma lavoro finito di tipo Int. factorial :: Int -> Int factorial 0 = 1 factorial n *

6calore

2risposta

In banana reattiva, è sicuro attivare azioni del gestore da più thread?

E 'sicuro per far scattare l'azione del fuoco in (addHandler, fire) <- newAddHandler da un thread diverso da cui è stato compilato il grafico reattivo-banane?

5calore

2risposta

Problema di prestazioni di allocazione della memoria di Haskell FFI

Sto utilizzando un FFI in C per inviare quantità di dati medio-grandi (~ 100 MB) a un programma C: solo un elenco di stringhe. Tuttavia, tutti i metodi che ho usato sembrano richiedere una quantità di

7calore

2risposta

Ricreazione di `apply` di Lisp in Haskell tramite GADT

Come esercizio sto cercando di ricreare il apply di Lisp in Haskell. Non intendo usarlo per qualsiasi scopo pratico, penso solo che sia una buona opportunità per acquisire familiarità con il sistema d