- cross-posted to:
- [email protected]
- cross-posted to:
- [email protected]
;; Heard about the Y-combinator and went down a rabbithole
haha it’s definitely a very different way to think about computing :)
deleted by creator
I would guess most of them would have roughly the same performance. Ultimately, it’s just going to be O(n) iteration, and since it’s generator it’s not mutating anything. :)
deleted by creator
Monads are mostly a popular pattern in Haskell because encapsulating side effects within monads allows the type system to enforce their proper usage. They’re not necessary for immutability or state management in general. It’s just a way to enforce discipline more than anything.
The way immutability is implemented is using persistent data structures. The idea is that you do structural sharing for the common data when creating changes, so you don’t have to pay the price of a full copy of the data structure. In terms of performance, this approach works pretty well in most cases. It’s more expensive than direct mutation, but far cheaper than a deep copy making it a good compromise for the general case.