ソースもいいけどsample見た方がいいよ
型推論できてコンパイルができる(でもその他が貧弱な)pythonを
作りたかったんだってのがよくわかる