With Gilad Bracha
In this talk, we'll examine optional types and mirrors in Dart and elsewhere. We'll start some pre-history, demoing the Strongtalk system whose optional types were the pre-cursor to Dart's. Then we'll discuss the current state of Dart's typechecking. Next, we'll review mirror-based reflection and examine several variant APIs: Strongtalk, Newspeak and Dart.