• @[email protected]
    1•2 days ago

    I don’t nearly know enough to understand this but is anyone willing to help me get the thing on the top :>

  • @PoolloverNathan
    67•17 days ago

    A MONAD IS A MONOID IN THE CATEGORY OF ENDOFUNCTORS

  • @embed_me
    36•17 days ago

    Typical Computer science vs typical computer engineering

  • AggressivelyPassive
    29•17 days ago

    I have to say, I’m getting more and more frustrated by the bad code I have to write due to bad business circumstances.

    I want clean, readable code with proper documentation and at least a bit of internal consistency and not the shoehorned mess of hacks, todos and weird corner cases.

    • magic_lobster_party
      13•17 days ago

      todos

      I found a simple trick against this: just remove them. Accept it ain’t gonna happen man.

      • AggressivelyPassive
        5•17 days ago

        Well, yes, but the underlying issues still persist, so it’s not exactly a sustainable strategy.

        • magic_lobster_party
          3•17 days ago

          It’s mostly a joke, but often when I find todos they’re so old they’re no longer relevant.

          Of course you shouldn’t blindly remove todos.

      • @[email protected]
        1•16 days ago

        Don’t just put “TODO”. If they’re in the final pull request, they need to mention a ticket that’s intended to fix that TODO. If you/your team decides it’s not important, then remove it and close out the ticket. Either way, you’re required to do something with it.

  • @[email protected]
    5•16 days ago

    Instead of

    if let Some(a_) = a{
    ()
} else if let Some(b_)=b{
    ()
} else {
    dostuff 
}

    you could just use

    if a.isNone()&&b.isNone(){
    dostuff
}

    Also if you don’t use the value in a match just use _

      • @[email protected]OP
        1•15 days ago

        I’m not sure how I would go about this in an elegant way since I’m matching the string I get from a message…

        • @[email protected]
          1•7 days ago

          If the message used enums for actions/procedures like SPAM_MEMES, then using enums would be more performant

    • @[email protected]OP
      2•15 days ago

      That’s a good point, thanks. Maybe I’ll go without the if entirely, the (janky) code is still very much in flux ;)

  • @[email protected]
    3•17 days ago

    Doesn’t that construction only work in categories that also contain their own morphisms as objects since a profunctor maps (Cᵒᵖ × C) → Set and not the same like (Cᵒᵖ × C) → C? Since the category of Haskell types special, containing its own morphisms, so the profunctor could be like (haskᵒᵖ × hask) -> hask? or I just don’t understand it.

    • Kogasa
      1•17 days ago

      Hom functors exist for locally small categories, which is just to say that the hom classes are sets. The distinction can be ignored often because local smallness is a trivial consequence of how the category is defined, but it’s not generally true

  • hswolf
    2•17 days ago

    is this a section of a discord api implementation?