Re:Typed Lua: An Optional Type System for Lua [pdf]
by spankalee on Friday June 13, 2014 @05:44PM
(#7891001)
What makes you say that Dart "relented" on not using type annotations in the runtime?
The VM basically throws the type annotations away. In production mode, the type annotations can be completely wrong and your program will still function, and still be just as fast.
You realize that you just planted a good solid troll magnet of the "I never make any type errors" variety. Some people get annoyed by the notion that you can enlist the compiler (using succinct syntax) to write and validate tests that they ought to be writing. They would rather write the tedious tests themselves.
@spankalee They had a blogpost along those lines, sadly not bookmarked, but you might be able to find it.