あらゆるところに型をつけようという強い意志があります。そのため他のプログラミング言語ならランタイム時に行わざるをえないこともコンパイル時に解決・最適化できます。コンパイラにしっかり守られている感覚が強いです。部分を書くときは、「ここから先はコンパイラは助けてくれない。自分がしっかりしなくては...」という気分になれます。他のプログラミング言語に備わっている定評のあるアイデアやパラダイムからインスパイアされています。☆」と思うであろう定評のある機能やパラダイムです。人が「こんなのいらないです。お願いですからやめてください。等ほとんどのプログラミング言語]などについては「そんなのいりません。」という感じで最初から入れる気がまったくないところが素敵です。Oriented」のプログラミング言語です。ことも関数型プログラミングのこともどちらもわかっていない可能性が高いです。ついてきちんと学んだほうが生産的です。学習コストが高いプログラミング言語と思われていますが、そもそも(ある程度大規模な)「プログラムを正しく」書くこと自体が普通の人間には相当難しいことです。これまでの学習コストが低いとされているプログラミング言語は、最初のほうだけ「(なんとなく)動いている」プログラムを書くのを助けてくれるだけであり、「正しいプログラム」を書くことについては何も助けてくれず放置プレイです。最終的にユーザーにすべての責任・負担がかかります。「正しいプログラム」を人間が書くまできちんと指摘してくるので学習コストが高くなってしまいますが、それらはいずれは何らかの形で身につけなければいけないことなのでむしろありがたいことです。これまではユーザーが担っていた責任の一部を、「コンパイラに押し付ける」ことができます。「学習コストが高い」言語というよりは「プログラミングの学習コストを可視化してくれる」言語といったほうがいいかもしれません。学習コストが高く感じるのは、きちんと可視化がうまくいっている結果です。