Functional Geekery Episode 11 – Simon Peyton Jones

In this episode I talk with Simon Peyton Jones. I ask him about his background in Functional Programming, the growing popularity of Haskell, things he would like to bring into Haskell further, and his work with Computing At School.

Our Guest, Simon Peyton Jones

Simon Peyton Jones

Topics

Haskell
Computer Science at School
How Simon Peyton Jones got into Functional Programming
SK Combinators
Implementation of Functional Programming Languages (Amazon, online)
Creation of Haskell
Haskell as a Laboratory for Innovation
Interview on Software Engineering Radio
Core of Haskell as Lambda Calculus
System F
Growing Popularity of Haskell
Hackage and Cabal
Concurrency in Haskell
Haskell as a part of an Ideas Pipeline and Exemplar
“When the limestone of imperative programming is worn away the granite of functional programming will be revealed underneath”
Static Typing in Haskell vs Weaker Type Systems
Type Inference
Incomplete programs

  • Example 1: f x = sort _ ++ x
  • Example 2: f x = funny_lib_fn _ _ _

Things thinking about for future of Haskell
Refinement Types and Liquid Haskell
Larger Scale Modularity in Haskell and Software Components
Cloud Haskell
Refinements Examples

  • Example 1: f :: Int -> Int
  • Example 2: f :: (x:Int) -> {y:Int | y > x }
  • Example 3: g :: (x:Int -> {y:int | y>x}) -> …

Combination of Modularity at Package Level with Refinement Types as part of Component Contract
Bringing Computer Science as Subject Discipline to England National School Curriculum
What the curriculum looks like
Number of Programming Environments aimed at Children in School
Logo
Scratch
Alice
Kodu
Greenfoot
Blockly
touchdevelop
Programming is Only Part of Computer Science
Computer Science Unplugged
How to Participate at the Local Level Even
Join Computing At School

A giant Thank You to David Belcher for the logo design.

6 thoughts on “Functional Geekery Episode 11 – Simon Peyton Jones

  1. Simon

    Turns out uploaded an incomplete episode there since it only has 10 min long. Would you please check?

    Reply
    1. functionalgeekery Post author

      I just checked and I get the full length of the podcast. I have had others who have had issues in the past with the way they are trying to subscribe, what is the way you are trying to get/listen to the episode?

      Reply
      1. Simon

        I download the MP3 file and start listen in VLC.
        I have double checked and it’s because I have an not completed download! (only 7MB file)

        re-download the mp3 file and works fine.

        Very sorry for such “issue”…

        Reply
  2. Pingback: Weak static type systems | The Endeavour

  3. Greg Knapp

    Great episode, possibly the best yet! I signed up for CAS after listening to this. I’ll definitely have to put some time aside to learn me some Haskell.

    Reply
  4. Pingback: Simon Peyton Jones on maintenance with strong types | Matt Newman

Leave a Reply

Your email address will not be published. Required fields are marked *

You may use these HTML tags and attributes: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <strike> <strong>