Comment Feed for Channel 9 - C9 Lectures: Graham Hutton - How To Be More Productive http://ak.channel9.msdn.com/ch9/44d6/1137f5a7-6ccf-44f0-adc1-9fa2013f44d6/C9LecturesGrahamHuttonHowToBeMoreProductive_100_ch9.jpg Channel 9 - C9 Lectures: Graham Hutton - How To Be More Productive It's been far too long since we've had some meaty functional programming content on C9. Luckily, none other than Graham Hutton dropped off a present on our doorstep! Dr. Hutton graciously provided Channel 9 with his latest self-filmed lecture—thank you, Graham! We're honored. This is certainly a treat and we appreciate it. For all of you out there interested in FP, this one's for you, and it's from one of the functional domain's titans. Graham's goal here is to share technical knowledge and insights that span programming domains and skill sets—an excellent goal and one that we at Channel 9 fully support!  Enjoy. Learn!From Dr. Hutton: Streams, or infinite sequences, have many applications in programming, and can naturally be defined using recursive equations. But how do we ensure that such equations make sense, i.e. that they actually produce well-defined streams? In this talk, Graham Hutton presents a new approach to this problem, based upon the topological notion of contractive functions on streams. This talk is aimed at a general audience, and doesn't require special knowledge of topology or functional programming.Lecture Materials: Slides: http://www.cs.nott.ac.uk/~gmh/contractive.ppt Paper:  http://www.cs.nott.ac.uk/~gmh/contractive.pdf Speaker Bio: Graham Hutton is Professor of Computer Science at the University of Nottingham, where he co-leads the Functional Programming Lab. His research interests are in formal reasoning about program correctness and efficiency, with an emphasis on functional languages such as Haskell. He is also the author of a best-selling Haskell textbook, for which he's recorded associated Channel 9 lectures that have received more than 600,000 downloads. en Sat, 25 May 2013 23:46:47 GMT Sat, 25 May 2013 23:46:47 GMT Rev9 Re: C9 Lectures: Graham Hutton - How To Be More Productive Nice! To be added to the G+ C9 FP page.

posted by exoteric

]]> http://channel9.msdn.com/Shows/Going+Deep/C9-Lectures-Graham-Hutton-How-To-Be-More-Productive#c634582763016467397 Wed, 30 Nov 2011 18:58:21 GMT http://channel9.msdn.com/Shows/Going+Deep/C9-Lectures-Graham-Hutton-How-To-Be-More-Productive#c634582763016467397 exoteric Re: C9 Lectures: Graham Hutton - How To Be More Productive
So I really believe that it possible to be more productive due to that and similar presentations.
My program is more productive this way.

posted by Jedrek

]]> http://channel9.msdn.com/Shows/Going+Deep/C9-Lectures-Graham-Hutton-How-To-Be-More-Productive#c634583758190014730 Thu, 01 Dec 2011 22:36:59 GMT http://channel9.msdn.com/Shows/Going+Deep/C9-Lectures-Graham-Hutton-How-To-Be-More-Productive#c634583758190014730 Jedrek Re: C9 Lectures: Graham Hutton - How To Be More Productive I just came across this paper, "A fixed point theorem for L^1 spaces" the other day, and now this lecture, both involving Banach fixed point theorem, so they must be related(??). Here's the layman's news article about it:  "Mathematics: Mapping a fixed point".  I'd be very interested to see if Dr. Hutton has anything to say about it, or any other Niners. Smiley

Thanks for the great content, as always.  Big Smile

posted by Richard.Hein

]]> http://channel9.msdn.com/Shows/Going+Deep/C9-Lectures-Graham-Hutton-How-To-Be-More-Productive#c634584337813588240 Fri, 02 Dec 2011 14:43:01 GMT http://channel9.msdn.com/Shows/Going+Deep/C9-Lectures-Graham-Hutton-How-To-Be-More-Productive#c634584337813588240 Richard.Hein Re: C9 Lectures: Graham Hutton - How To Be More Productive posted by Graham Hutton

]]> http://channel9.msdn.com/Shows/Going+Deep/C9-Lectures-Graham-Hutton-How-To-Be-More-Productive#c634586868558905532 Mon, 05 Dec 2011 13:00:55 GMT http://channel9.msdn.com/Shows/Going+Deep/C9-Lectures-Graham-Hutton-How-To-Be-More-Productive#c634586868558905532 Graham Hutton Re: C9 Lectures: Graham Hutton - How To Be More Productive @Graham Hutton:  No problem.  I don't understand it all yet, but I hope it helps somehow.  Looking forward to more lectures.  Thanks for all the time and effort.  Smiley

posted by Richard.Hein

]]> http://channel9.msdn.com/Shows/Going+Deep/C9-Lectures-Graham-Hutton-How-To-Be-More-Productive#c634587210066283367 Mon, 05 Dec 2011 22:30:06 GMT http://channel9.msdn.com/Shows/Going+Deep/C9-Lectures-Graham-Hutton-How-To-Be-More-Productive#c634587210066283367 Richard.Hein Re: C9 Lectures: Graham Hutton - How To Be More Productive
Generator functions and the principle that the next value in the stream can only depend upon earlier values made me think of many mathematical analyses such as moving averages - any thoughts on how this might be applicable in the time series data domain such as financial data or high frequency sensor data for detecting trends, anomalies, etc...

Its nice to see the old guys from the FP groups springing up on channel 9. What with Benedict Gaster a few months ago, yourself now, when are we going to see Mark Jones?

posted by Colin

]]> http://channel9.msdn.com/Shows/Going+Deep/C9-Lectures-Graham-Hutton-How-To-Be-More-Productive#c634587999849016188 Tue, 06 Dec 2011 20:26:24 GMT http://channel9.msdn.com/Shows/Going+Deep/C9-Lectures-Graham-Hutton-How-To-Be-More-Productive#c634587999849016188 Colin Re: C9 Lectures: Graham Hutton - How To Be More Productive
Graham, my only thought, probably not interesting, was whether anyone has trawled through Bertrand Russell's PM; probably hard going, but he must have used all sorts of clever constructions and maybe some translate into FP?

posted by Tony

]]> http://channel9.msdn.com/Shows/Going+Deep/C9-Lectures-Graham-Hutton-How-To-Be-More-Productive#c634588116481932590 Tue, 06 Dec 2011 23:40:48 GMT http://channel9.msdn.com/Shows/Going+Deep/C9-Lectures-Graham-Hutton-How-To-Be-More-Productive#c634588116481932590 Tony Re: C9 Lectures: Graham Hutton - How To Be More Productive I will give five stars to every talk about y-combinator. Wink

The explanation of subject of how-to-make-a-next-item vs. what-is-the-formula is not trivial for basic mathematics school-teachers, so it may need more research.

But I wouldn't say that "generator function" (that makes next items) are plain easier. They may seem easier to construct (as their construction process is usually imperative), but... It doesn't mean that you will find the right pattern-match by accident.

 

posted by Thorium

]]> http://channel9.msdn.com/Shows/Going+Deep/C9-Lectures-Graham-Hutton-How-To-Be-More-Productive#c634634378287206326 Sun, 29 Jan 2012 12:43:48 GMT http://channel9.msdn.com/Shows/Going+Deep/C9-Lectures-Graham-Hutton-How-To-Be-More-Productive#c634634378287206326 Thorium