型を命名規則に組み込んだ言語とかってないのかな
non primitive だと、さすがに明示的に書く必要あると思うけど、
primitive の宣言時にいちいち型書くのだるい
でも静的型付けは欲しい