News for hackers. Stuff that matters.
Re:Programming with Categories by mindcrime on Wednesday September 02, 2020 @03:01PM (#24356588)
> 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?

Re:Programming with Categories by Tainnor on Wednesday September 02, 2020 @03:24PM (#24356918)
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.

Re:Programming with Categories by abrookewood on Wednesday September 02, 2020 @08:12PM (#24359631)
Just seconding that Downfall is brilliant. Totally off-topic now, but also extremely good is Das Boot.
Re:Programming with Categories by mindcrime on Wednesday September 02, 2020 @03:59PM (#24357348)
Thanks. I will check that out.
Re:Programming with Categories by nextos on Wednesday September 02, 2020 @09:32PM (#24360062)
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/