Ils proposent un "weak mode" qui permet à leur outil de faire de l'inférence de type pour détecter les erreurs de typage dans ton code, sans que tu aies besoin d'annoter toi-même les types. Mais tu peux aussi utiliser leur surcouche fortement typée, et si tu fais ça partout tu n'as plus besoin d'inférence puisque les types sont explicites partout (enfin j'ai l'impression d'après leurs quelques exemples). Les deux sont intéressant, mais j'ai l'impression que c'est un peu l'un ou l'autre, pourquoi aurait-on besoin des deux à la fois ? (à part quand on migre un programme peut-être)

[edit] vu sur IRC, l'intérêt c'est ptet d'utiliser leurs annotations explicites au minimum d'endroit et de se reposer sur l'inférence pour faire le reste du boulot ; sachant que ça a a l'air d'être fait pour lever des warnings tant qu'il reste des variables implicitement dynamiques dans ton code, c'est peut-être ça l'intention en effet