Haskell並みに安全で機械語にコンパイルされたコードをPythonから生成してから言え