haskell

6calore

1risposta

Nella libreria hybrid-vectors di Edward Kmett sono presenti due moduli principali: Data.Vector.Hybrid e Data.Vector.Mixed. C'è uno big article scritto sulla motivazione dietro il primo. Quest'ultimo è

9calore

1risposta

Exit tranquillamente (senza eccezioni) Haskell

so che exitWith ExitSuccess esce dal programma, ma emette *** Exception: ExitSuccess Sono voler sapere se c'è modo di uscire senza emettere nulla sullo schermo?

13calore

1risposta

Perché non c'è modo di derivare i Functional Applicativi in Haskell?

In Haskell, è possibile derivare Functor, Foldable e Traversable automaticamente utilizzando deriving. Non c'è modo di derivare Applicative, però. Considerando che esiste un modo ovvio per definire un

5calore

1risposta

Come derivare genericamente Additivo su Haskell, senza definire un'istanza Applicativa?

Dato un tipo, esiste un solo modo ovvio per implementare un'istanza Additive, dalla libreria Lineare, ad essa. Convenientemente, Additive ha un'implementazione generica, quindi possiamo usare deriving

8calore

4risposta

Dove e perché dovrei usare schemi extra vuoti?

Per esempio: intersectBy : (a -> a -> Bool) -> List a -> List a -> List a intersectBy _ [] _ = [] intersectBy _ _ [] = [] intersectBy eq xs ys = [x | x <- xs, any (eq x) ys] Ci sono modelli aggi

14calore

1risposta

Come digitare controllare le definizioni ricorsive usando Algoritmo W?

Io sono l'attuazione Algorithm W (la Hindley-Milner type system) in JavaScript: La funzione che implementa le regole di cui sopra è typecheck ed ha la seguente firma: typecheck :: (Context, Expr) -> M

8calore

1risposta

Esiste una ricerca parallela in Haskell?

Ho una sorta di problema di forza bruta che mi piace risolvere in Haskell. La mia macchina ha 16 core quindi voglio accelerare un po 'il mio attuale algoritmo. Ho un metodo "tryCombination" che restit

8calore

2risposta

pacchetti Haskell - albero delle dipendenze

in Java - maven strumento di compilazione, è possibile stampare un albero di dipendenze per qualsiasi package/project utilizzando il comando, mvn dependency:tree -Dverbose -Dincludes=commons-collectio

9calore

2risposta

Elenchi di lunghezza fissa e letterali tipo

Sto provando a definire un tipo per gli elenchi di lunghezza fissa in Haskell. Quando uso il modo standard per codificare i numeri naturali come tipi in unario, tutto funziona correttamente. Tuttavia,

7calore

3risposta

Devo implementare Applicative e Functor per implementare una Monad

Sto tentando di implementare un'istanza Monad. Come esempio più semplice, assumere i seguenti: data Maybee a = Notheeng | Juust a instance Monad Maybee where return x = Juust x Notheeng >>