[yearoflinux]

As someone who respects functional programming (because it removes geniuses from competing in my space) here's a nice video https://www.youtube.com/watch?v=ADqLBc1vFwI

What is the beautiful monospace font in the pdf here http://brendanfong.com/programmingcats_files/cats4progs-DRAF...?

[mindcrime]

> here's a nice video https://www.youtube.com/watch?v=ADqLBc1vFwI

OMG. That might just be the funniest god-damned thing I've ever seen in my life. Thanks for sharing that!

On a separate note: does anyone know where this footage is originally from? Some WWII movie, I would guess?

[Tainnor]

https://en.wikipedia.org/wiki/Downfall_(2004_film)

Probably one of the best "WWII movies" (it's really only about the final days in the bunker) ever.

[abrookewood]

Just seconding that Downfall is brilliant. Totally off-topic now, but also extremely good is Das Boot.

[mindcrime]

Thanks. I will check that out.

[nextos]

I laughed a lot with the video too.

Jokes aside, a book like CTM shows both paradigms have their place, and can also co-exist in the same system.

Besides, this paper cleared all my doubts about high-order FP having a lot of (unexploited) potential:

http://conal.net/papers/compiling-to-categories/

[cgh]

> here's a nice video https://www.youtube.com/watch?v=ADqLBc1vFwI

This made me laugh way more than it should have. "Why don't you pattern match my fist all over your faces!"

[mcguire]

"Don't worry, Haskell transpiles to Java now."

And the last line....

[smarx007]

https://www.metalevel.at/prolog now you found it!

[CobrastanJorji]

> The number of elements of a set X is called its cardinality because cardinals were the first birds to recognize the importance of this concept.

Alright, maybe I will keep reading this book.

[enriquto]

> What is the beautiful monospace font in the pdf

t1xtt, from the txfonts package, freely available

[yearoflinux]

Thank you! No ttf/otf though :)

[vertebrate]

It looks like a fork of Luxi Mono with slashed zero, which is available in ttf. And there is a more modern version of it with better character coverage -- Go Mono.

[madhadron]

The last line. Oh god, the last line. I haven't cackled that loudly in months.

[infogulch]

    Hitler: What's a monad anyway? No one who understands monads can explain what they are
    Underling (hurriedly): A monad is just a monoid in the category of endofunctors

This caused me to choke on my coffee.

[Koshkin]

> A monad is just a monoid in the category of endofunctors

A helpful analogy can be drawn by comparing two facts: a composition of something with its inverse produces the identity (a.k.a. unity, to use the Latin root), while a composition of something (e.g. a functor) with its "adjoint" (not quite the inverse) produces something similar that is better said in Greek.

[infogulch]

And thus, another cycle is completed.

[sloucher]

You just made those words up right now!

[marcosdumay]

Oh, another Haskell can't do IO joke.

[mumblemumble]

Yes, but this time it was a funny one. I laughed, and not just at AbstractSingletonProxyFactoryBean.

Gotta be able to laugh at yourself sometimes.

[dllthomas]

But the important takeaway is that if you don't like Haskell, you might as well be Hitler.

[marcosdumay]

Thanks for replying. I gave up on the beginning because those jokes tend to always be the same.

(And to be fair, half of them are the same overused ones. But the others are good.)

[tsimionescu]

"Thank god you haven't found Prolog..."

[mumblemumble]

It's true, and it starts off with the very worst one. I almost closed the tab like 30 seconds into the video.

[Ma8ee]

The beginning wasn't great, but it had some really hilarious lines later.

[roflc0ptic]

I think the joke was that Haskell can do IO but haskellers can’t

[mortdeus]

you are my hero for this comment.