strictness

9calore

1risposta

FMAP Strict utilizzando solo Functor, non Monade

Un'irritazione con lazy IO catturato la mia attenzione di recente import System.IO import Control.Applicative main = withFile "test.txt" ReadMode getLines >>= mapM_ putStrLn where getLines h =

9calore

1risposta

ricorsione infinita durante l'enumerazione di tutti i valori di un'istanza generico

Per another answer mio, ho scritto il seguente codice, fornendo diagonally traversedUniverse casi per enumerabili Generic s (è un po 'aggiornato dalla versione lì, ma utilizza la stessa logica): {-# L

10calore

1risposta

Dove possono apparire i BangPatterns

Da GHC user guide sembra che la maggior parte Pat può essere PBangPat, ma ci sono alcune eccezioni. per esempio. i colpi di livello superiore in un modulo (come !main) non sono consentiti e x : !xs no

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

23calore

3risposta

Qual è la relazione tra tipi non chiusi e rigore?

I tipi non condivisi, come Int#, e le funzioni rigorose, come f (!x) = ..., sono qualcosa di diverso, ma vedo una somiglianza concettuale - in qualche modo impediscono i thunk/la pigrizia. Se Haskell