haskell

6calore

1risposta

Esiste una funzione standard Haskell che prepone un parametro aggiuntivo a una funzione

Ho una funzione a->b che deve essere passata a qualcosa della firma (c->a->b). Non mi interessa il c lo ignorerò. Esiste una funzione standard che prepone parametri inutili: (a->b) -> (c->a->b)?

12calore

1risposta

La corrispondenza del modello è più performante rispetto alle guardie?

Ultimamente ho letto da qualche parte che la corrispondenza del modello avviene durante l'esecuzione e non in fase di compilazione. (Sto cercando la fonte, ma non la trovo al momento.) È vero? E se sì

10calore

2risposta

where clauses in list comprehensions

Qual è la differenza tra le seguenti due formule? cp [] = [[]] cp (xs:xss) = [x:ys | x <- xs, ys <- cp xss] ---------------------------------------------- cp [] = [[]] cp (xs:xss) = [x:ys | x <- x

11calore

1risposta

Compatibilità binaria Haskell

Diciamo che scrivo un codice Haskell e lo compili in un'installazione Ubuntu a 64 bit, collegando staticamente tutti i pacchetti Haskell e le librerie c. Il risultato sarebbe compatibile binario con q

15calore

1risposta

Perché non è `parte join` del` Monad` classe

E 'un fatto ben noto che (>>=) può essere implementato utilizzando fmap e join mentre join può essere implementato usando >>=. C'è qualche ragione per cui non definiamo la classe Monad con join inclus

6calore

1risposta

Utilizzo di pipe per leggere e scrivere dati binari in Haskell

Sto provando a leggere e scrivere moltissimi ints nella memoria costante. Ho capito come scrivere gli interi in memoria, ma non ho capito come leggerli. import Control.Lens (zoom) import System.IO (I

8calore

2risposta

Apprendimento dai pacchetti Haskell

Quindi ho installato pacchetti in Haskell con Cabal. Non riesco a vedere alcuna documentazione per la maggior parte di questi (in generale), e mi è stato detto che uno dei modi migliori per imparare h

5calore

1risposta

Come possono essere nascosti i pacchetti quando si utilizza solo lo stack?

Mi piacerebbe provare la monade Writer in ghci. Come consigliato here, ho provato a utilizzare solo lo stack per gestire GHC e pacchetti ed evitare un'installazione globale. Da una nuova Ubuntu 15.04

6calore

1risposta

Perché Idris non accetta la mia piega personalizzata?

Ecco un vettore i cui elementi sono indicizzati dalla lunghezza del vettore. data IxVect : (n : Nat) -> (a : Nat -> Type) -> Type where Nil : IxVect 0 a (::) : a n -> IxVect n a -> IxVect (S

5calore

1risposta

RankNTypes e l'operatore punto

Quando utilizzo RankNTypes, sembra che l'operatore (.) Non funzioni correttamente. Dove è documentata questa limitazione? {-# LANGUAGE RankNTypes, ImpredicativeTypes #-} f :: Int -> (forall r. r ->