I often would like python, but with some static typing...