• davel [he/him]@lemmy.ml
    ·
    6 months ago
    ;; Heard about the Y-combinator and went down a rabbithole

    side-eye-1 https://en.wikipedia.org/wiki/To_Mock_a_Mockingbird side-eye-2

    • ☆ Yσɠƚԋσʂ ☆@lemmy.mlM
      ·
      6 months ago

      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. :)

        • ☆ Yσɠƚԋσʂ ☆@lemmy.mlM
          ·
          6 months ago

          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.