型チェックだけじゃなくて、ちゃんと実行可能形式として動くんですね