• @lysdexicOPEnglish
    12•3 months ago

    I’ve submitted this link because the topic is interesting to me, and [email protected] is practically dead, with the last post dating back over 10 days.

    For those who are down voting the contribution, be my guest and do better: submit interesting content.

    • @[email protected]
      8•3 months ago

      Lemmy has a few perpetually online perpetual assholes that down vote anything they see - give a post a few hours and you’ll see the reasonable people show up.

      • @lysdexicOPEnglish
        3•3 months ago

        Honestly, I don’t mind the downvotes. What puzzles me is how some people feel strongly enough about a topic to subscribe to a community, but still feel compelled to slap down contributions in a time nothing is being submitted, as if seeing no new posts is better than seeing a post that might not tickle their fancy.

        It’s the difference between building up and tearing down.

        • @einsteinx2
          1•3 months ago

          FWIW due to Lemmy’s size, I think it’s actually more common to scroll Local or All rather than Subscriptions, so you’re probably getting votes from lots of random people rather than subscribers to this community specifically.

  • @[email protected]English
    11•3 months ago

    On the latest Haskell interlude podcast, the guest was talking about how using the ReaderT monad specifically introduces safety issues. My ears perked up because I’m right in the middle of leaning on it heavily in one of my Haskell projects.

    • John
      3•3 months ago

      @demesisx @lysdexic No safety issues mentioned around ReaderT. The speaker was talking about how stacking monad transformers mtl-style can generate unnecessary closures that GHC can’t optimise away.

  • @einsteinx2
    5•3 months ago

    A monad is just a monoid in the category of endofunctors, what’s the problem?

  • @CorbinEnglish
    1•3 months ago

    I’ve recently come to appreciate monads as 2-arrows from the terminal object in a 2-category; quoting nLab:

    … a monad in [a category] K is a lax 2-functor from the terminal bicategory 1 to K: the unique object * of 1 is sent to the object a, the morphism 1 becomes [the endomorphism] t, and [the unit] η and [the join] μ arise from the coherent 2-cells expressing lax functoriality.

    This is a nifty demystification of the data of a monad. Why do endofunctors tend to carry monads? Because endofunctors on categories C tend to be expressible as endomorphisms in 2-categories where C is an object! Since this latter condition is typically trivial, it follows that endofunctors on C typically carry monads (and that any counterexamples depend on the structure of C and choice of 2-category.)