haskell

18calore

1risposta

Qual è il tipo di un catamorfismo (piega) per tipi ricorsivi non regolari?

Molti catamorfismi sembrano essere abbastanza semplici, sostituendo per lo più ogni costruttore di dati con una funzione personalizzata, ad es. data Bool = False | True foldBool :: r -- False cons

10calore

1risposta

Dove sono consentite le interruzioni di riga nelle espressioni Haskell?

Sfondo La maggior parte delle guide di stile raccomandano linea tenuta lunghezze o meno 79 caratteri. In Haskell, le regole di indentazione significano che spesso le espressioni devono essere spezzate

10calore

1risposta

Come posso utilizzare l'input multi-linea con QuickCheck in doctest?

Da Doctest's readme, si può usare doctest con QuickCheck, in questo modo: -- | -- prop> sort xs == (sort . sort) (xs :: [Int]) Vorrei descrivere questa struttura utilizzando più righe, probabilment

6calore

1risposta

In che modo Frege generalizza i numeri letterali?

Sembra che Frege può valutare 1/2 per restituire il valore doppio 0,5. Il valore letterale 1 è di tipo Int. Sembra essere promosso a Double, che è un tipo nella classe Real e quindi conosce l'operat

6calore

1risposta

Definizione di famiglie di tipi personalizzati rispetto al tipo Nat

Come si può definire un nuovo calcolo su tipi di tipi GHC.TypeLits.Nat? Spero di essere in grado di definire un tipo di famiglia type family WIDTH (n :: Nat) :: Nat tale che WIDTH 0 ~ 0 e WIDTH (n+1

9calore

2risposta

Come interrompere l'esecuzione in GHCI?

Quando lancio ghci> last [0..] posso interromperla con Ctrl + C. Tuttavia ghci> last (repeat 0) non può essere interrotto con Ctrl + C. GHCI ignora silenziosamente i tasti. Come interrompere quest

16calore

1risposta

Come ottenere più prestazioni dal differenziamento automatico?

Ho difficoltà a ottimizzare un programma che si basa sulla funzione conjugateGradientDescent s conjugateGradientDescent per la maggior parte del suo lavoro. Fondamentalmente il mio codice è una traduz

12calore

1risposta

Perché è f <$> g <$> x equivalente a (f g) <$> x sebbene <$> non sia associato al diritto?

Perché f <$> g <$> x equivale a (f . g) <$> x sebbene <$> non sia associato al diritto? (Questo tipo di equivalenza è valido in a popular idiom con piano $, ma attualmente $ è giusto-associativa!) <*>

7calore

1risposta

Usa il registro degli eventi come stato degli acidi in Haskell

Sto usando acid-state in un progetto e mi piace molto. Mi piace quanto sia facile aggiungere persistenza ai semplici tipi di dati Haskell senza molto standard. Per quanto ne so, lo stato acido mantien

5calore

2risposta

Come posso esprimere il tipo di "takeWhile per i vettori"?

Principiante Haskell qui. Ho definito i seguenti tipi: data Nat = Z | S Nat data Vector a n where Nil :: Vector a Z (:-) :: a -> Vector a n -> Vector a (S n) infixl 5 :- sto cercando di