C9 Lectures: Dr. Erik Meijer - Functional Programming Fundamentals Chapter 13 of 13

Posted By: Charles | Dec 24th, 2009 @ 3:07 PM | 64,050 Views | 21 Comments
Well, my friends, the day has arrived. For thirteen weeks, you have been provided all the conceptual tools to take the leap into the deep end of the functional programming pool and float safely. The great Dr. Erik Meijer has generously given his value time to teach us the fundamentals as delivered by Graham Hutton in his book Programming in Haskell. Of course, Erik merged his own extensive knowledge, unique perspective and experience into the educational weave: so, you got the best of two worlds. We hope you enjoyed this series, the first in a new a format of Channel 9 content (lectures).

The Channel 9 team and Niner nation thank our dear friend Erik for this stellar contribution to Channel 9 and programming education, generally. Of course, we also thank Graham Hutton for writing the book (and for guest lecturing Chapter 11) that Erik is both so fond of and which provided a basis for these lectures, which, by the way, were all done in true Channel 9 fashion: They were recorded in single takes with Erik doing a brilliant job articulating, contextualizing, expanding on the fundamentals and being, well, Erik, one of our favorite geniuses, all in real time.

In Chapter 13, Equational Reasoning (and also revealing why Erik says 'uhm' and 'you know' so often), the grand finale, Dr. Meijer digs into referential transparency and being able to replace equals by equals in all contexts. In some sense, the purity inherent in functional languages like Haskell makes it easy to express and implement equational reasoning. In Haskell, our old friend "=" means "is equal to by definition". But what does equational reasoning mean? It is clear that propositional logic is too weak for many applications and that equational logic is a first step towards a more powerful system*. Is it? Dr. Meijer, please do explain.

Tune in. Enjoy.

* source: http://www.cs.cmu.edu/~cdm/pdf/EquLogic.pdf
Rating:
10
0
#Dec 24th, 2009 @ 10:46 AM
head.in.the.box
head.in.the.box

Happy Holidays everyone, and thanks a lot for watching.

#Dec 24th, 2009 @ 11:05 AM
prujohn
prujohn

Thank you Dr. Meijer for this wonderful and enlightening series.

#Dec 24th, 2009 @ 11:12 AM
Parmenio
Parmenio
() => {}

a truly amazing series, and hopefully more to come in this format from Channel 9. I can't say as I've been educated as much and enjoyed it at the same time in many, many years. I've already watched most of these lectures a few times, and each time I learn something new. I can't recommend this series enough, both as an introduction to functional programming and haskell, and as a solid grounding in many general programming concepts. Fantastic.

#Dec 24th, 2009 @ 11:48 AM
dot_tom
dot_tom

Thank you Erik, this has been an amazing journey and one of my learning highlights of the year. Seasons greetings to Channel 9 and all who sail with her.

#Dec 24th, 2009 @ 1:18 PM
Charles
Charles
Welcome Change

Happy holidays! If you celebrate Christmas, then have a merry one! In either case, I hope all of you get to have some time to recharge and enter the new year healthy and happy.

 

Erik, see you in '10 for more lectures and more E2Es! Smiley Thank you, man!!

 

Cheers!!!

C

#Dec 24th, 2009 @ 1:38 PM
cain06
cain06

Thank you so much Erik! This has been a great series.

#Dec 24th, 2009 @ 3:24 PM
garrettvm
garrettvm
garrett

I was wondering how you would finish the series. I had expectations for something nice. But this... this was just simply wunderbar. Magnificent! Like the finale at a 4th of July fireworks display. Thanks for giving us all this and thanks especially for the book list! How could anyone not be ignited by your enthusiasm, love and passion? I certainly am caught up in it.

#Dec 25th, 2009 @ 12:36 AM
zihanc.MSFT
zihanc.MSFT

f (g x) = h (f x)

f (g (fix g)) = h (f (fix g))

f (fix g) = h (f (fix g))

f (fix g) = h (f (g (fix g)))

f (fix g) = h (h (f (fix g)))

f (fix g) = h (h (h (f (fix g))))

...

f (fix g) = fix h

 

???

#Dec 25th, 2009 @ 7:44 AM
jlomax
jlomax

This series was an amazing Christmas present for us all.   Erik's spirit of giving cannot be denied or underestimated.

 

Thanks!

Microsoft Communities