haskell

15calore

1risposta

ho messo queste definizioni in un file: x = 'a' : 'b' : 'c' : [] y = ['a', 'b', 'c'] (E 'importante definire quelle di un file, non in GHCi, perché in quest'ultimo caso le cose diventano molto più

6calore

1risposta

Come risolvere perdita di spazio causata dalla pigrizia, quando il vostro algoritmo si basa su pigrizia

ho qualche algoritmo che genera un albero di ricerca: data SearchTree a = Solution a | Contradiction | Search [ SearchTree a ] deriving (Show, Functor) L'algoritmo genera questo albero pigramen

12calore

2risposta

Creazione efficiente di stringhe Byte

Recentemente, dopo aver eseguito benchmark sul mio progetto, ho scoperto che la costruzione diretta di stretti bytestrings può essere un ordine di grandezza più veloce di quella che coinvolge un costr

5calore

4risposta

Parsec.Expr ripetuto prefisso con priorità differenti

La documentazione per Parsec.Expr.buildExpressionParser dice: prefisso e suffisso operatori con la stessa precedenza può avvenire solo una volta (cioè --2 non è consentito se - è prefisso negato). Tut

11calore

3risposta

Versione Haskell di Idris! -notazione (notazione bang)

Ultimamente ho avuto il lusso di imparare un po 'di Idris e una cosa che ho trovato estremamente comoda è la! -notation, che mi permette di accorciare il codice monadico all'interno di un non bloccare

7calore

2risposta

Generalizzazione schemi di ricorsione di `code '

Ho una struttura in stile schema di ricorsione e vorrei ottenere un elenco di tutte le sottostrutture inclusa la struttura completa, ovvero l'equivalente di ciò che fa la funzione tails su un List . P

6calore

1risposta

Reactive Banana 1.0.0 - Perché questo vecchio codice si rompe?

Ecco il codice che utilizzate per lavorare (troncato in modo appropriato spero) makeNetworkDescription :: forall t . Frameworks t => Parameters -> Moment t() makeNetworkDescription params = do e

8calore

3risposta

Esiste un modo efficace per convertire un numero unario in un numero binario?

lasciare che quei tipi di dati rappresentano numeri naturali unarie e binari rispettivamente: data UNat = Succ UNat | Zero data BNat = One BNat | Zero BNat | End u0 = Zero u1 = Succ Zero u2 = Suc

7calore

1risposta

Come mai "Effect" sigilla solo due in-flussi, invece di tutti i flussi?

Questo è lo schema di Effect fornito nel tutorial ufficiale del pacchetto pipes. type Effect = Proxy X()() X Upstream | Downstream +---------+ | | X <== <==() | | () ==> =

8calore

1risposta

Errore GHC Linker (stack)

Sono un po 'un principiante in Haskell e sto provando stack per creare un'applicazione. Tuttavia, stack build mi dà errori di linker quando eseguito: Linking .stack-work/dist/x86_64-linux/Cabal-1.22.4