[[Python]]のような書き方でCに近い性能をもつ静的型言語。