[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/