Perguntas com a marcação «lazy-evaluation»

Eu descobri o comando "time" no Unix hoje e pensei em usá-lo para verificar a diferença nos tempos de execução entre funções recursivas de cauda e recursivas normais em Haskell. Eu escrevi as seguintes funções: --tail recursive fac :: (Integral a) => a -> a fac x = fac' x …

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

Estou tentando entender por que o seguinte programa Java fornece um OutOfMemoryError, enquanto o programa correspondente sem .parallel(). 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() ); Eu tenho duas perguntas: Qual é o resultado pretendido deste programa? Sem .parallel()parece que isso simplesmente …

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

Assim como o título diz: que garantias existem para que uma unidade de retorno da função Haskell seja avaliada? Alguém poderia pensar que não há necessidade de executar qualquer tipo de avaliação nesse caso; o compilador poderia substituir todas essas chamadas por um ()valor imediato, a menos que existam solicitações …

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

Estou tentando calcular a constante e (número do AKA Euler ) calculando a fórmula Para calcular o fatorial e a divisão de uma só vez, escrevi o seguinte: my @e = 1, { state $a=1; 1 / ($_ * $a++) } ... *; say reduce * + * , @e[^10]; …

9 code-generation  lazy-evaluation  raku  eulers-number 

(Inspirado pela minha resposta a esta pergunta .) Considere este código (ele deve encontrar o maior elemento que é menor ou igual a uma determinada entrada): 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 

Entendo a função seq e por que é necessário introduzir rigor na eficiência. O que eu não entendo é: por que esse primitivo é chamado seq(e não tem a ver com rigor)?

8 haskell  lazy-evaluation