Difference between revisions of "Video presentations"

From HaskellWiki
Jump to navigation Jump to search
m (updated link to SPJ NDP video)
m (→‎Introductions to Haskell: del blip links)
(60 intermediate revisions by 22 users not shown)
Line 1: Line 1:
  +
[[Category:Tutorials]]
−
Collected videos of Haskell tutorials and conference presentations,
  
  +
Collected videos of Haskell tutorials and conference presentations, sorted by topic.
−
sorted by topic.
  
  +
  +
For more recent videos, check:
  +
  +
* '''[http://vimeo.com/channels/haskell The Haskell Vimeo Channel]'''
  +
* '''[http://vimeo.com/channels/galois The Galois Tech Talk Vimeo Channel]'''
  +
* '''[http://channel9.msdn.com/tags/Haskell/ Haskell videos on MSDN Channel 9]'''
  +
  +
Maintained by the community.
   
−
== Introductions to FP and Haskell ==
 +
== Introductions to Haskell ==
   
  +
:<del>[http://blip.tv/file/324976 Part 1] ([http://blip.tv/file/get/OSCON-OSCON2007SimonPeytonJonesATasteOfHaskellPartI455.flv Download])</del> ([https://www.youtube.com/watch?v=jLj1QV11o9g On YouTube])
−
;A Taste of Haskell
  
−
:[http://blip.tv/file/324976 Part 1] ([http://s5.video.blip.tv/0560000629508/OSCON-OSCON2007SimonPeytonJonesATasteOfHaskellPartI455.mov .mov])
 +
:<del>[http://blip.tv/file/325646 Part 2] ([http://blip.tv/file/get/OSCON-OSCON2007SimonPeytonJonesATasteOfHaskellPartII749.flv Download])</del> ([https://www.youtube.com/watch?v=IqXTUbdLig0 On YouTube])
−
:[http://blip.tv/file/325646 Part 2] ([http://blip.tv/file/get/OSCON-OSCON2007SimonPeytonJonesATasteOfHaskellPartII749.mov .mov])
  
 
:[http://conferences.oreillynet.com/presentations/os2007/os_peytonjones.pdf Slides]
  
:[http://conferences.oreillynet.com/presentations/os2007/os_peytonjones.pdf Slides]
 
:Simon Peyton-Jones, OSCON, July 2007.
  
:Simon Peyton-Jones, OSCON, July 2007.
Line 19: Line 26:
 
</blockquote>
  
</blockquote>
   
−
;[http://channel9.msdn.com/showpost.aspx?postid=326762 Programming language nirvana]
 +
[http://channel9.msdn.com/shows/Going+Deep/Lecture-Series-Erik-Meijer-Functional-Programming-Fundamentals-Chapter-1/ Functional Programming Fundamentals - Erik Meijer]
  +
:Erik's 13 part lecture series on Haskell, using [http://www.amazon.com/Programming-Haskell-Graham-Hutton/dp/0521692695/ref=sr_1_1?ie=UTF8&qid=1287780326&sr=8-1 Programming in Haskell] by Graham Hutton.
  +
  +
[http://channel9.msdn.com/showpost.aspx?postid=326762 Programming language nirvana]
 
:Simon Peyton-Jones, Eric Meijer, MSR, July 2007.
  
:Simon Peyton-Jones, Eric Meijer, MSR, July 2007.
  +
  +
;[http://yow.eventer.com/events/1004/talks/1054 Escape From the Ivory Tower: The Haskell Journey, From 1990 to 2011]
  +
:Simon Peyton-Jones, Yow, December 2011
  +
  +
;[http://ulf.wiger.net/weblog/2008/02/29/peyton-jones-taming-effects-the-next-big-challenge/ Taming Effects - The Next Big Challenge]
  +
:Simon Peyton-Jones at Ericsson, February 2008.
   
 
;[http://video.google.com/videoplay?docid=-4167170843018186532 Faith, Evolution, and Programming Languages]
  
;[http://video.google.com/videoplay?docid=-4167170843018186532 Faith, Evolution, and Programming Languages]
−
:Phil Wadler, April 2007.
 +
:Phil Wadler, April 2007. Slides are [http://homepages.inf.ed.ac.uk/wadler/topics/gj.html#oopsla here]
   
  +
;[http://port25.technet.com/archive/2007/09/26/haskell-in-the-hallway-sam-interviews-simon-peyton-jones.aspx Haskell in the Hallway]
−
== Advanced topics ==
  
  +
: An interview with SPJ at OSCON, Sep 2007.
   
  +
;[http://video.s-inf.de/#FP.2005-SS-Giesl.(COt).HD_Videoaufzeichnung Lecture Functional Programming]
−
;[http://video.google.com/videoplay?docid=-4851250372422374791 Parametric Polymorphism and the Girard-Reynolds Isomorphism]
  
  +
: A computer science lecture at RWTH University Aachen (Germany) dealing with functional programming and haskell (including theoretical background)
−
:Phil Gossett, April 2007.
  
  +
  +
;[http://www.dotnetrocks.com/default.aspx?ShowNum=310 Simon Peyton Jones on Functional Programming and Haskell (Audio)]
  +
:Simon explains laziness, purity, parallelism, side effects, monads, software transactional memory
  +
  +
;[http://ulf.wiger.net/weblog/2008/02/29/john-launchbury-high-assurance-software/ High-Assurance Software]
  +
:John Launchbury at Ericsson, 21 February 2008.
  +
  +
== Haskell Implementors Workshop 2009,2010,2011,2012 ==
  +
[[HaskellImplementorsWorkshop]]
  +
  +
== Haskell Symposium 2008 ==
  +
  +
[[/Haskell Symposium 2008]] videos.
  +
  +
== ICFP 2007 and Workshops ==
  +
  +
; [http://video.google.com/videoplay?docid=-1518197558546337776 The Reduceron: Widening the von Neumann Bottleneck for Graph Reduction using an FPGA.]
  +
:The Reduceron: Widening the von Neumann Bottleneck for Graph Reduction using an FPGA. A research talk given at IFL'2007 in Freiburg. Work by Matthew Naylor and Colin Runciman of the University of York.
  +
  +
; [http://www.ludd.ltu.se/~pj/icfp2007/ICFP2007.html Selected videos from IFL 2007 and ICFP 2007.]
  +
  +
; [http://www.ludd.ltu.se/~pj/hw2007/HaskellWorkshop.html All talks from Haskell Workshop 2007.]
  +
  +
== Advanced topics in functional programming ==
  +
  +
;[http://video.google.com/videoplay?docid=-4991530385753299192 Type-driven testing in Haskell]
  +
:Simon Peyton Jones talks about QuickCheck and SmallCheck
  +
  +
;[http://www.youtube.com/user/TheCatsters The Catsters on YouTube]
  +
:Various interesting lectures on category theory, including monads, adjunctions, limits, and a variety of other topics.
   
 
;[http://iba-cg.de/haskell.html Generic Programming in Haskell].
  
;[http://iba-cg.de/haskell.html Generic Programming in Haskell].
−
:Johan Jeuring, Sep 2007.
 +
:Johan Jeuring, July 2007.
   
  +
;[http://video.google.com/videoplay?docid=-4851250372422374791 Parametric Polymorphism and the Girard-Reynolds Isomorphism]
−
;[http://golem.ph.utexas.edu/category/2007/09/the_catsters_on_youtube.html Category theoretic monads]
  
−
:The Catsters, Sep 2007.
 +
:Phil Gossett, April 2007.
  +
:(link broken as of 2012-02-07)
   
−
;[http://www.youtube.com/watch?v=JEJim3t-N9A Adjunctions]
 +
;[http://channel9.msdn.com/ShowPost.aspx?PostID=358968#358968 Don't fear the monads]
  +
:Brian Beckman introducing monads
−
: More from The Catsters, Sep 2007
  
   
 
== Concurrency and parallelism ==
  
== Concurrency and parallelism ==
  +
  +
;[http://www.bayfp.org/blog/?p=25 Concurrent and multicore programming in Haskell] [http://blip.tv/file/913860 (alternate link, just video)]
  +
:[http://www.serpentine.com/blog/ Bryan O’Sullivan] at [http://bayfp.org Bay Area Functional Programmers], 8 May 2008
  +
  +
;[http://ulf.wiger.net/weblog/2008/02/29/satnam-singh-declarative-programming-techniques-for-many-core-architectures/ Declarative Programming Techniques for Many-Core Architectures]
  +
:Satnam Singh at Ericsson, 21 February 2008
   
 
;[http://www.blip.tv/file/317758/ Transactional Memory for Concurrent Programming]
  
;[http://www.blip.tv/file/317758/ Transactional Memory for Concurrent Programming]
Line 50: Line 104:
 
:Simon Peyton-Jones, [http://www.londonhug.net/ London HUG], May 2007.
  
:Simon Peyton-Jones, [http://www.londonhug.net/ London HUG], May 2007.
 
:[http://research.microsoft.com/~simonpj/papers/ndp/NdpSlides.pdf Slides] (pdf)
  
:[http://research.microsoft.com/~simonpj/papers/ndp/NdpSlides.pdf Slides] (pdf)
  +
  +
== The Web ==
  +
  +
;[http://www.bayfp.org/blog/2007/10/16/alex-jacobson-on-happs-videos-slides/ HAppS]
  +
:Alex Jacobson, [http://www.bayfp.org/blog Bay Area FPers], Oct 2007.
   
 
== Games ==
  
== Games ==
Line 55: Line 114:
 
;[http://www.londonhug.net/2007/09/24/better-video-for-games-in-haskell/ Games in Haskell]
  
;[http://www.londonhug.net/2007/09/24/better-video-for-games-in-haskell/ Games in Haskell]
 
:2007 meeting of the London Haskell User Group. Matthew Sackman and Tristan Allwood of Imperial College talk about building 3D games in Haskell.
  
:2007 meeting of the London Haskell User Group. Matthew Sackman and Tristan Allwood of Imperial College talk about building 3D games in Haskell.
  +
  +
;[http://uk.youtube.com/watch?v=uziCn2SBbxs Data parallel physics engine]
  +
:2008, Hpysics' visulization code now performs double buffering
  +
  +
;[http://uk.youtube.com/watch?v=mwge13bX9W8 Yampa Space Invaders]
  +
:Space Invaders, using functional reactive programming.
  +
  +
;[http://uk.youtube.com/watch?v=zqFgQiPKtOI Monadius]
  +
:A 2D space game
  +
  +
;[http://uk.youtube.com/watch?v=gVLFGQGRsDw Super 'Nario' Bros]
  +
:Super 'Nario' Brothers in Haskell
  +
  +
;[http://uk.youtube.com/watch?v=0jYdu2u8gAU Frag]
  +
: Frag
   
 
== The ICFP contest ==
  
== The ICFP contest ==
Line 60: Line 134:
 
;[http://video.google.com/videoplay?docid=6419094369756184531 2006 ICFP contest results]
  
;[http://video.google.com/videoplay?docid=6419094369756184531 2006 ICFP contest results]
 
:ICFP, 2006
  
:ICFP, 2006
  +
  +
;[http://www.ludd.ltu.se/~pj/icfp2007/ICFP%20contest%202007.mov 2007 ICFP contest results]
  +
:ICFP, 2007
   
 
== Livecoding Haskell ==
  
== Livecoding Haskell ==
  +
  +
;[http://www.youtube.com/watch?v=045422s6xik Data Driven Programming in Haskell]
  +
: Uses the unscripted, “real-world” toy project of performing character recognition on an image that many other OCR tools fail on due to very low resolution.
  +
  +
;[http://www.youtube.com/user/entirelysubjective?feature=watch Coding Uncut]
  +
: A channel of unscripted, unedited and uncut videos of solving problems using Haskell.
  +
  +
;[http://haskelllive.com/ Haskell Live]
  +
: Basic and intermediate Haskell concepts taught while tackling problems.
  +
  +
;[https://www.youtube.com/watch?v=zZ_nI9E9g0I&list=PLxj9UAX4Em-Ij4TKwKvo-SLp-Zbv-hB4B&index=1 Haskell from Scratch]
  +
: Implementation of djb's redo (a GNU Make replacement) from scratch.
  +
  +
[[Category:Music]]
  +
  +
;[http://video.google.de/videoplay?docid=-6594267962912965757&q=hal2+july+2007&total=7&start=0&num=50&so=0&type=search&plindex=3 Music and Sound generation]
  +
:Henning Thielemann July 2007 in Leipzig about Music and Sound using SuperCollider, CSound, MIDI and pure Haskell (German)
   
 
;[http://youtube.com/watch?v=xaoLbKWMwoU Haskell music]
  
;[http://youtube.com/watch?v=xaoLbKWMwoU Haskell music]
Line 76: Line 170:
 
;[http://hackage.haskell.org/trac/ghc/wiki/AboutVideos GHC commentary]
  
;[http://hackage.haskell.org/trac/ghc/wiki/AboutVideos GHC commentary]
 
:Simon Peyton Jones and Simon Marlow, 2006.
  
:Simon Peyton Jones and Simon Marlow, 2006.
  +
  +
== Commercial users ==
  +
  +
;[http://www.londonhug.net/2008/08/11/video-paradise-a-dsel-for-derivatives-pricing/ Paradise]
  +
:An EDSL in Haskell developed by Credit Suisse for Derivatives Pricing
   
 
== Haskell applications ==
  
== Haskell applications ==
  +
  +
;[http://www.youtube.com/watch?v=oYdkrOMhFWU Emacs Flymake]
  +
:Daisuke IKEGAMI, a demo of editing Haskell program on Emacs with on-the-fly syntax and type checking using flymake-mode (see also [http://www.emacswiki.org/cgi-bin/emacs/FlymakeHaskell EmacsWiki:FlymakeHaskell] for details), 11 November 2007
  +
  +
;[http://video.google.de/videosearch?q=hal2+july+2007 HAL2]
  +
:HAL2 meeting in July 2007 in Leipzig, presenting talks about Generic Programming (English), Eclipse for Haskell (German), Grapefruit GUI (German) and Music+Sound generation (German)
   
 
;[http://ftp.belnet.be/mirrors/FOSDEM/2006/FOSDEM2006-darcs.avi GADTs for darcs]
  
;[http://ftp.belnet.be/mirrors/FOSDEM/2006/FOSDEM2006-darcs.avi GADTs for darcs]
 
:David Roundy, FOSDEM, 2006
  
:David Roundy, FOSDEM, 2006
   
  +
;[http://www.londonhug.net/2008/02/02/video-darcs-and-gadts/ Darcs and Generalised Algebraic Data Types]
−
; [http://www.uwtv.org/programs/displayevent.aspx?rID=2124&fID=368 Functional Image Synthesis]
  
  +
:Ganesh Sittampalamhs talk on Darcs and GADTs
−
: Conal Elliott, talk at University of Washington, November 2000
  
   
  +
;[http://www.uwtv.org/programs/displayevent.aspx?rID=2124&fID=368 Functional Image Synthesis]
  +
:Conal Elliott, talk at University of Washington, November 2000
   
  +
;[http://www.youtube.com/watch?v=faJ8N0giqzw Tangible Functional Programming]
−
[[Category:Tutorials]]
  
  +
:Conal Eliott's Google Tech Talk
  +
  +
;[http://ulf.wiger.net/weblog/2008/02/29/john-hughes-testing-with-quickcheck/ Testing with QuickCheck]
  +
:John Hughes at Ericsson, 21 February 2008
  +
  +
;[http://ulf.wiger.net/weblog/2008/02/29/simon-peyton-jones-composing-contracts-an-adventure-in-financial-engineering/ Composing Contracts - An Adventure in Financial Engineering]
  +
:Simon Peyton Jones at Ericsson, 21 February 2008.
  +
  +
;[http://www.ludd.ltu.se/~pj/hw2007/xmonad.mov xmonad]
  +
: Don Stewart at the Haskell Workshop, 2007.
  +
  +
;[http://www.youtube.com/watch?v=yHd0u6zuWdw Coconut: COde CONstructing User Tool]
  +
:Haskell DSL to produce high performance SIMD-Parallel code
  +
  +
;[http://covector.blogspot.com/2007/10/functional-augmented-reality.html Augmented reality using Haskell computer vision]
  +
:Functional augmented reality, Alberto Ruiz
  +
  +
;[http://www.vimeo.com/1983774 Understanding HaskellDB trailer]
  +
  +
;[https://www.youtube.com/watch?v=FEFETKhhq8w&list=PLxj9UAX4Em-Lz5btngxMVZxf_B44GETVz Haskell Deconstructed]
  +
:Examining the source code to Pandoc, xmonad, and other Haskell applications
  +
  +
== Interviews ==
  +
  +
;[http://www.haskellcast.com/ The Haskell Cast]
  +
:A monthly podcast with interviews from the Haskell community
  +
  +
== Other ==
  +
  +
;[http://www.youtube.com/watch?v=faJ8N0giqzw Tangible Functional Programming: a modern marriage of usability and composability]
  +
:Conal Elliott. Google TechTalk, November 2007

Revision as of 20:32, 29 June 2014

Collected videos of Haskell tutorials and conference presentations, sorted by topic.

For more recent videos, check:

Maintained by the community.

Introductions to Haskell

Part 1 (Download) (On YouTube)
Part 2 (Download) (On YouTube)
Slides
Simon Peyton-Jones, OSCON, July 2007.

Haskell is the world's leading purely functional programming language that offers a radical and elegant attack on the whole business of writing programs. In the last two or three years there has been an explosion of interest in Haskell, and it is now being used for a bewildering variety of applications. In this tutorial, I will try to show you why programming in Haskell is such fun, and how it makes you think about programming in a new way.

Functional Programming Fundamentals - Erik Meijer

Erik's 13 part lecture series on Haskell, using Programming in Haskell by Graham Hutton.

Programming language nirvana

Simon Peyton-Jones, Eric Meijer, MSR, July 2007.
Escape From the Ivory Tower: The Haskell Journey, From 1990 to 2011
Simon Peyton-Jones, Yow, December 2011
Taming Effects - The Next Big Challenge
Simon Peyton-Jones at Ericsson, February 2008.
Faith, Evolution, and Programming Languages
Phil Wadler, April 2007. Slides are here
Haskell in the Hallway
An interview with SPJ at OSCON, Sep 2007.
Lecture Functional Programming
A computer science lecture at RWTH University Aachen (Germany) dealing with functional programming and haskell (including theoretical background)
Simon Peyton Jones on Functional Programming and Haskell (Audio)
Simon explains laziness, purity, parallelism, side effects, monads, software transactional memory
High-Assurance Software
John Launchbury at Ericsson, 21 February 2008.

Haskell Implementors Workshop 2009,2010,2011,2012

HaskellImplementorsWorkshop

Haskell Symposium 2008

/Haskell Symposium 2008 videos.

ICFP 2007 and Workshops

The Reduceron: Widening the von Neumann Bottleneck for Graph Reduction using an FPGA.
The Reduceron: Widening the von Neumann Bottleneck for Graph Reduction using an FPGA. A research talk given at IFL'2007 in Freiburg. Work by Matthew Naylor and Colin Runciman of the University of York.
Selected videos from IFL 2007 and ICFP 2007.
All talks from Haskell Workshop 2007.

Advanced topics in functional programming

Type-driven testing in Haskell
Simon Peyton Jones talks about QuickCheck and SmallCheck
The Catsters on YouTube
Various interesting lectures on category theory, including monads, adjunctions, limits, and a variety of other topics.
Generic Programming in Haskell.
Johan Jeuring, July 2007.
Parametric Polymorphism and the Girard-Reynolds Isomorphism
Phil Gossett, April 2007.
(link broken as of 2012-02-07)
Don't fear the monads
Brian Beckman introducing monads

Concurrency and parallelism

Concurrent and multicore programming in Haskell (alternate link, just video)
Bryan O’Sullivan at Bay Area Functional Programmers, 8 May 2008
Declarative Programming Techniques for Many-Core Architectures
Satnam Singh at Ericsson, 21 February 2008
Transactional Memory for Concurrent Programming
Simon Peyton-Jones, OSCON, July 2007.
Programming in the Age of Concurrency: Software Transactional Memory
Simon Peyton-Jones and Tim Harris, September 2006.
Nested Data Parallelism in Haskell
Simon Peyton-Jones, London HUG, May 2007.
Slides (pdf)

The Web

HAppS
Alex Jacobson, Bay Area FPers, Oct 2007.

Games

Games in Haskell
2007 meeting of the London Haskell User Group. Matthew Sackman and Tristan Allwood of Imperial College talk about building 3D games in Haskell.
Data parallel physics engine
2008, Hpysics' visulization code now performs double buffering
Yampa Space Invaders
Space Invaders, using functional reactive programming.
Monadius
A 2D space game
Super 'Nario' Bros
Super 'Nario' Brothers in Haskell
Frag
Frag

The ICFP contest

2006 ICFP contest results
ICFP, 2006
2007 ICFP contest results
ICFP, 2007

Livecoding Haskell

Data Driven Programming in Haskell
Uses the unscripted, “real-world” toy project of performing character recognition on an image that many other OCR tools fail on due to very low resolution.
Coding Uncut
A channel of unscripted, unedited and uncut videos of solving problems using Haskell.
Haskell Live
Basic and intermediate Haskell concepts taught while tackling problems.
Haskell from Scratch
Implementation of djb's redo (a GNU Make replacement) from scratch.
Music and Sound generation
Henning Thielemann July 2007 in Leipzig about Music and Sound using SuperCollider, CSound, MIDI and pure Haskell (German)
Haskell music
Yaxu, 2006.
Hacking Haskell music
More of Yaxu live coding music and Haskell, 2006.
ASCII Rave in Haskell
Yaxu, using words to control the articulation of a physical modelling synthesiser based on the elegant Karplus-Strong algorithm

GHC Hackathon presentations

GHC commentary
Simon Peyton Jones and Simon Marlow, 2006.

Commercial users

Paradise
An EDSL in Haskell developed by Credit Suisse for Derivatives Pricing

Haskell applications

Emacs Flymake
Daisuke IKEGAMI, a demo of editing Haskell program on Emacs with on-the-fly syntax and type checking using flymake-mode (see also EmacsWiki:FlymakeHaskell for details), 11 November 2007
HAL2
HAL2 meeting in July 2007 in Leipzig, presenting talks about Generic Programming (English), Eclipse for Haskell (German), Grapefruit GUI (German) and Music+Sound generation (German)
GADTs for darcs
David Roundy, FOSDEM, 2006
Darcs and Generalised Algebraic Data Types
Ganesh Sittampalamhs talk on Darcs and GADTs
Functional Image Synthesis
Conal Elliott, talk at University of Washington, November 2000
Tangible Functional Programming
Conal Eliott's Google Tech Talk
Testing with QuickCheck
John Hughes at Ericsson, 21 February 2008
Composing Contracts - An Adventure in Financial Engineering
Simon Peyton Jones at Ericsson, 21 February 2008.
xmonad
Don Stewart at the Haskell Workshop, 2007.
Coconut: COde CONstructing User Tool
Haskell DSL to produce high performance SIMD-Parallel code
Augmented reality using Haskell computer vision
Functional augmented reality, Alberto Ruiz
Understanding HaskellDB trailer
Haskell Deconstructed
Examining the source code to Pandoc, xmonad, and other Haskell applications

Interviews

The Haskell Cast
A monthly podcast with interviews from the Haskell community

Other

Tangible Functional Programming: a modern marriage of usability and composability
Conal Elliott. Google TechTalk, November 2007
Retrieved from "https://wiki.haskell.org/index.php?title=Video_presentations&oldid=58392"