liteye

From the readme of Pytype, it's doing type inference instead of type checking. Although I don't know how accurate it is, type inference is much harder than type checking, especially on a language designed with dynamic typing in mind

In http://glom.readthedocs.io/en/latest/tutorial.html#access-gr...,

After years of research and countless iterations, the glom team landed on this simple construct:

'years of research', 'countless iterations', 'glom team', really?