tome

22 ms·

1. 361.▲
   by tome 2y ago

   That's kind of the opposite of what functional programmers mean by "first class", or at least orthogonal. "Functions are first class" means that they don't have any special treatment, relative to other entiti
2. 362.▲
   by tome 2y ago

   Out of curiosity, what don't you like about Haskell?
3. 363.▲
   by tome 2y ago

   That IO is roughly the same. The point of Haskell is not to "have IO". It's to know that when something is _not_ in IO, it's pure. _That_ is what other languages don't have. (Although they could, as far as I know.
4. 364.▲
   by tome 2y ago

   Thanks for the report. I don't see any broken links to gitlab. I tried the first three and a random one. Could you point out the ones that are broken for you?
5. 365.▲
   by tome 2y ago

   This is a bit surprising. Why replace `>>` with `*>` "because it's more modern"? Can't you just stick with what's working? The former hasn't been deprecated.
6. 366.▲
   by tome 2y ago

   Thanks for sharing, I really liked that!
7. 367.▲
   by tome 2y ago

   It is most definitely true for numeric programming (and Haskell is _somewhat_ dependently typed). For example, look at this finite bit width concatenation operation: https://hackage.haskell.org/package/clash-prelude-1.8
8. 368.▲
   by tome 2y ago

   > Working with the IO monad is much more complex, especially if you want to use other monadic types inside that code. Yes, mixing other monadic types with IO can be a challenge. One possible solution to that is not just not use other mon
9. 369.▲
   by tome 2y ago

   Effect systems like effectful and Bluefin absolutely provide first class effects, ultimately not too dissimilar to Koka.
10. 370.▲
    by tome 2y ago

    Haskell is superb at handling persistent mutable state. The only problem is that you may have analysis paralysis from choosing between all the choices (many of them excellent).
11. 371.▲
    by tome 2y ago

    > Oracle influenced / bought academia into teaching Java for a generation I think you probably mean Sun? Or maybe that Oracle continued what Sun started.
12. 372.▲
    by tome 2y ago

    There are many successful Haskellers without a math background.
13. 373.▲
    by tome 2y ago

    Not really, the vast majority of extensions just relax unnecessary restrictions. And these days it's easy to just enable GHC2021 or GHC2024 and be happy.
14. 374.▲
    by tome 2y ago

    Yeah `>>= \case` is a really nice pattern! I use it a lot.
15. 375.▲
    by tome 2y ago

    > head throwing exceptions instead of returning Maybe The choice is keep it is it is, or change it. Changing it would break vast amounts of existing code. Which option do you prefer?
16. 376.▲
    by tome 2y ago

    I acknowledge that those things can be challenging, however I'd like to respond to some of the specific issues: - Space leaks due to laziness are a solved problem. I explain the technique to solve it at: https://h2.jaguarpaw
17. 377.▲
    by tome 2y ago

    Right, and maybe one of the reasons that we don't see a split is because there is no clear definition, no clear boundaries. But perhaps we can find splits if we look more carefully. One notion that could be indicative of a split is
18. 378.▲
    by tome 2y ago

    > Bud Light simply paid a trans person to promote their product, without any political messaging whatsoever Isn't it one of the tenets of wokeness that "nothing is apolitical"?
19. 379.▲
    by tome 2y ago

    Do religious and political movements always develop such sects within a decade or so of their founding? If not then I'm not sure wokeness has existed for sufficient time (since the mid 2010s in the form it's discussed in the artic
20. 380.▲
    by tome 2y ago

    Thanks, I appreciate you taking the time to describe your experience.
21. 381.▲
    by tome 2y ago

    I'm surprised these are called " programming language ideas". They seem to be solvable, at least many of them, with libraries . For example, my Haskell effect system Bluefin can be seen as a capability system for Haskell.
22. 382.▲
    by tome 2y ago

    Thanks! You seem to be mostly talking about cognitive load arising from having too many choices. Is that right? (That said, I don't understand what abandonware and a tiny community have to do with cognitive load -- I agree they're
23. 383.▲
    by tome 2y ago

    You're right: I don't like it. It's on me? OK, fine by me. I'm glad if you're saying you don't believe your behaviour reflects on the Haskell community, and I hope everyone reading this thread takes that to
24. 384.▲
    by tome 2y ago

    Intriguing! Could you say more about which aspects of Haskell gave it a high cognitive load for you? By contrast, I've used predominantly Haskell in my career for the last ten years, exactly because it has reduced my cognitive load.
25. 385.▲
    by tome 2y ago

    You are giving an extremely unfavourable impression of the Haskell community. If you care about the Haskell community, please stop interacting with people like this.
26. 386.▲
    by tome 2y ago

    I’m surprised to hear this from an avid Haskeller and I think it might give the wrong impression to those who are less familiar with Haskell. I’m sure you know this, but for the benefit of others, projects don’t have their own extensions,
27. 387.▲
    by tome 2y ago

    Haskell was most certainly not made to address a concern about programmers being really bad at parallelism and thread safety.
28. 388.▲
    by tome 2y ago

    That's interesting, because Haskell is the only language in which I can easily read code written by others (and in "others" I include "myself three years ago").
29. 389.▲
    by tome 2y ago

    I'm not sure, but I don't remember a time when it didn't work like this.
30. 390.▲
    by tome 2y ago

    The founder isn't Russian: https://vladimir.prelovac.com/