Comment Feed for Channel 9 - C9 Lectures: Dr. Erik Meijer - Functional Programming Fundamentals Chapter 12 of 13 http://ecn.channel9.msdn.com/o9/previewImages/100/504215_100x75.jpg Channel 9 - C9 Lectures: Dr. Erik Meijer - Functional Programming Fundamentals Chapter 12 of 13 In Chapter 12, Lazy Evaluation, Dr. Meijer takes us on a journey into the world of order of evaluation (when expressions are evaluated). In the case of lazy evaluation, computation is delayed until the result of the computation is known to be required. Most programming languages that most of you use day to day use eager or strict evaluation, which is theopposite of lazy evaluation. In the strict evaluation world, expressions are evaluated as soon as they are bound to a variable (this is also known as greedy evaluation). In Haskell, laziness is first class!Tune in. Learn and enjoy!Chapter 1 Chapter 2 Chapter 3 Chapter 4 Chapter 5 Chapter 6 Chapter 7 Chapter 8 Chapter 9 Chapter 10 Chapter 11 Chapter 12 Chapter 13     en Fri, 24 May 2013 07:29:26 GMT Fri, 24 May 2013 07:29:26 GMT Rev9 Re: C9 Lectures: Dr. Erik Meijer - Functional Programming Fundamentals Chapter 12 of 13 So this wonderful series draws to a close on Christmas eve 2009, does that mean on Christmas day we get Haskell .NET? Wink

posted by tomkirbygreen

]]> http://channel9.msdn.com/Series/C9-Lectures-Erik-Meijer-Functional-Programming-Fundamentals/C9-Lectures-Dr-Erik-Meijer-Functional-Programming-Fundamentals-Chapter-12-of-13#c633966705920000000 Thu, 17 Dec 2009 18:16:32 GMT http://channel9.msdn.com/Series/C9-Lectures-Erik-Meijer-Functional-Programming-Fundamentals/C9-Lectures-Dr-Erik-Meijer-Functional-Programming-Fundamentals-Chapter-12-of-13#c633966705920000000 tomkirbygreen Re: C9 Lectures: Dr. Erik Meijer - Functional Programming Fundamentals Chapter 12 of 13 $! - Talk about bang for the buck ("show me the money"), just in time for christmas Smiley

 

It's nice to know when to introduce strictness. As for how lazy evaluation deals with this accumulation, isn't that a matter of choice on part of the compiler writer? I would assume that is what "strictness analysis" is for. Looking closer...

 

This lambda book looks nice to have as well.

 

(End of lazy rewriting of post-)

posted by exoteric

]]> http://channel9.msdn.com/Series/C9-Lectures-Erik-Meijer-Functional-Programming-Fundamentals/C9-Lectures-Dr-Erik-Meijer-Functional-Programming-Fundamentals-Chapter-12-of-13#c633966725540000000 Thu, 17 Dec 2009 18:49:14 GMT http://channel9.msdn.com/Series/C9-Lectures-Erik-Meijer-Functional-Programming-Fundamentals/C9-Lectures-Dr-Erik-Meijer-Functional-Programming-Fundamentals-Chapter-12-of-13#c633966725540000000 exoteric Re: C9 Lectures: Dr. Erik Meijer - Functional Programming Fundamentals Chapter 12 of 13 It has been a great journey learning about functional programming in Haskell. To bad I’m going to be out of the country (no internet) for the last lecture Sad

posted by paks8150

]]> http://channel9.msdn.com/Series/C9-Lectures-Erik-Meijer-Functional-Programming-Fundamentals/C9-Lectures-Dr-Erik-Meijer-Functional-Programming-Fundamentals-Chapter-12-of-13#c633966726710000000 Thu, 17 Dec 2009 18:51:11 GMT http://channel9.msdn.com/Series/C9-Lectures-Erik-Meijer-Functional-Programming-Fundamentals/C9-Lectures-Dr-Erik-Meijer-Functional-Programming-Fundamentals-Chapter-12-of-13#c633966726710000000 paks8150 Re: C9 Lectures: Dr. Erik Meijer - Functional Programming Fundamentals Chapter 12 of 13 I'll be out too for the last lecture. Hope I'll be able to watch it in China. Happy holidays and wishing great 2010 New Year!

