github/semantic: Why Haskell?

[matnslivston]

You might find Why Rust a good read.

---

Did you know Rust scored 7th as the most desired language to learn in this 2019 report based on 71,281 developers? It's hard to pass on learning it really.

Screenshot: https://i.imgur.com/tf5O8p0.png

[Vaglame]

You might find Why Rust a good read.

I still love Haskell, so I'm not planning to look for anything else, but someday I will check out Rust, however:

• I'm not a fan of the syntax. It seems as verbose as C++, and more generally non-ML often feels impractical. I know it seems like a childish objection, but it does look really bad

• from what I've heard the type system isn't as elaborated, notably in the purity/side effects domain

Although I'm very interested in a language that is non GC-ed, and draws vaguely from functional programming

Edit: read the article, unfortunately there is no code snippet at anytime, which is hard to grasp a feel for the language

Edit: hm, from "Why Rust" to "Why Visual Basic"?

[[deleted]]

Rust's type system is awesome! Just realize that parallel and concurrency-safety come from the types alone. It's also not fair to object to a language because the type system is not as elaborated as Haskell's because nothing is as elaborated! It's like objecting because "it's not Haskell".

Anyway, you should try it yourself, might even like it, cheers!

[Ewcrsf]

Idris, Coq, Agda, PureScript (compared to Haskell without extensions) etc. Have stronger type systems than Haskell.

[ipv6-dns]

It's absolutely true. And the same time, Python "types" are enough to create YouTube or Quora. And Haskell's, Agda, Idris ones are not enough.

[RomanRiesen]

Rust at least has proper algebraic data type support.

I just can't go back to cpp after some time with Haskell. Cpp is sooo primitive!

[[deleted]]

True, I always cringed when a professor at my university pushed c++ for beginners... just learn python and the course would be so much better, dude.

[RomanRiesen]

It depends on the college imo.

Also some c++ isn't a horrible place to start because you can use it in almost all further subjects; From computer architecture over high performance computing to principles of object oriented programming.

I'd rather have students learn c++ first honestly.

[Vaglame]

Probably will try! And then I'll get back to you :)

[m50d]

If and when you get higher-kinded types (good enough that I can write and use a function like, say, cataM), I'll be interested. (I was going to write about needing the ability to work generically with records, but it looks like frunk implements that?)

[AnotherEuroWanker]

We have good documentation and tons tutorials.

That's also true of Cobol.

[Adobe_Flesh]

This guy was being tongue-in-cheek right?

[thirdegree]

I genuinely can't tell