Difference between revisions of "Video presentations"

From HaskellWiki
Jump to: navigation, search
m (typo)
(Haskell applications: Functional Image Synthesis)
Line 63: Line 63:
 
;[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.uwtv.org/programs/displayevent.aspx?rID=2124&fID=368 Functional Image Synthesis]
  +
: Conal Elliott, talk at University of Washington, November 2000
  +
: [http://conal.net/Pan Pan] is a declarative language and optimizing compiler for image synthesis, based on a simple but precise semantic model: pictures are functions from infinite, continuous space to colors with partial opacity; and effects are functions over pictures. Because of the centrality of functions, Pan is based on the functional programming paradigm, and is in fact embedded in the functional language Haskell.
  +
  +
   
 
[[Category:Tutorials]]
 
[[Category:Tutorials]]

Revision as of 16:21, 4 August 2007

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

Introductions to FP and Haskell

A Taste of Haskell
Part 1 (.mov)
Part 2 (.mov)
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.

Programming language nirvana
Simon Peyton-Jones, Eric Meijer, MSR, July 2007.
Faith, Evolution, and Programming Languages
Phil Wadler, April 2007.

Advanced topics

Parametric Polymorphism and the Girard-Reynolds Isomorphism
Phil Gossett, April 2007.

Concurrency and parallelism

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.

The ICFP contest

2006 ICFP contest results
ICFP, 2006

Livecoding Haskell

Haskell music
Yaxu, 2006.
Hacking Haskell music
More of Yaxu live coding music and Haskell, 2006.

GHC Hackathon presentations

GHC commentary
Simon Peyton Jones and Simon Marlow, 2006.

Haskell applications

GADTs for darcs
David Roundy, FOSDEM, 2006
Functional Image Synthesis
Conal Elliott, talk at University of Washington, November 2000
Pan is a declarative language and optimizing compiler for image synthesis, based on a simple but precise semantic model: pictures are functions from infinite, continuous space to colors with partial opacity; and effects are functions over pictures. Because of the centrality of functions, Pan is based on the functional programming paradigm, and is in fact embedded in the functional language Haskell.