posted by chudq

]]> http://channel9.msdn.com/Series/C9-Lectures-Erik-Meijer-Functional-Programming-Fundamentals/C9-Lectures-Dr-Erik-Meijer-Functional-Programming-Fundamentals-Chapter-12-of-13#c633966735730000000 Thu, 17 Dec 2009 19:06:13 GMT http://channel9.msdn.com/Series/C9-Lectures-Erik-Meijer-Functional-Programming-Fundamentals/C9-Lectures-Dr-Erik-Meijer-Functional-Programming-Fundamentals-Chapter-12-of-13#c633966735730000000 chudq Re: C9 Lectures: Dr. Erik Meijer - Functional Programming Fundamentals Chapter 12 of 13 I hope the lectures continue from time to time after this one is done. It would be cool with an audience (local or otherwise) of a select few (one or more) that can ask the right questions at the end, having witnessed the lecture, just to make the experience more interactive. But this has been a truly great initiative. In a typical Channel 9 video you learn something but here the amount of knowledge density is greater (sans the interactive Meijer-Beckman combo which also has great knowledge density, sometimes too great heh.)

 

By the way Erik, have we caught you doing destructive updates of the whiteboard? Wink

posted by exoteric

]]> http://channel9.msdn.com/Series/C9-Lectures-Erik-Meijer-Functional-Programming-Fundamentals/C9-Lectures-Dr-Erik-Meijer-Functional-Programming-Fundamentals-Chapter-12-of-13#c633966834420000000 Thu, 17 Dec 2009 21:50:42 GMT http://channel9.msdn.com/Series/C9-Lectures-Erik-Meijer-Functional-Programming-Fundamentals/C9-Lectures-Dr-Erik-Meijer-Functional-Programming-Fundamentals-Chapter-12-of-13#c633966834420000000 exoteric Re: C9 Lectures: Dr. Erik Meijer - Functional Programming Fundamentals Chapter 12 of 13 I thought I understood lazy evaluation, but I didn't.  Very enlightening.  Thanks!

posted by Richard.Hein

]]> http://channel9.msdn.com/Series/C9-Lectures-Erik-Meijer-Functional-Programming-Fundamentals/C9-Lectures-Dr-Erik-Meijer-Functional-Programming-Fundamentals-Chapter-12-of-13#c633966945320000000 Fri, 18 Dec 2009 00:55:32 GMT http://channel9.msdn.com/Series/C9-Lectures-Erik-Meijer-Functional-Programming-Fundamentals/C9-Lectures-Dr-Erik-Meijer-Functional-Programming-Fundamentals-Chapter-12-of-13#c633966945320000000 Richard.Hein Re: C9 Lectures: Dr. Erik Meijer - Functional Programming Fundamentals Chapter 12 of 13 Charles and Erik,

Does the series end on Xmas eve!?? What a strange coincidence indeed!

Absolutely fantastic series; all developers should make an effort to understand functional programming in general and haskell in particular. I think it broadens your horizons and makes you a better professional.

Thanks again for these lectures!

 

posted by rgruian

]]> http://channel9.msdn.com/Series/C9-Lectures-Erik-Meijer-Functional-Programming-Fundamentals/C9-Lectures-Dr-Erik-Meijer-Functional-Programming-Fundamentals-Chapter-12-of-13#c633967108850000000 Fri, 18 Dec 2009 05:28:05 GMT http://channel9.msdn.com/Series/C9-Lectures-Erik-Meijer-Functional-Programming-Fundamentals/C9-Lectures-Dr-Erik-Meijer-Functional-Programming-Fundamentals-Chapter-12-of-13#c633967108850000000 rgruian Re: C9 Lectures: Dr. Erik Meijer - Functional Programming Fundamentals Chapter 12 of 13 Thanks so much everybody for the enthusiastic reception of the lecture series.

 

I promised Charles to write a book on Rx and lecture about it on Channel 9. What I will probably do instead is lecture about it on Channel 9 and then write each chapter.

