fold

5calore

1risposta

Ordina più velocemente nel racket utilizzando tabella hash

Così ho una lista esempio di elementi come questo (define A (list 'a 'c 'd 'e 'f 'e 'a)) Ora voglio fare una classifica da questo campione (define (scan lst) (foldl (lambda (element a-hash) (ha

13calore

2risposta

Intestazione comprimibile in Markdown to html

Il wiki interno di git-lab funziona con Markdown. Ho fatto diversi riepiloghi di articoli e voglio postarli nella nostra wiki, in modo tale che se faccio clic sull'intestazione, dovrebbe svolgersi e i

6calore

1risposta

Perché Idris non accetta la mia piega personalizzata?

Ecco un vettore i cui elementi sono indicizzati dalla lunghezza del vettore. data IxVect : (n : Nat) -> (a : Nat -> Type) -> Type where Nil : IxVect 0 a (::) : a n -> IxVect n a -> IxVect (S

5calore

2risposta

C++ 17: cosa significa "operatore con precedenza sotto cast" nel concetto di "piega"?

Il sito di http://en.cppreference.com/w/cpp/language/fold dà un esempio di come utilizzare il concetto piega, e dice: Come non madrelingua inglese, non smettere di prendere la frase: has an operator w

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

7calore

2risposta

Esempio di funzione ricorsiva Haskell con foldr

Ho ripreso l'apprendimento di Haskell, dopo una breve interruzione e attualmente sto cercando di capire meglio come funzionano le espressioni di ricorsione e lambda in Haskell. In questo: YouTube vide

8calore

2risposta

funzione Haskell per la lunghezza lista

Per calcolare la lunghezza di una lista, utilizzando un foldr, si potrebbe fare qualcosa di simile: foldr (\_ acc -> acc + 1) 0 espandere ulteriormente l'idea che la funzione di ripiegamento ha biso

22calore

3risposta

Esistono istanze pieghevoli o percorribili non banali che non sembrano contenitori?

Ci sono molti funtori che sembrano contenitori (elenchi, sequenze, mappe, ecc.) E molti altri che non lo fanno (trasformatori di stato, IO, parser, ecc.). Non ho ancora visto istanze non banali Foldab

6calore

1risposta

Proprio quando non sono sicuri, #., E. # Non sicuri?

unsafeVacuous in Data.Void.Unsafe e .# e #. in Data.Profunctor.Unsafe entrambi avvertono sui pericoli dell'utilizzo di quelle funzioni con funtori/profuncatori che sono GADT. Alcuni esempi pericolosi

11calore

3risposta

Lista di opzioni a scomparsa

Dato un elenco [Some 1; Some 2; Some 3] Desidero un'uscita Some 6. Dato un elenco [Some 1; None] dovrebbe produrre None. Ma lo trovo un po 'più difficile di quanto avessi immaginato di ottenere in mod