Difference between revisions of "Video presentations"
Jump to navigation
Jump to search
DonStewart (talk | contribs) 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
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.