haskell

5calore

1risposta

Perché il tipo del mio tipo ha '-> Vincolo' alla fine?

Il tutorial Haskell sto leggendo ha una sezione che introduce le basi del tipo kinds, e descrive una classe di tipo class Tofu t where tofu :: j a -> t a j come avere il tipo * -> (* -> *) -> *

8calore

2risposta

Haskell enumerazione

Sto cercando di scrivere un'istanza di Enum per il seguente tipo: -- Type declarations: -- Octave data Octave = O1 | O2 | O3 deriving (Show, Read, Eq, Ord, Bounded, Enum) -- Note data

10calore

2risposta

Posso abbinare un carattere jolly del costruttore di dati in Haskell?

Ho data Foo = X (String, Int) | A String | B String | C String | D String -- ... e ho definito f (X (s, _)) =s f (A s) = s f (B s) = s f (C s) = s f (D s) = s -- ... ma preferirei essere in g

5calore

2risposta

Juicy Pixels si lamenta di non avere abbastanza memoria

$ ghci GHCi, version 7.10.1: http://www.haskell.org/ghc/ :? for help Prelude> import Codec.Picture Prelude Codec.Picture> Right pic <- readImage " smiley.bmp " <interactive>: out of memory (requ

10calore

2risposta

Haskell: come visualizzare correttamente una percentuale fino a due decimali?

In un programma, calcolo una percentuale e la stampo all'utente. Il problema è che la percentuale stampata è mostrata con troppi decimali. Ho cercato una funzione per risolvere questo problema, non l'

7calore

1risposta

comprensione comportamento Haskell/GHCI per la ricorsione

Sto cercando di dare un senso a ciò che sto vedendo con la seguente funzione. Non sono sicuro se la mia comprensione non è corretta o se questo è il comportamento specifico dell'implementazione di GHC

10calore

1risposta

Come posso ridurre l'ingombro sintattico quando taggano un albero polimorfico in Haskell?

Quindi voglio un tipo che rappresenti alberi contenenti un insieme di tipi di nodi. Mi piacerebbe anche i tipi che rappresentano un albero simile definito su insiemi sovrapposti. Questa è un'altra ver

5calore

2risposta

Come creare due ByteString chiamando questa API della libreria esterna?

Attualmente sto scrivendo attacchi a una libreria crittografica che espone una funzione per coppie di chiavi che generano: const size_t PUBLICKEYBYTES = 32; const size_t SECRETKEYBYTES = 32; int ran

5calore

1risposta

C'è un modo per "preservare" i risultati in Haskell?

Sono nuovo di Haskell e capisco che è (fondamentalmente) un linguaggio puramente funzionale, che ha il vantaggio che risulta che le funzioni non cambieranno in più valutazioni. Detto questo, sono perp

5calore

1risposta

GHC 7.10.2 tipo di estensione famiglie non funziona

che sto ricevendo parse error on input ‘where’ quando si cerca il seguente esempio in GHC 7.10.2: {-# LANGUAGE TypeFamilies #-} type family F a :: * type instance where F (Maybe Int) = Int