HOME SCALA & F# JAVA .NET WEB GROOVY & GRAILS ANDROID & IOS NOSQL ARCHITECTURE AGILE & SCRUM AGILE DEVELOPER  
Functional Programming eXchange 2013: Simon Peyton Jones on Adventures with types
Adventures with types
Static type systems are the world’s most widely applied formal method, in daily use by millions of programmers. The trouble is that weak type systems give types a bad name; they get in your way and stop you writing the programs you want to write. And that leads to the familiar but fruitless static-vs-dynamic debate that I hope to avoid entirely. The trick instead is to develop type systems that have the good properties you love (compact, informative, detect errors early etc), without the ones you hate (get in your way).

Haskell is the world’s most crazy adventure playground for innovation in type systems. In this talk, Simon will sketch some of Haskell’s recent developments, to give you a taste of the kind of things that might come over your horizon sometime soon.

WANT TO LEARN MORE? THEN CHECK OUT OUR EXPERT WORKSHOPS!

Well Typed's Fast Track to Haskell

Andreas Loh explains the foundations you need in order to become productive with Haskell. While you will touch on the theoretical foundations of the language, the focus is practice: you will obtain concrete advice on how to best use the power that Haskell puts into your hands, and how to design robust functional programmes in a principled and systematic way - the kind of things that are difficult to pick up by reading a book.

Upcoming course dates in 2013: April 8th-9th

Find out more on the course here.

Well Typed's Advanced Haskell

You will deepen your understanding and mastery of Haskell's more advanced concepts including Haskell's evaluation mechanism and how to debug performance problems. Learn what techniques and data structures to use for the most idiomatic and best performing code. We will discuss abstractions offered for both concurrency and high-level, deterministic parallel programming, enabled by Haskell's explicit side effects. An in-depth look at Haskell's type system will help you to understand how types can guide the user on how to correctly use complex code, and how to design your own libraries that can be used safely by others.

Upcoming course dates in 2013: April 10th-11th

Find out more on the course here.

Typesafe's Fast Track to Scala

This two day course, designed by Martin Odersky, the creator of the Scala programming language, and Heiko Seeberger, a recognised Scala expert, will give you an excellent grounding in Scala. Upon completion of the course you will be a competent user of Scala constructs in application code, know how to apply the functional programming style in Scala, use Scala tools and be confident to start using Scala in production applications.

Upcoming course dates in 2013: May 13th 14th

Find out more on the course here.

Typesafe's Advanced Scala

This two day course is aimed at developers with at least three months production experience with Scala. The course will teach you the advanced features of Scala to enable you to unleash the full power of this scalable language. You will also learn how to apply these to create well designed libraries of DSLs using proven practices.

Upcoming course dates in 2013: May 15th-16th

Find out more on the course here.

Russel Winder's Python Workshop

A four-day workshop authored and taught by Python expert Russel Winder. You'll learn both low-level details of Python as well as the idiomatic design approaches in Python. Through lectures, exercises, and discussions, Russel introduce Concurrency and Parallelism. After grokking these keys elements, delegates then learn about GUI's and explore Networking, XML processing, and Persistence when developing apps in Python. In the final stages of this workshop, you will be introduced to Python extensions and extension test, and introduced to Django, Python Web App frameworks and how to use dynamic techniques.

Upcoming course dates in 2013: April 22th-25th

Find out more on the course here.

Fast Track to F# with Tomas Petricek & Phil Trelford.

This two day Fast Track to F# course is designed to enable you to start using F# in production and get the most out of the functional and concurrent programming concepts. In this course, Tomas and Phil will take a look at a number of applications, and explore how F# simplifies domain modelling and testing. You'll then look at some F# features for asynchronous and concurrent programming and for data processing.

Upcoming course dates in 2013: March 13th-14th

Find out more on the course here.


ABOUT SIMON PEYTON JONES
Simon Peyton Jones, MA, MBCS, CEng, graduated from Trinity College Cambridge in 1980. After two years in industry, he spent seven years as a lecturer at University College London, and nine years as a professor at Glasgow University, before moving to
More about Simon Peyton Jones
PODCAST ADVENTURES WITH TYPES

This session took part at the Functional Programming eXchange 2013. You can view the other 19 podcasts here.

FUNCTIONAL PROGRAMMING EXCHANGE 2013 PHOTOS
PROGRESSIVE JAVA PODCASTS
Russ Miles: From Patterns to Code: Coding Simple Event-Driven Components for Agile Software, From Patterns to Code: Coding Simple Ev
Russ Miles : 23rd May 2013
View Podcast:  From Patterns to Code: Coding Simple Event-Driven Components for Agile Software,
Russ Miles:Fighting for Simplicity with Spring, Fighting for Simplicity with Spring
Russ Miles : 21st May 2013
View Podcast: Fighting for Simplicity with Spring,
David Syer:Spring Security Javaconfig: New Kid on the @Configuration Block, Spring Security Javaconfig: New Kid on t
David Syer : 21st May 2013
View Podcast: Spring Security Javaconfig: New Kid on the @Configuration Block,
 :STORM for streaming analytics at scale: a case study on cybersecurity, Streaming analytics at scale
