Type-checking Tips

Closure Compiler’s type language is a bit complicated. It has unions (“variable x can be A or B”), structural functions (“variable x is a function that returns a number”), and record types (“variable x is any object with properties foo and bar”). A lot of people have told us that that’s still not expressive enough. There are many ways that you can write JavaScript that do not fit cleanly into our

[ama-ch]

Functionとfunction()の使い分けとか、Objectと{}の書き方とか、constとかtypedefとか。