Link Details

Link 939905 thumbnail
User 1074949 avatar

By Michael_Skillsmatter
via skillsmatter.com
Submitted: Mar 15 2013 / 14:23

The opening keynote to the conference. 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.
  • 2
  • 0
  • 402
  • 77

Add your comment


Html tags not supported. Reply is editable for 5 minutes. Use [code lang="java|ruby|sql|css|xml"][/code] to post code snippets.

Voters For This Link (2)



Voters Against This Link (0)



    Java Performance Optimization
    Written by: Pierre-Hugues Charbonneau
    Featured Refcardz: Top Refcardz:
    1. Design Patterns
    2. OO JS
    3. Cont. Delivery
    4. Java EE7
    5. HTML5 Mobile
    1. Node.js
    2. Debugging JavaScript
    3. OO JS
    4. JSON
    5. Ajax