mypy is going in a nice direction! hope it would get scala or idris-level typechecks :) But... most library definitions are quite lacking... if only some big c

mypy is going in a nice direction! hope it would get scala or idris-level typechecks :) But... most library definitions are quite lacking... if only some big company would volunteer to fill that huge gap... (hope MS gives some luv! just like they did with Typescript + DefinitelyTyped)