Functional Programming eXchange 2013 / Adventures with types

Please RSVP for instructions on how to join the event.

Description

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.

Outline

No outline is available

Recording

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)

8.0k
Author

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
Built with WebSharper