: 16th May 2013
View Podcast: STORM for streaming analytics at scale: a case study on cybersecurity,
Nick Zeeb:High Performance Design, High Performance Design
Nick Zeeb : 14th May 2013
View Podcast: High Performance Design,
Mikhail Kirvoshein:Different Measures Of Application Performance , Measures Of Application Performance
Mikhail Kirvoshein : 14th May 2013
View Podcast: Different Measures Of Application Performance ,
Dmitry Buzdin:Writing Hybrid GWT/JavaScript Applications , Writing Hybrid GWT/JavaScript Applicatio
Dmitry Buzdin : 13th May 2013
View Podcast: Writing Hybrid GWT/JavaScript Applications ,
Yodit Stanton:Machine Learning with Storm + Redis, Machine Learning with Storm + Redis
Yodit Stanton : 7th May 2013
View Podcast: Machine Learning with Storm + Redis,
Akmal  Chaudhri :Considerations for using NoSQL technology on your next IT project, Considerations for using NoSQL technolog
Akmal Chaudhri : 7th May 2013
View Podcast: Considerations for using NoSQL technology on your next IT project,
Bruce Durling:Cascalog for the 80% of Data Science, Cascalog for the 80% of Data Science
Bruce Durling : 7th May 2013
View Podcast: Cascalog for the 80% of Data Science,
Various Speakers:Lightning Talks, Lightning Talks
Various Speakers : 7th May 2013
View Podcast: Lightning Talks,
Hadi Hariri:Introduction to Kotlin Workshop, Intro to Kotlin Workshop
Hadi Hariri : 2nd May 2013
Podcast Coming Soon: Introduction to Kotlin Workshop,
Simon Maple:Do you really get class loaders?, Do you really get class loaders?
Simon Maple : 25th Apr 2013
View Podcast: Do you really get class loaders?,
Robert Rees:Feature Releasing: Breaking the two week cycle, Feature Releasing
Robert Rees : 25th Apr 2013
View Podcast: Feature Releasing: Breaking the two week cycle,
Russ Miles:Architectural Simplicity through Events: A war story of managing the challenge of integration and flexibility , Architectural Simplicity through Events
Russ Miles : 24th Apr 2013
View Podcast: Architectural Simplicity through Events: A war story of managing the challenge of integration and flexibility ,
OTHER PROGRESSIVE JAVA EVENTS
Neo4J User Group:Discuss a little Graph Theory for the Busy Developer, Neo4J User Group
FREE EVENT: Discuss a little Graph Theory
London, Wednesday, May 29th
Jon Pither Functional Programming in the enterprise,  Functional Programming in the enterprise
FREE EVENT: In The Brain of Jon Pither
London, Monday, June 3rd
Bert Ertman Best Practices for Migrating Spring Applications to Java EE 6,  Best Practices for Migrating Spring Applications to Java EE 6
FREE EVENT: In The Brain of Bert Ertman
London, Tuesday, June 4th
The London Clojure Community:Deuce is (not yet) Emacs under Clojure, The London Clojure Community
FREE EVENT: Deuce is (not yet) Emacs under
London, Tuesday, June 4th
Luke Daley:Hans Dockter's Gradle In-Depth,  Hans Dockter's Gradle In-Depth
3 DAY COURSE. Featuring Luke Daley
London, Wednesday, June 5th
Martin Thompson:Writing Concurrent Code with Lock-Free Algorithms with Martin Thompson,  Writing Concurrent Code with Lock-Free Algorithms
3 DAY COURSE. Featuring Martin Thompson
London, Wednesday, June 5th
London Java Community:Java Development Testing, London Java Community
FREE EVENT: Java Development Testing
London, Thursday, June 6th
Peter Ledbrook:SpringSource's Groovy and Grails Workshop,  Springsource's Groovy & Grails Workshop
4 DAY COURSE. Featuring Peter Ledbrook
London, Monday, June 10th
© Copyright 2003-2013, Skills Matter Ltd
About Us  Jobs  Find Us  Meeting & Training Rooms  Newsletter  Jobs: Sales Executive  Jobs: Student SkillsCaster  jobs - junior event coordinator  Open Source Journal  Jobs: Sponsorship Development  jobs: Marketing & Sales Graduate Internship  Jobs: HR Manager  jobs-Join Our Dev Team  DevOps Engineer  Front-End Engineer  Test Engineer