Why Dart Types Are Optional and Unsound

Re:Why Dart Types Are Optional and Unsound by jashkenas on Thursday January 05, 2012 @09:53PM (#3431714)

Also, writing this:

    > We don't want Dart to be a testbed for active programming
    > languages research, but I think we're open to taking up
    > ideas after they become well understood and unsurprising,
    > a.k.a. a little bit boring.

... after saying this in the first paragraph:

    > Dart uses types in a way that might seem strange. Most
    > popular languages that offer a type system use it very 
    > differently. If you're familiar with types in Java, Haskell, 
    > Scala, or any statically typed language, you may wonder 
    > why on earth Dart makes the choices that it does.

... makes me wonder why on earth Dart makes the type system choices that it does ;)

[ Parent | on HN ]

Re:Why Dart Types Are Optional and Unsound by roestava on Thursday January 05, 2012 @10:04PM (#3431748)

That's a good point to make. Miguel de Icaza has said that after taking a brief look at Dart he thought it was pretty academic. Maybe he was refering to more than the optional typing that Dart makes use of. The truth though is that Dart is in some ways experimental while folks such as Miguel are sitting on already established tech in c#. They aren't going to welcome potential competitors.

[ Parent | on HN ]