EDN Admin
Well-known member
Its been far too long since weve 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! Were honored. <img src=http://ecn.channel9.msdn.com/o9/content/images/emoticons/emotion-1.gif?v=c9 alt=Smiley /> This is certainly a treat and we appreciate it. For all of you out there interested in FP, this ones for you, and its from one of the functional domains titans.
Grahams 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 doesnt require special knowledge of topology or functional programming.
Lecture Materials: Slides: http://www.cs.nott.ac.uk/~gmh/contractive.ppt http://www.cs.nott.ac.uk/~gmh/contractive.ppt Paper: http://www.cs.nott.ac.uk/~gmh/contractive.pdf http://www.cs.nott.ac.uk/~gmh/contractive.pdf
Speaker Bio: http://www.cs.nott.ac.uk/~gmh" target="_blank 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 hes recorded http://channel9.msdn.com/Shows/Going+Deep/Lecture-Series-Erik-Meijer-Functional-Programming-Fundamentals-Chapter-1" target="_blank associated Channel 9 lectures that have received more than 600,000 downloads. <img src=http://ecn.channel9.msdn.com/o9/content/images/emoticons/emotion-1.gif?v=c9 alt=Smiley />
<img src="http://m.webtrends.com/dcs1wotjh10000w0irc493s0e_6x1g/njs.gif?dcssip=channel9.msdn.com&dcsuri=http://channel9.msdn.com/Feeds/RSS&WT.dl=0&WT.entryid=Entry:RSSView:1137f5a76ccf44f0adc19fa2013f44d6
View the full article
Grahams 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 doesnt require special knowledge of topology or functional programming.
Lecture Materials: Slides: http://www.cs.nott.ac.uk/~gmh/contractive.ppt http://www.cs.nott.ac.uk/~gmh/contractive.ppt Paper: http://www.cs.nott.ac.uk/~gmh/contractive.pdf http://www.cs.nott.ac.uk/~gmh/contractive.pdf
Speaker Bio: http://www.cs.nott.ac.uk/~gmh" target="_blank 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 hes recorded http://channel9.msdn.com/Shows/Going+Deep/Lecture-Series-Erik-Meijer-Functional-Programming-Fundamentals-Chapter-1" target="_blank associated Channel 9 lectures that have received more than 600,000 downloads. <img src=http://ecn.channel9.msdn.com/o9/content/images/emoticons/emotion-1.gif?v=c9 alt=Smiley />
<img src="http://m.webtrends.com/dcs1wotjh10000w0irc493s0e_6x1g/njs.gif?dcssip=channel9.msdn.com&dcsuri=http://channel9.msdn.com/Feeds/RSS&WT.dl=0&WT.entryid=Entry:RSSView:1137f5a76ccf44f0adc19fa2013f44d6
View the full article
