News for hackers. Stuff that matters.

A comment on OCaml Programming: Correct and Efficient and Beautiful. Parent comment

Re:OCaml Programming: Correct and Efficient and Beautiful by AnimalMuppet on Saturday July 26, 2025 @07:12PM (#44697636)
Is OCaml lazy? I'm not an expert, but if you want ultra high throughput, you might not want lazy. If I understand correctly, in Haskell some nonobvious things can slow you down because of the laziness.
[ Parent | on HN ]
Re:OCaml Programming: Correct and Efficient and Beautiful by KiranRao0 on Saturday July 26, 2025 @07:26PM (#44697724)
OCaml is not lazy.

src: https://signalsandthreads.com/future-of-programming/

[ Parent | on HN ]
Re:OCaml Programming: Correct and Efficient and Beautiful by sestep on Saturday July 26, 2025 @07:19PM (#44697679)
No, OCaml is not lazy.
[ Parent | on HN ]
Re:OCaml Programming: Correct and Efficient and Beautiful by teiferer on Monday July 28, 2025 @04:37AM (#44708651)
How does laziness cause a slowdown? It merely reorders work done, it doesn't necessarily create more work.
[ Parent | on HN ]
Re:OCaml Programming: Correct and Efficient and Beautiful by dev_hugepages on Tuesday July 29, 2025 @05:02AM (#44720913)
To do lazyness, you need to accumulate "intermediate computation objects" called thunks. These take space and time to store.

See: https://wiki.haskell.org/index.php?title=Thunk https://wiki.haskell.org/index.php?title=Performance/Strictn...

[ Parent | on HN ]