haskell

5calore

2risposta

Combina funzioni a una funzione che restituisce una tupla

C'è una funzione nella libreria standard Haskell che prende due funzioni e restituisce una funzione che restituirà i risultati di entrambe queste funzioni in una tupla, qualcosa di simile: (><) :: (a

12calore

3risposta

C'è un modo per concatenare funzioni come conCString?

C'è un modo per concatenare funzioni come withCString? Con ciò intendo qualsiasi funzione che assomigli a qualcosa come f :: Foo -> (CFoo -> IO a) -> IO a. Ad esempio, consente di dire v'è una funzion

6calore

1risposta

Come disambiguare la funzione selettore?

In GHC 8: {-# LANGUAGE DuplicateRecordFields #-} data Dog = Dog { name::String } data Human = Human { name::String } dog = Dog "Spike" main = putStrLn $ name dog Questo codice non può essere

14calore

4risposta

comprensione Tipo di IO() in `let` Espressione

Dato: λ: let f = putStrLn "foo" in 42 42 Qual è il tipo f s'? Perché lo "foo" non viene stampato prima di mostrare il risultato di 42? Infine, perché il seguente lavoro non funziona? λ: :t f <int

6calore

1risposta

Come foldMap può fare lo stesso di foldr quando quest'ultimo non ha nulla a che fare con i monoidi?

foldr e foldMap possono essere utilizzati per definirsi a vicenda come ho capito. Ma com'è possibile, visto che quest'ultimo usa i monoidi, mentre il primo no? Abbiamo qualche garanzia che le cose su

49calore

3risposta

Perché la versione F # di questo programma è 6 volte più veloce di quella Haskell?

versione Haskell (1.03s): module Main where import qualified Data.Text as T import qualified Data.Text.IO as TIO import Control.Monad import Control.Applicative ((<$>)) import

14calore

2risposta

Esiste un modo stabilito per scrivere parser in grado di ricostruire il loro input esatto?

Dire che voglio analizzare un file in lingua X. Davvero, mi interessa solo una piccola parte delle informazioni all'interno. È abbastanza facile scrivere un parser in uno dei numerosi eDSL di Haskell

11calore

2risposta

La monade IO impedisce il cortocircuito della mappaM incorporata?

In qualche modo mistificato dal seguente codice. Nella versione non-giocattolo del problema sto provando a fare un calcolo monadico in un risultato monad, i cui valori possono essere costruiti solo da

7calore

1risposta

Vincoli nelle istanze di tipo famiglia

Sto esplorando famiglie di tipi in Haskell, cercando di stabilire la complessità delle funzioni a livello di tipo che posso definire. Voglio definire una versione chiusa tipo a livello di mod, qualcos

9calore

3risposta

Qual è la differenza tra polimorfismo e sovraccarico?

Capisco il polimorfismo e comprendo vagamente il sovraccarico, ma apprezzerei qualcuno che comprendesse completamente due concetti per spiegare qual è la differenza categoriale e se il sovraccarico si