I feel like haskell is dying

#32

…there probably are others.

1 Like
#33

Do you think that is something to be fixed?

#34

Is any language a truly general purpose language though, if you consider how it is used? Also tbh, web is the too big of a domain nowadays to disregard. My thoughts were more about how companies involved in haskell has dwindled out, and with it, many haskell communities.

#35

Because vanilla Haskell can be used to manipulate (not a separate macro language), you don’t separate runtime and compile-time nicely. Among other things this hopelessly breaks cross-compilation: What Template Haskell gets wrong and Racket gets right : ezyang’s blog

2 Likes
#36

…what about just being a “versatile non-strict functional language” ?

While not as glamorous, there is still some interest in “smoothing rough edges” - in addition to web services and APIs e.g. Servant:

  • https://discourse.haskell.org/t/using-unsafeperformio-safely/4146
  • https://wiki.haskell.org/Partibles_for_composing_monads
    (my own work: experimental, based on personal experience and opinions!)

For an average person, investment in Haskell is not even «questionable» — it is not on the table. It is far easier to become a Solidity or JavaScript developer […]

After some time, they are frustrated by e.g. “the JavaScript problem”, which drives them to look for alternatives, such as Elm. The stark difference between those two languages must intrigue some at the very least, who then look a little further…or maybe not; if I could usefully predict the future, I would have permanently solved “the day-job problem” a long time ago!

…ouch! Then again, we have also been spoilt for choice with regards to Haskell extensions. Either way, it’s definitely a problem, as shown by (the absence of) Haskell 2020.

Since “Haskell burnout” was briefly mentioned:

  • https://discourse.haskell.org/t/what-happened-to-lightweight-concurrency-primitives-for-ghc/3363

…it does happen. But as @rae showed, it isn’t limited to Haskell.

Can things be better? Of course, but we should also remember that things could also be worse - some thirty-five years ago, a group of very-learned folk may have been too busy to realise that having one language was (at that time) simpler that several, for research and educational purposes.

In spite of the advent of multi-core desktop computers for everyday use, the prevailing paradigm is still imperative - that Haskell is now where it is in such an environment certainly looks like a success to me. As to it’s future…the worst-case scenario is that Haskell joins the ranks of Prolog and Miranda(R), to be used in education to awaken the imperatively-habitualised to alternate possibilities.

Anything more than that is a bonus.

3 Likes
#37

(And I thought Prolog was more popular than haskell)

#38

Prolog’s popularity is difficult to measure by any yardstick to compare to Haskell.

Prolog (and I think we should include Datalog) has a rock-solid user base who wouldn’t use anything else for drawing conclusions from diverse data collections. It’s a different use-case vs Theorem provers, so I don’t think layering Theorem proving/Dependent on top of Haskell will attract any Prolog users.

(And to @atravers point, Prolog/Datalog is heavily used in industry as well as academe for data analysis – that is when data warehouses run out of insights.)

1 Like
#39

…I stand corrected: if Prolog continues to have its industrial uses, then Haskell will too - thank you, @AntC2!

1 Like
#40

Eh, why so? It’s not like anyone would be interested in purity, and ppl just actively avoid laziness nowadays.

#41

Despite all the responses in this thread, it seems to me that you’re still trying to find something that will confirm your belief about the demise of Haskell. So here it is:

One day, Haskell will be no more than a distant memory. But we believe that, when that day comes, the ideas and techniques that it nurtured will prove to have been of enduring value through their influence on languages of the future.

Paul Hudak, John Hughes, Simon Peyton Jones and Philip Wadler (page 46 of 55).

I for one will let you decide if this will happen before or after the human race is living on other planets in other galaxies…

5 Likes
#42

Well, I certainly want to believe it is alive and well. However, there are even scant sign of decay in this thread as well. (e.g. what kindaro said) Also, by that sentence I do not mean demise of haskell, but the current reality of FP in the programming scene. To put it in other way: It feels like if haskell dies out, purity and laziness will go with it.

#43

No they wouldn’t:

Of course, without a nonstrict successor to replace it, the departure of Haskell would be unfortunate for us and our programming successors. But the above quote is correct: what was learned while it existed will endure.

1 Like
#44

Eh, most of them looks like legacy, and I doubt they would endure after haskell’s death. Also it would be detached from any programming industry. Perhaps Clean is possible candidate to last, but that is only one…
Perhaps I am simply depressed at how industry is leaning towards Go (and possibly python).

#45

I don’t think purity will die out. I’ve skimmed through some old codebases of id games and had the impression those C programmers already had a concept of “purity” back then and applied it to some of their function documentation.

But there are many ways to deal with the “reasoning problem”.

Laziness on the other hand, can (very often) make reasoning harder. Its main advantage is optimization, imo (I know some argue it also facilitates composition). But I’d be surprised if we see a new solid language make use of it.

2 Likes
#46

Hmm:

To put it [another] way: It feels like if Haskell dies out, purity and laziness will go with it.

…I thought we were discussing how those concepts would endure, either in those languages or (if they also disappeared) in the various research journals dedicated to computer science and software development. As for the fate of individual languages, the advent of Haskell itself marked the end of most of its “site-specific” predecessors, with (IIRC) the sole exception of Miranda(R). If Haskell disappears, it will most likely be in similar fashion - superseded by another non-strict language, and as noted above:

#47

I think you are talking on the past. I mean why would ppl perform purity reasoning in the future? I don’t think Go programmers would accept such. People would eventually let AI do the job anyway.

I wish… if only.

#48

…using that line of reasoning: Why would anyone program at all in the future? They would eventually let an AI do the job anyway.

So what happens if the AI gets it wrong? The future hardware that programs will be running on will still be subject to the physical laws of this universe…

1 Like
#49

Perhaps it would be dressed as a fault of the users. Considering stuffs like youtube algorithm… users might even agree that it was their fault.

#50

I’ve worked in a Go shop some time ago. Those were all smart engineers. Most of them however didn’t have much explicit knowledge about this topic. And yet they were struggling daily with the lack of purity or unrestricted mutability.

As some rust docs put it: global mutable state is the root of all evil… but there are different solutions to the problem.

#51

There are some successors of Haskell with purity: Agda, Idris, Elm, Purescript. And Nix does have laziness (but it is not really general purpose).

1 Like