- cross-posted to:
- hackernews@lemmy.smeargle.fans
- cross-posted to:
- hackernews@lemmy.smeargle.fans
You must log in or # to comment.
;; Heard about the Y-combinator and went down a rabbitholehaha 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.
