Difference between revisions of "Video presentations"
Jump to navigation
Jump to search
Yuvallanger (talk | contribs) (Adding SPJ XMonad OSCON 2007 talks (thanks hvr_)) |
m (Replaced dead link of Transactional Memory for Concurrent Programming) |
||
| (2 intermediate revisions by one other user not shown) | |||
| Line 12: | Line 12: | ||
== Introductions to Haskell == |
== Introductions to Haskell == |
||
| − | :<del>[http://blip.tv/file/324976 Part 1] |
+ | :<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]) |
| − | :<del>[http://blip.tv/file/325646 Part 2] |
+ | :<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://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 95: | Line 95: | ||
:Satnam Singh at Ericsson, 21 February 2008 |
:Satnam Singh at Ericsson, 21 February 2008 |
||
| − | ;[ |
+ | ;[https://www.youtube.com/watch?v=4caDLTfSa2Q Transactional Memory for Concurrent Programming] |
:Simon Peyton-Jones, OSCON, July 2007. |
:Simon Peyton-Jones, OSCON, July 2007. |
||
Latest revision as of 07:05, 7 August 2016
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.
- 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
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.
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
- 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