6 ms·
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=ADqL
by yearoflinux 6y ago
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 https://www.youtube.com/watch?v=ADqLBc1vFwI
What is the beautiful monospace font in the pdf here http://brendanfong.com/programmingcats_files/cats4progs-DRAFT.pdf http://brendanfong.com/programmingcats_files/cats4progs-DRAF...?
- enriquto 6y ago> What is the beautiful monospace font in the pdf t1xtt, from the txfonts package, freely available
- yearoflinux 6y agoThank you! No ttf/otf though :)
- vertebrate 6y agoIt 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.
- marcosdumay 6y agoOh, another Haskell can't do IO joke.
- mumblemumble 6y agoYes, but this time it was a funny one. I laughed, and not just at AbstractSingletonProxyFactoryBean. Gotta be able to laugh at yourself sometimes.
- marcosdumay 6y agoThanks 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.)
- mumblemumble 6y agoIt's true, and it starts off with the very worst one. I almost closed the tab like 30 seconds into the video.
- tsimionescu 6y ago"Thank god you haven't found Prolog..."
- Ma8ee 6y agoThe beginning wasn't great, but it had some really hilarious lines later.
- dllthomas 6y agoBut the important takeaway is that if you don't like Haskell, you might as well be Hitler.
- roflc0ptic 6y agoI think the joke was that Haskell can do IO but haskellers can’t
- deleted 6y ago[deleted]
- cgh 6y ago> here's a nice video https://www.youtube.com/watch?v=ADqLBc1vFwI 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!"
- CobrastanJorji 6y ago> 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.
- infogulch 6y agoHitler: 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.
- sloucher 6y agoYou just made those words up right now!
- Koshkin 6y ago> 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 6y agoAnd thus, another cycle is completed.
- mindcrime 6y ago> here's a nice video https://www.youtube.com/watch?v=ADqLBc1vFwI 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 6y agohttps://en.wikipedia.org/wiki/Downfall_(2004_film) 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.
- mindcrime 6y agoThanks. I will check that out.
- abrookewood 6y agoJust seconding that Downfall is brilliant. Totally off-topic now, but also extremely good is Das Boot.
- nextos 6y agoI 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/ http://conal.net/papers/compiling-to-categories/
- madhadron 6y agoThe last line. Oh god, the last line. I haven't cackled that loudly in months.
- mortdeus 6y agoyou are my hero for this comment.