Is My Pi a Type Checker?

Grito: I really do want people to give my pie a try. That static type checker is pretty amazing. There are still a lot of misunderstandings about what it can do and what it cannot do. Grito: People have predicted that they will turn your Python code into Java, which is obviously nonsense.