posted by head.in.the.box

]]> http://channel9.msdn.com/Series/C9-Lectures-Erik-Meijer-Functional-Programming-Fundamentals/C9-Lectures-Dr-Erik-Meijer-Functional-Programming-Fundamentals-Chapter-12-of-13#c633967141500000000 Fri, 18 Dec 2009 06:22:30 GMT http://channel9.msdn.com/Series/C9-Lectures-Erik-Meijer-Functional-Programming-Fundamentals/C9-Lectures-Dr-Erik-Meijer-Functional-Programming-Fundamentals-Chapter-12-of-13#c633967141500000000 head.in.the.box Re: C9 Lectures: Dr. Erik Meijer - Functional Programming Fundamentals Chapter 12 of 13 You're writing a book on Rx Erik? Awesome. I'll take my place in the long queue of folks offering to act as technical reviewers - although I suspect you won't be short of 'in house' offers. Over the past 18 months, in large part because of the conversations and lectures from yourself and Brian I've found that "composition" has become my new programming mantra. Hope you have a great holiday and a brilliant 2010.

posted by tomkirbygreen

]]> http://channel9.msdn.com/Series/C9-Lectures-Erik-Meijer-Functional-Programming-Fundamentals/C9-Lectures-Dr-Erik-Meijer-Functional-Programming-Fundamentals-Chapter-12-of-13#c633967261850000000 Fri, 18 Dec 2009 09:43:05 GMT http://channel9.msdn.com/Series/C9-Lectures-Erik-Meijer-Functional-Programming-Fundamentals/C9-Lectures-Dr-Erik-Meijer-Functional-Programming-Fundamentals-Chapter-12-of-13#c633967261850000000 tomkirbygreen Re: C9 Lectures: Dr. Erik Meijer - Functional Programming Fundamentals Chapter 12 of 13 I assume (end of year fire fighting and rush jobs, so no time to find out myself) that Rx is processed lazily, but would there be any scenerios where you would want to do strict calls?

posted by N2Cheval

]]> http://channel9.msdn.com/Series/C9-Lectures-Erik-Meijer-Functional-Programming-Fundamentals/C9-Lectures-Dr-Erik-Meijer-Functional-Programming-Fundamentals-Chapter-12-of-13#c633967287380000000 Fri, 18 Dec 2009 10:25:38 GMT http://channel9.msdn.com/Series/C9-Lectures-Erik-Meijer-Functional-Programming-Fundamentals/C9-Lectures-Dr-Erik-Meijer-Functional-Programming-Fundamentals-Chapter-12-of-13#c633967287380000000 N2Cheval Re: C9 Lectures: Dr. Erik Meijer - Functional Programming Fundamentals Chapter 12 of 13 While these lectures are coming to an end we can all look forward to the C9 letures on F#. Charles any idea when that's comming?

posted by paks8150

]]> http://channel9.msdn.com/Series/C9-Lectures-Erik-Meijer-Functional-Programming-Fundamentals/C9-Lectures-Dr-Erik-Meijer-Functional-Programming-Fundamentals-Chapter-12-of-13#c633967557020000000 Fri, 18 Dec 2009 17:55:02 GMT http://channel9.msdn.com/Series/C9-Lectures-Erik-Meijer-Functional-Programming-Fundamentals/C9-Lectures-Dr-Erik-Meijer-Functional-Programming-Fundamentals-Chapter-12-of-13#c633967557020000000 paks8150 Re: C9 Lectures: Dr. Erik Meijer - Functional Programming Fundamentals Chapter 12 of 13 Soon.. Smiley

posted by Charles

]]> http://channel9.msdn.com/Series/C9-Lectures-Erik-Meijer-Functional-Programming-Fundamentals/C9-Lectures-Dr-Erik-Meijer-Functional-Programming-Fundamentals-Chapter-12-of-13#c633967558280000000 Fri, 18 Dec 2009 17:57:08 GMT http://channel9.msdn.com/Series/C9-Lectures-Erik-Meijer-Functional-Programming-Fundamentals/C9-Lectures-Dr-Erik-Meijer-Functional-Programming-Fundamentals-Chapter-12-of-13#c633967558280000000 Charles Re: C9 Lectures: Dr. Erik Meijer - Functional Programming Fundamentals Chapter 12 of 13 Well I have to be careful as I've had a lot of brandy tonight.. it is christmas after all, and I am Irish!

 

But

 

Lazy Evaluation is a specific name for a more general concept; and in my opinion that more general concept is Delegation. In many ways we ultimately try to model computations on how we process things ourselves: abstractly our brain processes information streams, and reacts to what we receive: event based programming over streams... thanks for Rx Smiley

 

