La programmation lazy-evaluation

4

Haskell a-t-il une optimisation récursive de la queue?

J'ai découvert la commande "time" sous Unix aujourd'hui et j'ai pensé l'utiliser pour vérifier la différence de temps d'exécution entre les fonctions récursives de queue et récursives normales dans Haskell. J'ai écrit les fonctions suivantes: --tail recursive fac :: (Integral a) => a -> a fac x = fac' x …

88 haskell optimization lazy-evaluation tail-recursion tail-call-optimization

3

Les flux Java infinis parallèles manquent de mémoire

J'essaie de comprendre pourquoi le programme Java suivant donne un OutOfMemoryError, tandis que le programme correspondant sans .parallel()n'en donne pas. System.out.println(Stream .iterate(1, i -> i+1) .parallel() .flatMap(n -> Stream.iterate(n, i -> i+n)) .mapToInt(Integer::intValue) .limit(100_000_000) .sum() ); J'ai deux questions: Quelle est la sortie prévue de ce programme? Sans .parallel()cela, cela …

16 java java-stream out-of-memory lazy-evaluation

1

Quelles sont les règles concernant une fonction a -> () évaluée dans Haskell?

Tout comme le titre l'indique: quelles garanties existe-t-il pour qu'une unité de retour de fonction Haskell soit évaluée? On pourrait penser qu'il n'est pas nécessaire d'exécuter une sorte d'évaluation dans un tel cas, le compilateur pourrait remplacer tous ces appels par une ()valeur immédiate à moins que des demandes explicites …

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

2

Calcul du nombre e à l'aide de Raku

J'essaie de calculer la constante e ( AKA Euler's Number ) en calculant la formule Afin de calculer la factorielle et la division en un seul coup, j'ai écrit ceci: my @e = 1, { state $a=1; 1 / ($_ * $a++) } ... *; say reduce * + * …

9 code-generation lazy-evaluation raku eulers-number

5

Comment rendre cet algorithme plus paresseux sans me répéter?

(Inspiré par ma réponse à cette question .) Considérez ce code (il est censé trouver le plus grand élément inférieur ou égal à une entrée donnée): data TreeMap v = Leaf | Node Integer v (TreeMap v) (TreeMap v) deriving (Show, Read, Eq, Ord) closestLess :: Integer -> TreeMap v …

9 haskell lazy-evaluation dry

Questions marquées «lazy-evaluation»