Quindi ho usato F # per un po 'e ho studiato un po' di Haskell sul lato e ho realizzato che avrei potuto riscrivere la stessa identica funzione in tre modi diversi.
O con curriculum implicito, curriculum esplicito o con espressioni lambda....
Non ho codice compilabile, perché il codice in questione dipende da una funzione di grandi dimensioni che è irrilevante per la domanda, ma diciamo che ho il seguente scenario:
savePath = "C:\..."
changePath1, changePath2 :: String -> Strin...
Diciamo che hai una lista
%codice%
e vuoi ottenere il l = [0, 2..] th numero quando n è piuttosto grande, ad esempio n .
Quindi chiami n=123456789 .
Sulla mia macchina, questo risulta in l !! 123456789 .
Quindi, perché H...
Sto cercando di capire come funziona la valutazione pigra perché ho intenzione di implementare provare per implementarlo nel linguaggio di programmazione che sto sviluppando (so che non è è la cosa migliore da fare (cercare di implementare q...
Haskell mantiene i valori calcolati delle funzioni. Questo può essere fatto solo fino al limite di archiviazione. Quando viene raggiunto il limite di archiviazione, in che modo Haskell decide quali calcoli conservare e quali scartare?
Recentemente ho letto spesso che, dato che la tendenza è quella di costruire processori con più core, sarà sempre più importante avere linguaggi di programmazione
che supportano la programmazione simultanea e parallela per sfruttare al meglio il...
Diciamo che voglio scrivere una funzione per calcolare fattoriali di numeri interi non negativi. Potrei scrivere qualcosa del genere:
fact :: Num a => Int -> a
fact n = fromInteger(product [1..n])
(Non preoccupiamoci dei valori negati...
Non capisco la risposta a questa domanda:
Q: Can Haskell find a type for the function selfapply defined by: selfapply f = f f
A: The function selfapply is not typeable in the simple system of types: we need to associate to f two types...
Come ho capito e come descritto qui , il polimorfismo ad-hoc è limitato alla spedizione in fase di compilazione. Cioè, se abbiamo una funzione che si aspetta un argomento che appartiene a un typeclass, dobbiamo conoscere il tipo concreto dell'a...