まあ、どちらも非常に、非常に非常に非常に非常に誤解されており、また2つの完全に異なるものです。それらは相互に排他的ではありません。
静的型は、言語の文法の制限です。静的に型付けされた言語は、厳密にはコンテキストフリーではないと言えます。単純な真実は、すべてのデータを単純にビットベクトルとして処理しない文脈自由文法で言語をまともな形で表現することが不便になることです。静的型システムは、もしあれば言語の文法の一部であり、コンテキストフリーの文法よりも制限するだけです。したがって、文法チェックは実際にはソース上の2つのパスで行われます。静的型は型理論の数学的概念に対応し、数学の型理論はいくつかの式の合法性を制限するだけです。3 + [4,7]数学では言えませんが、これは型理論のせいです。
したがって、静的型は理論的な観点から「エラーを防ぐ」方法ではなく、文法の制限です。実際、+、3、および間隔に通常のセット理論的定義がある場合、型システムを削除すると、セットで3 + [4,7]あるかなり明確な結果が得られます。「実行時型エラー」は理論的には存在しません。型システムの実用的な用途は、人間にとって意味のない操作を防ぐことです。もちろん、操作はビットのシフトと操作にすぎません。
これの難点は、型システムは、そのような操作が実行されるかどうか、実行が許可されるかどうかを決定できないことです。同様に、すべての可能なプログラムのセットを、「タイプエラー」が発生するプログラムと発生しないプログラムに正確に分割します。次の2つのことしかできません。
1：プログラムで型エラーが発生
することを証明する2：プログラムで型エラーが発生しないことを証明する
これは私が矛盾しているように思えるかもしれません。しかし、CまたはJavaの型チェッカーが行うことは、プログラムを「文法に反する」、または2で成功できない場合に「型エラー」と呼ぶことで、プログラムを拒否することです。それらが発生しないことを証明することはできません。それが発生しないという意味ではなく、それを証明できないという意味です。型エラーが発生しないプログラムは、コンパイラーで証明できないという理由だけで拒否される可能性があります。存在する簡単な例if(1) a = 3; else a = "string";、確かに常にtrueであるため、else-branchはプログラムで実行されることはなく、型エラーは発生しません。ただし、これらのケースを一般的な方法で証明することはできないため、拒否されます。これは多くの静的型付け言語の主な弱点です。自分自身を保護する上で、必要のない場合は必ず保護されます。
しかし、一般に信じられていることとは逆に、原則1で機能する静的型付き言語もあります。これらは、型エラーの原因になることを証明できるすべてのプログラムを単に拒否し、そうでないすべてのプログラムを渡します。そのため、型エラーのあるプログラムを許可する可能性があります。良い例として、Typed Racketがあります。動的型と静的型のハイブリッドです。そして、このシステムで両方の長所を利用できると主張する人もいます。
静的型付けのもう1つの利点は、型がコンパイル時に認識されるため、コンパイラーがこれを使用できることです。Javaで"string" + "string"またはの場合、最後のテキスト内の3 + 3両方の+トークンが完全に異なる操作とデータを表す場合、コンパイラーはタイプのみからどちらを選択するかを認識しています。
ここで、私は非常に物議を醸す声明を出して、私と一緒に言いましょう。「動的型付け」は存在しません。
非常に論争の音が、それは本当だ、動的型付け言語は理論的な視点からある型なし。それらは静的型付け言語であり、型は1つだけです。簡単に言えば、実際には文脈自由文法によって実際に文法的に生成された言語です。
なぜ型がないのですか？すべての操作が定義され、すべてのオペラントで許可されているため、正確に「ランタイムタイプエラー」とは何ですか？それは純粋に副作用の理論的な例からのものです。やった場合はprint("string")文字列を出力しているが操作されるようにされ、その後length(3)、前者は書き込みの副作用があるstring標準出力にし、後者は単にerror: function 'length' expects array as argument.、それはそれです。理論的には、動的型付け言語などはありません。彼らは型付けされていません
はい、「動的型付け」言語の明らかな利点は表現力です。型システムは表現力の制限にすぎません。そして一般的に、型システムを備えた言語は、型システムが単に無視された場合に許可されないすべての操作に対して実際に定義された結果を持ち、その結果は人間にとって意味がありません。型システムを適用した後、多くの言語はチューリングの完全性を失います。
明らかな欠点は、人間には無意味な結果を生成する操作が発生する可能性があるという事実です。これを防ぐために、動的に型付けされた言語は通常、これらの操作を再定義しますが、無意味な結果を生成するのではなく、エラーを書き出してプログラムを完全に停止するという副作用を持つように再定義します。これはまったく「エラー」ではありません。実際、言語仕様は通常これを暗示しています。これは、理論的な観点から文字列を出力するのと同じくらい言語の動作です。したがって、型システムはプログラマーにコードの流れについて推論させ、これが起こらないようにします。または実際に、その理由は、それはそれを行いますデバッグは、「エラー」ではなく、言語の明確に定義されたプロパティであることを示しており、デバッグの際に便利です。実際、ほとんどの言語が持っている「動的型付け」の唯一の名残は、ゼロによる除算から保護しています。これが動的型付けであり、型はありません。それ以外の型はありません。ゼロは他のすべての数値とは異なる型です。人々が「タイプ」と呼ぶものは、配列の長さや文字列の最初の文字など、データのもう1つのプロパティです。また、動的に型付けされる言語の多くでは、のようなものを書き出すこともできます"error: the first character of this string should be a 'z'"。
もう1つは、動的に型付けされた言語には実行時に使用可能な型があり、通常はそれをチェックして処理し、それから決定できるということです。もちろん、理論的には、配列の最初の文字にアクセスしてそれが何であるかを確認することと同じです。実際、独自の動的Cを作成し、long long intのような1つの型のみを使用し、その最初の8ビットを使用して「型」を格納し、それに応じてチェックして浮動小数点または整数の加算を実行する関数を書き込むことができます。1つのタイプの静的型付き言語、または動的言語があります。
実際、これはすべて静的に型付けされた言語が商用ソフトウェアの記述のコンテキストで使用されるのに対し、動的に型付けされた言語は、いくつかの問題の解決といくつかのタスクの自動化のコンテキストで使用される傾向があります。静的に型付けされた言語でコードを書くことは、時間がかかるだけで面倒です。それは、あなたがわかったことがうまくいくとわかっていることはできませんが、型システムは、自分が犯していないエラーから自分を守ってくれるからです。多くのプログラマーは、システム内にあるためにこれを行うことにさえ気づいていませんが、静的言語でコーディングする場合、タイプシステムではうまくいかないことを実行できないという事実を回避することがよくあります。それがうまくいかないことを証明することはできません。
私が指摘したように、「静的に型付けされた」とは、一般にケース2を意味し、無罪であることが証明されるまで有罪となります。しかし、型理論から型システムをまったく導き出さない言語の中には、ルール1を使用するものがあります。だから、多分タイプドラケットはあなたのためです。
また、まあ、もっと不条理で極端な例として、私は現在「型」が本当に配列の最初の文字である言語を実装しています、それらはデータですタイプとデータム、それ自体がタイプとして存在する唯一のデータム。タイプは有限または静的に制限されていませんが、ランタイム情報に基づいて新しいタイプが生成される場合があります。