haskell

6calore

2risposta

Haskell esegue il debug di un'espressione lambda arbitraria

Ho un set di espressioni lambda che sto passando ad altri lambda. Tutti i lambda fanno affidamento solo sui loro argomenti, non chiamano nessuna funzione esterna. Certo, a volte diventa abbastanza con

debugging haskell lambda 2015-09-07

---

8calore

1risposta

Come scrivere un bus eventi in Haskell?

Sto lottando con un problema di progettazione in Haskell che non riesco a risolvere in modo elegante e soddisfacente. Dispongo di un sistema che si basa sul concetto di origine evento : lo stato del s

haskell types event-sourcing 2015-09-07

---

7calore

1risposta

Uso della sintassi dell'aggiornamento del record con record GADT vincolati

Mi sono imbattuto nel seguente piccolo problema. Sto usando la sintassi record di Haskell, insieme a GADTs: {-# LANGUAGE GADTs #-} data Test a where Test :: {someString :: String, someData :: a

haskell record typeclass gadt 2015-09-07

---

5calore

3risposta

Funzioni di concatenamento di tipo IO (Forse a)

Sto scrivendo una piccola libreria per l'interazione con alcune API esterne. Un insieme di funzioni costruisce una richiesta valida per l'API di yahoo e analizza il risultato in un tipo di dati. Un al

haskell 2015-09-07

---

11calore

2risposta

In GHC.TypeLits a cosa serve NaNVal (cosa che non è possibile raggiungere con natVal)?

Sto cercando di capire GHC.TypeLits e in particolare someNatVal. Capisco il modo in cui è usato in questo blog post here, ma come detto lo stesso esempio avrebbe potuto essere implementato utilizzando

haskell types numbers type-level-computation 2015-09-08

---

8calore

3risposta

Haskell Idioma applicativo?

Sono nuovo di Haskell e sono sconcertante su come esprimere al meglio alcune operazioni nel modo più idiomatico e chiaro. Attualmente (ce ne saranno altri a venire) Sono sconcertante su <*> (non sono

haskell idioms 2015-09-09

---

5calore

1risposta

Come passare gli argomenti della riga di comando per impilare exec

Sto costruendo un programma Haskell che utilizza un parser di argomenti della riga di comando usando la libreria di opzioni-applicative. Dal momento che sto usando stack per costruire e testare il mio

haskell haskell-stack 2015-09-09

---

5calore

1risposta

Overflow di heap in Haskell

Viene visualizzato il messaggio Heap exhausted durante l'esecuzione del seguente breve programma Haskell su un set di dati sufficientemente grande. Ad esempio, il programma non riesce (con overflow di

haskell overflow heap lazy-evaluation strict 2015-09-11

---

5calore

2risposta

Memoizing una funzione effectful

ho iniziato a lavorare su un progetto che definisce un automa cellulare come una funzione di transizione locale: newtype Cellular g a = Cellular { delta :: (g -> a) -> a } Ogni volta g è un Monoid,

haskell memoization unsafe-perform-io 2015-09-11

---

7calore

3risposta

Come mappare (O String (a -> b)) a (O String [(a -> b)])

cerco di trovare una soluzione su un esercizio di mio, con i seguenti requisiti: Abbiamo bisogno di spostare un oggetto contro una determinata sequenza. Una sequenza è composta da azioni. Qui sono pos

haskell monads either 2015-09-11

---