E2E: Erik Meijer and Robert Griesemer - Going Go

At Lang.NEXT 2012, several conversations happened in the "social room", which was right next to the room where sessions took place. Our dear friend, Erik Meijer, led many interesting conversations, some of which we are fortunate enough to have caught on camera for C9.
Here, Erik interviews Donna Malayeri (F# PM and Lang.NEXT speaker chair), Gilad Bracha (Dart) and Luke Hoban (ECMAScript). The conversation spans several topics, of course.
Tune in. Enjoy.
yep, we should be able to cast an object to an interface if it actually implements the methods, this is useful, its still checked at compile time and still static, so safety is not lost.
explicitly declaring a class implementing an interface is useful for checking when developing a library without consuming code, but it could be optional, right ?
Isnt NoPIA doing a similiar thing ?
Golden comment by Gilad: "there are conferences for those papers".
Golden comment by Erik: "did you get a package from Amsterdam?".
Great idea by Erik towards the end. Isn't that sort of also what Links was invented for?
Not using Dart yet but probably will include it in the existing arsenal of Js+Jq, C# and F#.
Great interview
Scala has delimited contintuations (shift / reset keywords) where you can bracket some state that is relevant for your computation and do something with it (save/restore/ship to another location, etc). A stateful web framework could leverage that well, although I don't know of any that does.
Also, one of the useful F# features is metaprogramming using computation expressions that provides language extensibility (this is like C++ or LISP macros but not exactly). Donna talks about that at around the 45 minute mark. One of the products that leverages it well is WebSharper (http://websharper.com) for generating client side javascript from F# code.