haskell

5calore

1risposta

Implementazione di una lingua in Haskell: liste omogenee

Sto cercando di creare un interprete per un linguaggio funzionale in haskell (sono nuovo nella lingua). Sto creando quello che probabilmente è un mix strano di minimalismo e convenienza - nessun tipo

5calore

1risposta

Come trovare i metadati mp4 con ffmpeg-light in haskell?

Sto utilizzando ffmpeg-light, JuicyPixels e gloss per visualizzare un video con Haskell. Voglio trovare i metadati dei video che sto riproducendo automaticamente, ma non ho ancora trovato il modo di f

9calore

2risposta

Singletons in liste eterogenee

Mi piacerebbe scrivere una funzione che analizzi una lista eterogenea. Per amor di discussione, diamo il seguente data Rec rs where Nil :: Rec '[] Cons :: ty -> Rec rs -> Rec ('(name, ty) ':

5calore

1risposta

'ExceptT ResourceT' vs 'ResourceT ExceptT'

Real World Haskell afferma che "Transformer stacking order is important". Tuttavia, non riesco a capire se c'è una differenza tra ExceptT (ResourceT m) a e ResourceT (ExceptT m) a. Interferiranno l'un

5calore

1risposta

Control.Lens: Traversal isomorfismo per toListOf e più

ho visto parlare Simon Peyton Jones' su Control.Lens, e ha dimostrato che Lens e LensR come definiti qui sono isomorfi: type Lens s t a b = forall f. Functor f => (a -> f b) -> s -> f t data LensR s

16calore

1risposta

Quali sono iperfunzionamenti nel contesto dell'informatica?

In Arrows: A General Interface to Computation Ho trovato questa breve osservazione sulla iperfunzioni: Il tipo di dati strano newtype Hyper b c = H (Hyper c b -> c) può dimostrare di essere una frec

6calore

2risposta

Tipo di f g x = g. gx

Non mi è chiaro il motivo per cui la funzione definita come f g x = g . g x ha il tipo f :: (b -> a -> b) -> b -> a -> a -> b avrei pensato che sarebbe stato di tipo f :: (t -> t) -> t -> t Qual

5calore

1risposta

Profiling/Migliorare l'utilizzo di memoria e/o il tempo di GC

originale Sto cercando di aggregare un file CSV e sperimentare [quello che io ritengo essere] l'utilizzo eccessivo di memoria e/o di sforzo GC. Il problema sembra sorgere quando aumenta il numero di g

9calore

1risposta

Prolog ha un alias "operatore" come Haskell?

In Haskell, esiste una funzione di linguaggio chiamata "as" -operator (talvolta noto come alias). L'idea è la seguente: proposta si ha una funzione che ad esempio prende in input una lista e vuole tor

10calore

2risposta

Utilizzo dell'obiettivo per aggiungere chiave e valore a una mappa nidificata

Sto cercando di capire un problema con la manipolazione di JSON con obiettivi Aeson. Il mio compito è tanto semplice quanto aggiungere una chiave a un oggetto nidificato in JSON. Sono stato in grado d