haskell

6calore

1risposta

Perché takeR, dropR e splitAtR mancano da Data.Sequence?

Data.Sequence ha takeWhileR e dropWhileR per la decostruzione efficiente di Seq da destra. Tuttavia, takeR, dropR e splitAtR sono assenti. take e drop sono implementati in termini di splitAt. Quindi,

6calore

3risposta

Haskell do clausola con più tipi di monade

Sto utilizzando una libreria grafica in Haskell chiamata Threepenny-GUI. In questa libreria la funzione principale restituisce un oggetto monad UI. Questo mi causa molto mal di testa come quando tento

10calore

1risposta

Come posso esprimere foldr in termini di foldMap per le sequenze allineate al testo?

Sto giocando con type-aligned sequences, e in particolare sto scherzando con l'idea di piegarli. Una sequenza di tipo allineato pieghevole simile a questa: class FoldableTA fm where foldMapTA ::

6calore

2risposta

Perché questo programma Haskell perde spazio quando compilato con ottimizzazioni?

Si consideri il seguente programma giocattolo che calcola tutte le combinazioni di sostituzioni di caratteri in una parola, del tipo spesso utilizzato nelle password. import Data.Char (isLower, toUppe

8calore

1risposta

Compilatori di tipi come funzioni

Recentemente mi sono imbattuto in una situazione in cui volevo essere in grado di comporre costruttori di tipi in una dichiarazione di istanza. Mi sarebbe piaciuto fare questo: instance (SomeClass t,

7calore

1risposta

Servire file statici con Servant/Wai

Sto seguendo questo tutorial http://www.parsonsmatt.org/programming/2015/06/07/servant-persistent.html per creare API tramite servant. Voglio personalizzare il server per servire anche i file statici,

37calore

3risposta

Come installare un pacchetto usando lo stack?

Utilizzando cabala, ho potuto installare hakyll con il comando: cabal install hakyll Come posso fare la stessa cosa usando pila?

9calore

1risposta

Posso riflettere i messaggi di un programma Haskell in fase di runtime?

Sto scrivendo un programma che convalida una complessa struttura di dati in base a una serie di regole complesse. Inserisce i dati e genera un elenco di messaggi che indicano problemi con i dati. pens

10calore

1risposta

Qual è il costrutto $()?

ho cercato di trovare nel Haskell riferimento l'uso di questo: getHomeR = defaultLayout $ do setTitle "My Awesome Site" $(widgetFile "home") In particolare: $(widgetFile "home") So che l

18calore

2risposta

GHC crea una nuova copia di un oggetto quando lo decostruisce e lo ricostruisce?

Se ho un tipo come data T = T Int String e una funzione in questo modo: identity :: T -> T identity (T a b) = T a b Dopo la decostruzione nel pattern matching, fa GHC creare un nuovo oggetto T che