Comment Feed for Channel 9 - C9 Lectures: Dr. Ralf Lämmel - Going Bananas http://ak.channel9.msdn.com/ch9/DBA2/F497DB42-5099-4010-8E60-9E700144DBA2/C9LecturesRalfLaemmelGoingBananas_100_ch9.jpg Channel 9 - C9 Lectures: Dr. Ralf Lämmel - Going Bananas Dr. Ralf Lämmel returns for an exploration of folds, aka bananas. This is lecture 5 in his C9 Lecture series  covering advanced functional programming topics. Welcome back, Ralf! We're so happy to have you here! Why bananas, Ralf? Banana is functional programming slang for "fold"—an application of the catamorphic recursion scheme most widely known in the higher-order list processing tradition of Bird-Meertens Formalism and the Squiggol community. Erik Meijer used to be known as the "banana man" because of his early research on the subject; he also co-authored the seminal paper with theoretical (categorical) foundations on the subject. Incidentally, the paper used the notation of so-called "banana brackets" (instead of using the plain string "foldr"), which sort of explains why we sometimes say bananas. There is no shortage of crazy paper titles on the subject, by the way: "Functional Programming with Bananas, Lenses, Envelopes, and Barbed Wire," "Bananas in Space: ...," "Dealing with large bananas," "Boxes go bananas: ...," "See more through lenses than bananas," etc. More to the point, foldr is the Swiss Army Knife in functional programming. Monoidal reductions of lists or mapping over lists and many other list-processing idioms can be modeled with the regular recursion operator foldr. Even a beginning lecture on functional programming would have to discuss foldr. Not discussing foldr in a Haskell course, however, is like not discussing for loops in a C# course. Indeed, the lectures on Graham Hutton's introductory Haskell course covered the basics of foldr very well. However, a lot more interesting stuff concerning folds or, say, bananas becomes apparent when one becomes fluent in functional programming. For instance, foldr and friends suddenly make sense for container types other than the concrete list type. Foldr and friends even generalize to arbitrary algebraic datatypes in different ways. The combination of folds and monoids also helps us understand key aspects of parallel data processing. These are the more advanced banana subjects that are covered by Ralf Lämmel's lecture this time. He has also contributed a stack of bananas papers over the years, and he draws from that interest. Learn more:Going Bananas lecture slide deck Download source code for this lectureRalf's blogFor the exercises/riddles in the slide deck:Slide number (complexity): 12 (medium)18 (medium)21 (medium)23 (easy)24 (hard)31 (hard)34 (easy) en Wed, 22 May 2013 04:35:18 GMT Wed, 22 May 2013 04:35:18 GMT Rev9 Re: C9 Lectures: Dr. Ralf Lämmel - Going Bananas posted by Deactivated User

]]> http://channel9.msdn.com/Shows/Going+Deep/C9-Lectures-Dr-Ralf-Lmmel-Going-Bananas#c634312347580000000 Fri, 21 Jan 2011 19:25:58 GMT http://channel9.msdn.com/Shows/Going+Deep/C9-Lectures-Dr-Ralf-Lmmel-Going-Bananas#c634312347580000000 Deactivated User Re: C9 Lectures: Dr. Ralf Lämmel - Going Bananas Nice lecture, but I do have a suggestion for Ralf. In approximately the first half of the lecture, I found a few transitions to the next slide or point quite fast. Adding a short pause of a second or so might give the viewer a little bit of room to breathe and process all the information.

Other than that, nice work and I'm looking forward to your next C9 lecture (whenever that may be). Smiley

posted by ShinNoNoir

]]> http://channel9.msdn.com/Shows/Going+Deep/C9-Lectures-Dr-Ralf-Lmmel-Going-Bananas#c634313075090000000 Sat, 22 Jan 2011 15:38:29 GMT http://channel9.msdn.com/Shows/Going+Deep/C9-Lectures-Dr-Ralf-Lmmel-Going-Bananas#c634313075090000000 ShinNoNoir Re: C9 Lectures: Dr. Ralf Lämmel - Going Bananas Yes, I think this lecture is packed. I will use your advice on interim breathing space Smiley for the next lecture which is underway. For the while being I can only think of the pause button as a workaround. 

posted by user42

]]> http://channel9.msdn.com/Shows/Going+Deep/C9-Lectures-Dr-Ralf-Lmmel-Going-Bananas#c634313291300000000 Sat, 22 Jan 2011 21:38:50 GMT http://channel9.msdn.com/Shows/Going+Deep/C9-Lectures-Dr-Ralf-Lmmel-Going-Bananas#c634313291300000000 user42 Re: C9 Lectures: Dr. Ralf Lämmel - Going Bananas

posted by Fooltomery

]]> http://channel9.msdn.com/Shows/Going+Deep/C9-Lectures-Dr-Ralf-Lmmel-Going-Bananas#c634317787140000000 Fri, 28 Jan 2011 02:31:54 GMT http://channel9.msdn.com/Shows/Going+Deep/C9-Lectures-Dr-Ralf-Lmmel-Going-Bananas#c634317787140000000 Fooltomery Re: C9 Lectures: Dr. Ralf Lämmel - Going Bananas @Fooltomery: this must be a recent change. I will alert Ralf. Thanks!

C

posted by Charles

]]> http://channel9.msdn.com/Shows/Going+Deep/C9-Lectures-Dr-Ralf-Lmmel-Going-Bananas#c634317873610000000 Fri, 28 Jan 2011 04:56:01 GMT http://channel9.msdn.com/Shows/Going+Deep/C9-Lectures-Dr-Ralf-Lmmel-Going-Bananas#c634317873610000000 Charles Re: C9 Lectures: Dr. Ralf Lämmel - Going Bananas SourceForge Down After Attack

http://developers.slashdot.org/story/11/01/27/2059200/SourceForge-Down-After-Attack

posted by felix9

]]> http://channel9.msdn.com/Shows/Going+Deep/C9-Lectures-Dr-Ralf-Lmmel-Going-Bananas#c634318220120000000 Fri, 28 Jan 2011 14:33:32 GMT http://channel9.msdn.com/Shows/Going+Deep/C9-Lectures-Dr-Ralf-Lmmel-Going-Bananas#c634318220120000000 felix9