Programmazione haskell

2

Combinazione di frammenti di codice Haskell per ottenere un quadro più ampio

Questo è il codice che ho trovato da qualche parte, ma voglio sapere come funziona: findIndices :: (a -> Bool) -> [a] -> [Int] findIndices _ [] = [] findIndices pred xs = map fst (filter (pred . snd) (zip [0..] xs)) Output: findIndices (== 0) [1,2,0,3,0]==[2,4] , dove predè …

12 haskell composition higher-order-functions function-composition pointfree

1

Strano comportamento di (^) in Haskell

Perché GHCi fornisce una risposta errata di seguito? GHCi λ> ((-20.24373193905347)^12)^2 - ((-20.24373193905347)^24) 4.503599627370496e15 python3 >>> ((-20.24373193905347)**12)**2 - ((-20.24373193905347)**24) 0.0 AGGIORNAMENTO Vorrei implementare la funzione di Haskell (^) come segue. powerXY :: Double -> Int -> Double powerXY x 0 = 1 powerXY x y | y < 0 = …

12 haskell floating-point ghc ghci

1

Quali sono le regole su una funzione a -> () in fase di valutazione in Haskell?

Proprio come dice il titolo: quali garanzie ci sono per una unità di ritorno della funzione Haskell da valutare? Si potrebbe pensare che non sia necessario eseguire alcun tipo di valutazione in tal caso, il compilatore potrebbe sostituire tutte queste chiamate con un ()valore immediato a meno che non siano …

12 haskell language-lawyer lazy-evaluation semantics unit-type

1

Come fattorizzare la monade di continuazione in congiunti sinistro e destro?

Poiché la monade dello Stato può essere scomposta in Prodotto (Sinistra - Funzione) e Lettore (Destra - Rappresentabile). C'è un modo per fattorizzare la Monade della continuazione? Di seguito il codice è il mio tentativo, che non digitare check -- To form a -> (a -> k) -> k {-# …

11 haskell monads continuations category-theory comonad

1

Usa Haskell come i moduli Prelude in un modulo in raku

Sto scrivendo un pacchetto di disegno con alcune parti e ho operatori e tipi di dati sparsi in tutto. Tuttavia, non voglio che gli utenti aggiungano i moduli corrispondenti ogni volta, poiché sarebbe piuttosto disordinato, ad esempio avrei una Pointclasse, un Monoidruolo e una Styleclasse in percorsi diversi come questo …

11 haskell raku

1

Digita ruoli e comportamento confuso con `coerce`

Ho un tipo Id ae sto cercando di prevenire la coercizione accidentale, ad esempio, da an Id Doublea an Id Int. Se capisco correttamente i ruoli di tipo, non dovrebbe essere compilato quanto segue. {-# LANGUAGE RoleAnnotations #-} import Data.Coerce (coerce) type role Id nominal newtype Id a = Id …

11 haskell roles coerce

2

Riassumendo elenchi di livelli arbitrari di nidificazione in F #

Sto cercando di creare una funzione F # che restituirà la somma di un elenco di ints di nidificazione arbitraria. Vale a dire. funzionerà per a list<int>, a list<list<int>>e a list<list<list<list<list<list<int>>>>>>. In Haskell scriverei qualcosa del tipo: class HasSum a where getSum :: a -> Integer instance HasSum Integer where …

10 haskell f#

2

Chiarimento sui tipi esistenziali in Haskell

Sto cercando di capire i tipi esistenziali in Haskell e ho trovato un PDF http://www.ii.uni.wroc.pl/~dabi/courses/ZPF15/rlasocha/prezentacja.pdf Per favore, correggi le mie intese che ho fino ad ora. I tipi esistenziali non sembrano essere interessati al tipo che contengono, ma i pattern corrispondenti ad essi dicono che esiste un tipo che non …

10 haskell gadt existential-type

1

Deriva Ord con vincoli quantificati (forall a. Ord a => Ord (fa))

Con vincoli quantificati posso derivare Eq (A f)bene? Tuttavia, quando provo a derivare Ord (A f), fallisce. Non capisco come usare vincoli quantificati quando la classe di vincolo ha una superclasse. Come posso derivare Ord (A f)e altre classi che hanno superclassi? > newtype A f = A (f Int) …

10 haskell typeclass derived-class quantified-constraints

1

Perché la funzione di parentesi di Haskell funziona negli eseguibili ma non riesce a ripulire nei test?

Sto vedendo un comportamento molto strano in cui la bracketfunzione di Haskell si sta comportando in modo diverso a seconda che venga utilizzata stack runo meno stack test. Si consideri il codice seguente, in cui vengono utilizzate due parentesi nidificate per creare e pulire i contenitori Docker: module Main where …

10 haskell haskell-stack

1

Esiste un modo conveniente per utilizzare un modello come funzione predicata?

Di recente mi sono imbattuto in situazioni in cui ho bisogno di passare una funzione predicata in un'altra funzione, e molto spesso la logica che sto cercando è essenzialmente "questo valore corrisponde a questo modello?" La corrispondenza dei modelli sembra essere preferita nelle dichiarazioni, nei doblocchi e nelle comprensioni di …

10 haskell

1

Creazione di una concatenazione completamente dipendente

Un bel fatto vero sulla concatenazione è che se conosco due variabili nell'equazione: a ++ b = c Allora conosco il terzo. Vorrei catturare questa idea nel mio concat così uso una dipendenza funzionale. {-# Language DataKinds, GADTs, FlexibleContexts, FlexibleInstances, FunctionalDependencies, KindSignatures, PolyKinds, TypeOperators, UndecidableInstances #-} import Data.Kind (Type) class …

10 haskell typeclass functional-dependencies type-level-computation

4

Comprensione delle funzioni pure e degli effetti collaterali in Haskell - putStrLn

Di recente, ho iniziato a studiare Haskell perché volevo ampliare le mie conoscenze sulla programmazione funzionale e devo dire che finora lo adoro davvero. La risorsa che sto attualmente utilizzando è il corso "Haskell Fundamentals Part 1" su Pluralsight. Sfortunatamente ho qualche difficoltà a capire una particolare citazione del docente …

10 haskell

1

Quando si trova l'ultimo ma il secondo elemento di un elenco, perché usare `last` è il più veloce tra questi?

Di seguito sono riportate 3 funzioni che trovano l'ultimo ma il secondo elemento in un elenco. Quello che usa last . initsembra molto più veloce del resto. Non riesco a capire perché. Per i test, ho usato un elenco di input di [1..100000000](100 milioni). L'ultimo funziona quasi istantaneamente mentre gli …

10 haskell

3

Come posso utilizzare un elenco di lunghezza minima fissa in modo totale ed elegante?

Attualmente ho a che fare con una funzione che va così: foo = (\(a:b:c:d:e:f:_) -> foobar a b c d e f) . (++ repeat def) In altre parole, dato un elenco, utilizza i primi sei elementi per qualcosa e, se l'elenco è lungo meno di sei elementi, utilizza defcome …

10 haskell pattern-matching

Domande taggate «haskell»