Many fall in the face of chaos, but not this one, not today

  • 9 Posts
  • 20 Comments
Joined 2 years ago
cake
Cake day: June 13th, 2023

help-circle

  • Pencilnoob@lemmy.worldtome_irl@lemmy.worldme_irl
    link
    fedilink
    English
    arrow-up
    7
    ·
    7 days ago

    I drink a daily bottle of kombucha, and I’m pretty convinced that (with therapy) helped improve my mental health. I cannot explain how much better I am today than a few years ago when I first started drinking it. Within a few months, I signed up for therapy and within a year I was majorly improved.





  • Pencilnoob@lemmy.worldtoProgrammer Humor@programming.devstop
    link
    fedilink
    English
    arrow-up
    0
    ·
    2 months ago

    I’m sure someone will be like “um akchuly” to my explanation. But for me it’s good enough to think if it that way.

    I’ve worked in Haskell and F# for a decade, and added some of the original code to the Unison compiler, so I’m at least passingly familiar with the subject. Enough that I’ve had to explain it to new hires a bunch of times to get them to to speed. I find it easier to learn something when I’m given a practical use for it and how it solves that problem.


  • Pencilnoob@lemmy.worldtoProgrammer Humor@programming.devstop
    link
    fedilink
    English
    arrow-up
    0
    ·
    edit-2
    2 months ago

    In practical terms, it’s most commonly a code pattern where any function that interacts with something outside your code (database, filesystem, external API) is “given permission” so all the external interactions are accounted for. You have to pass around something like a permission to allow a function to interact with anything external. Kind of like dependency injection on steroids.

    This allows the compiler to enhance the code in ways it otherwise couldn’t. It also prevents many kinds of bugs. However, it’s quite a bit of extra hassle, so it’s frustrating if you’re not used to it. The way you pass around the “permission” is unusual, so it gives a lot of people a headache at first.

    This is also used for internal permissions like grabbing the first element of an array. You only get permission if the array has at least one thing inside. If it’s empty, you can’t get permission. As such there’s a lot of code around checking for permission. Languages like Haskell or Unison have a lot of tricks that make it much easier than you’d think, but you still have to account for it. That’s where you see all the weird functions in Haskell like fmap and >>=. It’s helpers to make it easier to pass around those “permissions”.

    What’s the point you ask? There’s all kinds of powerful performance optimizations when you know a certain block of code never touches the outside world. You can split execution between different CPU cores, etc. This is still in it’s infancy, but new languages like Unison are breaking incredible ground here. As this is developed further it will be much easier to build software that uses up multiple cores or even multiple machines in distributed swarms without having to build microservice hell. It’ll all just be one program, but it runs across as many machines as needed. Monads are just one of the first features that needed to exist to allow these later features.

    There’s a whole math background to it, but I’m much more a “get things done” engineer than a “show me the original math that inspired this language feature” engineer, so I think if it more practically. Same way I explain functions as a way to group a bunch of related actions, and not as an implementation of a lambda calculus. I think people who start talking about burritos and endofunctors are just hazing.















  • Pencilnoob@lemmy.worldto196@lemmy.blahaj.zoneRule
    link
    fedilink
    English
    arrow-up
    6
    ·
    edit-2
    9 months ago

    I know a Thomas too! He’s the straight cis eye of a queer hurricane. And it wasn’t always this way, he just keeps pulling folks into his massive orbit. Folks who later realize they are queer. He never brings it up or even seems to notice.

    I finally realized what’s going on and it’s just a little weird. Like, what the hell is going on? Do my friends even have free will?! Do I?!

    I conclude that Thomas has such a pure heart and loves so freely that he innervates people with restless souls. They/we are drawn to this vibe like planets in his solar orbit.

    I should write him a poem about this

    Thomas’ pure heart

    Orbit for expanding souls

    A queer hurricane