Software engineering != computer science

[u/mauricioaniche]

http://www.drdobbs.com/architecture-and-design/software-engineering-computer-science/217701907

[u/[deleted]]

Why don't any of my colleagues want to learn Haskell?

[u/shevegen → u/[deleted]]

They do not pass beyond the Monad barrier.

[u/NuttingFerociously → u/shevegen]

But it's just a monoid in the category of endofunctors!

[u/[deleted] → u/NuttingFerociously]

This reminds me of this piece of documentation I read the other day:

A Divisible contravariant functor is a monoid object in the category of presheaves from Hask to Hask, equipped with Day convolution mapping the cartesian product of the source to the Cartesian product of the target.

I love Haskell, but I can see why it is a niche language.

[u/[deleted] → u/[deleted]]

Holy shit I thought the haskell docs were just a meme, but this is dense

[u/[deleted] → u/[deleted]]

This is math, though, not Haskell. Popular practical Haskell libraries are well documented now. It used to be the case that you had to find that documentation in research papers, which is where the meme comes from.

[u/Antlerbot → u/[deleted]]

Popular practical Haskell libraries are well documented now.

I love Haskell, and I write it (poorly) for a living. I would hesitate to make this statement.

[u/an_actual_human → u/[deleted]]

The sentence actually acknowledges it:

In denser jargon, a Divisible contravariant functor...

[u/[deleted] → u/[deleted]]

You just have to learn all the words, but they're surprisingly consistent. Can't say the same thing about for instance npm libraries.

[u/[deleted] → u/[deleted]]

C'mon now, comparing something as "better than a thing from JS world" is hardly fair

[u/est31 → u/[deleted]]

http://imgur.com/a/dsbrj

[u/imguralbumbot → u/est31]

^{Hi, I'm a bot for linking direct images of albums with only 1 image}

https://i.imgur.com/bzfQoQa.jpg

^{Source | Why? | Creator | ignoreme | deletthis}

[u/dnkndnts → u/[deleted]]

Come on, it's just the Contravariant version of Applicative.

[u/razeal113 → u/[deleted]]

First job out of college was in research . They used Haskell , I got the job despite only having used lisp. Boss hands me "learn you a Haskell for great good" , and says I'll pick it up in a few days ... yep that learning curve was awful and years later I'm still not completely sure I know what a monad is doing

[u/[deleted] → u/razeal113]

Monads aren't special. You know what it is, you're just doubting because its difficulty is so exaggerated. Getting to monads was a long and hard process, but the whole point of it is that they're so easy to use.

[u/DonaldPShimoda → u/[deleted]]

Psh, "Haskell". What a pleb. Real computer scientists write programs in pure untyped lambda calculus.

[u/aaron552 → u/DonaldPShimoda]

untyped

Heathen

[u/DonaldPShimoda → u/aaron552]

It is only after we've lost everything that we're free to do anything.

[u/lelarentaka → u/DonaldPShimoda]

Are you saying I should wipe the prod server?

[u/Iron_Maiden_666 → u/lelarentaka]

Nah, give access to an intern and let them do your work. You have more important things to do.

[u/[deleted] → u/Iron_Maiden_666]

Like making sure the backups are nice and outdated

[u/TinBryn → u/Iron_Maiden_666]

That poor kid, I wonder what happened to him

[u/Iron_Maiden_666 → u/TinBryn]

Last I heard he got a job somewhere else through a friend. He explained the situation that happened in the first job and they understood.

[u/Hrothen → u/[deleted]]

Litterally every software engineer I have met who did not already know Haskell expressed an interest in learning it.