haskell

9calore

1risposta

Replicare l'indicizzazione/segmentazione avanzata di Numpy in Haskell

Numpy ha una sofisticata funzionalità di indicizzazione/slicing/stepping nel proprio operatore di accesso agli array. Vedi questo: http://docs.scipy.org/doc/numpy/reference/arrays.indexing.html Durant

7calore

1risposta

Esaminando la struttura di legame in una monade libera AST

Prendi questo semplice funtore base e altri macchinari per una monade libero con termini vincolanti: {-# LANGUAGE DeriveFunctor #-} import Control.Monad.Free data ProgF r = FooF (Double -> r)

17calore

1risposta

Come mai Haskell ha rilevato un errore di segmentazione quando il vettore è molto grande ma sotto il limite di memoria?

Volevo scrivere un programma che funzioni su un array molto grande e che faccia molte operazioni di lettura/scrittura ad accesso casuale. Ho pensato vector è il modo più adatto di farlo in Haskell, co

9calore

1risposta

Stack (Haskell) getta TlsException in Windows

Stack (in Windows) a volte getta la seguente eccezione quando si tenta di scaricare i file (ad esempio, durante stack setup o durante il download di un piano di accumulo): TlsException (HandshakeFaile

8calore

2risposta

Parametri di tipo multiplo in classe tipo?

Assumiamo Ho una classe di tipo Stack con un'istanza List: class Stack a where push :: a -> Integer -> a pop :: a -> a last :: a -> Integer data List = Empty | Element Integer List i

7calore

1risposta

Rimozione della ricorsione sinistra in un parser di espressioni di base

Come esercizio, sto implementando un parser per un linguaggio estremamente semplice definito in Haskell utilizzando il seguente GADT (la grammatica reale per il mio progetto implica molte più espressi

10calore

1risposta

Come provare la doppia negazione per i booleani di livello testo?

Ho il seguente modulo: {-# LANGUAGE DataKinds, KindSignatures, TypeFamilies, RoleAnnotations #-} module Main where import Data.Coerce (coerce) -- logical negation for type level booleans type fa

143calore

2risposta

GHC-mod deve utilizzare nomi completi per i tipi?

sto cercando di utilizzare il plugin ghc-mod vim per farlo tipo/controllo della sintassi, ecc Tuttavia, ho trovato che ghc-mod utilizza sempre percorsi completi di tipi nei messaggi di errore, ad esem

12calore

2risposta

Quali sono i metodi più avanzati per la risoluzione di equazioni funzionali?

Si supponga di voler trovare un programma λ-calcolo, T, che soddisfa le seguenti equazioni: (T (λ f x . x)) = (λ a t . a) (T (λ f x . (f x))) = (λ a t . (t a)) (T (λ f x . (f (f x)))) = (λ a b t

5calore

1risposta

Come posso convertire un testo in un generatore di test?

Il pacchetto blaze-builder fornisce un modulo .Char.Utf8 che comprende fromText e fromLazyText per convertire efficacemente un valore dal pacchetto testo in un valore blaze-builderBuilder. Con la nuov