But delegation is key to ANY model of higher order-ness, because we delegate the evalution of a "value" to the "item" than can more functionally evaluate that in the best fashion.

 

Personally I'm an architect, and I consider deployinging a solution as an aggregate of tenchology and people. However you always have to delegate to people, and if you unfold the implementation of a project what you realise is that people are the most important function that are applied to data.

posted by Parmenio

]]> http://channel9.msdn.com/Series/C9-Lectures-Erik-Meijer-Functional-Programming-Fundamentals/C9-Lectures-Dr-Erik-Meijer-Functional-Programming-Fundamentals-Chapter-12-of-13#c633968003690000000 Sat, 19 Dec 2009 06:19:29 GMT http://channel9.msdn.com/Series/C9-Lectures-Erik-Meijer-Functional-Programming-Fundamentals/C9-Lectures-Dr-Erik-Meijer-Functional-Programming-Fundamentals-Chapter-12-of-13#c633968003690000000 Parmenio Re: C9 Lectures: Dr. Erik Meijer - Functional Programming Fundamentals Chapter 12 of 13 I'd say that applies more to the notion of monads, where you are explicitly distinguish between values of type T and computations of type M<T> (which of course themselves are first class values). In your words, you are delegating the computation of a value to the monad.

posted by head.in.the.box

]]> http://channel9.msdn.com/Series/C9-Lectures-Erik-Meijer-Functional-Programming-Fundamentals/C9-Lectures-Dr-Erik-Meijer-Functional-Programming-Fundamentals-Chapter-12-of-13#c633968359370000000 Sat, 19 Dec 2009 16:12:17 GMT http://channel9.msdn.com/Series/C9-Lectures-Erik-Meijer-Functional-Programming-Fundamentals/C9-Lectures-Dr-Erik-Meijer-Functional-Programming-Fundamentals-Chapter-12-of-13#c633968359370000000 head.in.the.box Re: C9 Lectures: Dr. Erik Meijer - Functional Programming Fundamentals Chapter 12 of 13 Interesting point, I'll have to think about that quite a bit.

 

I'm not sure I fully get Monads yet.

 

How does this relate to the concept of an object type? A package of state and behaviour ... is a Monad just an object that obeys a certain behaviour pattern? I've seen them described as amplified Types, and clearly if you have your type obey the behaviour pattern (the monad laws) you get compositional types. I don't quite see yet how this differs from an Type that implements an interface with Bind and Return/Unit methods and thus are supported by certain syntax. Suddenly everything starts to look like a Monad of some sort if it encapsulates data and computations.

 

I think I'm missing some key insight that differentiates a Monad from an object type: they look very similar to me, both of them represent state and behaviour that can be applied to that state - is it just that a Monad has something more specific to say about the behaviours that are applied? I'm guessing this is what gives them the mathematical properties that allows you to reason about them in a certain way...

posted by Parmenio

]]> http://channel9.msdn.com/Series/C9-Lectures-Erik-Meijer-Functional-Programming-Fundamentals/C9-Lectures-Dr-Erik-Meijer-Functional-Programming-Fundamentals-Chapter-12-of-13#c633968436000000000 Sat, 19 Dec 2009 18:20:00 GMT http://channel9.msdn.com/Series/C9-Lectures-Erik-Meijer-Functional-Programming-Fundamentals/C9-Lectures-Dr-Erik-Meijer-Functional-Programming-Fundamentals-Chapter-12-of-13#c633968436000000000 Parmenio Re: C9 Lectures: Dr. Erik Meijer - Functional Programming Fundamentals Chapter 12 of 13 That will definitely be well-received! Thanks for presenting this fantastic series, Erik. Happy new year!

posted by Ryan Riley

]]> http://channel9.msdn.com/Series/C9-Lectures-Erik-Meijer-Functional-Programming-Fundamentals/C9-Lectures-Dr-Erik-Meijer-Functional-Programming-Fundamentals-Chapter-12-of-13#c633976143740000000 Mon, 28 Dec 2009 16:26:14 GMT http://channel9.msdn.com/Series/C9-Lectures-Erik-Meijer-Functional-Programming-Fundamentals/C9-Lectures-Dr-Erik-Meijer-Functional-Programming-Fundamentals-Chapter-12-of-13#c633976143740000000 Ryan Riley