Functional Programming eXchange 2013 / Adventures with types

Please RSVP for instructions on how to join the event.


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.


No outline is available


The creator of this video has not given permission to embed it on this domain.

Instead, you can view this video by following this external link:

Go to site

Simon Peyton Jones (SimonPeytonJones)


No biography is available.

For a complete view of this profile, including education, work experience and developer information, you need to be logged in and have a subscription.

Simon Peyton's upcoming trainings

No events

Simon Peyton's past online trainings

Simon Peyton's blog posts

IntelliFactory Offices Copyright (c) 2011-2012 IntelliFactory. All rights reserved.
Home | Products | Consulting | Trainings | Blogs | Jobs | Contact Us | Terms of Use | Privacy Policy | Cookie Policy
Built with WebSharper