Ho lavorato su progetti di Software-Defined Radio per quasi un anno. Questa è un'area che richiede un sacco di elaborazione del segnale (filtri digitali e FFT), teoria della comunicazione (modulazione, equalizzazione e sincronizzazione) e teoria...
Questa è una domanda imbarazzante di base, ma fino a poco tempo fa ho evitato di comprendere correttamente l'IO in Haskell e ora ho bisogno di farlo.
Sto scrivendo (con qualcun altro) un programma che prende come parte del suo input una libre...
Tutte le esercitazioni su GADT che ho visto (in Haskell, Coq e Idris) usano una stessa versione di un interprete ben tipizzato per mostrare come le GADT possono essere utili, in cui si utilizza l'indice di tipo per codificare il tipo di GADT ter...
In primo luogo, sono appena iniziato con la programmazione funzionale, quindi apprezzerei le correzioni in qualsiasi terminologia che potrei aver usato in modo errato.
Il tempo della storia, mentre facevo un Project Euler Problem 1 in Haskell...
In primo luogo, mi dispiace se quel titolo non ha senso. Sono un po 'fuori dalla mia profondità qui con la terminologia.
Quindi immagina che sto scrivendo un editor di testo in Haskell. Ai fini di questa domanda, consideriamo un editor di tes...
Sono nuovo di Haskell e non sono realmente venduto al costruttore Nothing . Sembra solo un altro fallimento silenzioso che creerà mal di testa lungo la linea. Sembra molto più utile lanciare un errore quindi avrò la minima idea di cosa sta s...
Sono un po 'confuso dalla scelta della sintassi Haskell per le definizioni dei tipi, come in
data Foo = Bar
Vale a dire: il segno di uguaglianza qui significa davvero un'eguaglianza in qualche senso sottile, o è solo una scelta casuale di n...
Le lingue complete di non turing possono risolvere ogni problema pratico che può avere una lingua completa. Inoltre, sono molto più analizzabili delle lingue complete di turing. Il compilatore può comprendere il programma nel suo complesso, pr...
Ho il seguente problema:
Ho un file di testo e devo leggerlo e dividerlo in righe.
Potrebbe essere necessario eliminare alcune righe (in base a criteri non risolti).
Le righe che non vengono rilasciate devono essere analizzate in alcuni...
Recentemente ho trovato uso per le seguenti funzioni di Haskell:
feed :: (a -> (a, b)) -> a -> Int -> (a, [b])
feed f input 0 = (input, [])
feed f input n
| n < 0 = error "feed f input n: n < 0"
| otherwise = (final, out:...