誰か静的型付けの組み込み言語作ってよ