BestTechVideos: Tag haskell Videos

OSCON 2007 - Simon Peyton-Jones - A Taste of Haskell Part II

scoundrel — Thu, 09 Aug 2007 21:52:40 GMT

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.

I'm going to use xmonad as my running example; it's an X11 window manager written entirely in 500 lines of Haskell. Based on xmonad I will show you how to

write functional programs
test them using QuickCheck
write imperative programs
call foreign functions
use Haskell for scripting applications

I won't assume you know any functional programming at all, but I will assume that you are an experienced professional programmer, so I will move along quite briskly.

From the O'Reilly Media Open Source Convention, July 23, 2007. Video provided by Galois. Slides are available here.

Read more about this video…

Want to control this feed contents? Sign up here and create your own feed!

Want more on these topics?
Browse the archive of posts filed under Conferences, Companies, Development, Broadcasting, Science, Microsoft, Lectures, Computer Science

OSCON 2007 - Simon Peyton-Jones - A Taste of Haskell Part I

scoundrel — Thu, 09 Aug 2007 21:47:15 GMT

write functional programs
test them using QuickCheck
write imperative programs
call foreign functions
use Haskell for scripting applications

I won't assume you know any functional programming at all, but I will assume that you are an experienced professional programmer, so I will move along quite briskly.

From the O'Reilly Media Open Source Convention, July 23, 2007. Video provided by Galois. Slides are available here.

Read more about this video…

Want to control this feed contents? Sign up here and create your own feed!

Want more on these topics?
Browse the archive of posts filed under Conferences, Companies, Development, Broadcasting, Science, Microsoft, Lectures, Computer Science

Faith, Evolution, and Programming Languages

scoundrel — Sat, 05 May 2007 18:52:35 GMT

Google Tech Talks
April 27, 2007

ABSTRACT

Faith and evolution provide complementary--and sometimes conflicting--models of the world, and they also can model the adoption of programming languages. Adherents of competing paradigms, such as functional and object-oriented programming, often appear motivated by faith. Families of related languages, such as C, C++, Java, and C#, may arise from pressures of evolution. As designers of languages, adoption rates provide us with scientific data, but the belief that elegant designs are better is a matter of faith. This talk traces one concept, second-order quantification, from its inception in the symbolic logic of Frege through to the generic features introduced in Java 5, touching on features of faith and evolution. The remarkable correspondence between natural deduction and functional programming informed the design of type classes in Haskell. Generics in Java evolved directly from Haskell type classes, and are designed to support evolution from legacy code to generic code. Links, a successor to Haskell aimed at AJAX-style three-tier web applications, aims to reconcile some of the conflict between dynamic and static approaches to typing.

Read more about this video…

Want to control this feed contents? Sign up here and create your own feed!

Want more on these topics?
Browse the archive of posts filed under Conferences, Companies, Development, Broadcasting, Techtalks, Google, Lectures

Advanced Topics in Programming Languages Series: Parametric Polymorphism

scoundrel — Sat, 05 May 2007 10:32:32 GMT

Google Tech Talks
April 18, 2007

ABSTRACT

Advanced Topics in Programming Languages Series: Parametric Polymorphism and the Girard-Reynolds Isomorphism. This talk is based on a series of papers by Philip Wadler, a principal designer of the Haskell programming language. Featured are a number of double-barreled names in computer science:

Hindley-Milner (Strong typing without having to type the types)
Wadler-Blott (Making ad-hoc polymorphism less ad-hoc with parametricity)
Curry-Howard (Isomorphism between types and theorems, terms and proofs)
Girard-Reynolds (Isomorphism between types and terms in the presence of parametricity)

The talk will conclude with a programming technique (using the above) where the Haskell compiler (almost) writes your code for you!

Speaker: Phil Gossett

Read more about this video…

Want to control this feed contents? Sign up here and create your own feed!

Want more on these topics?
Browse the archive of posts filed under Conferences, Companies, Development, Broadcasting, Science, Techtalks, Google, Lectures, Computer Science