変数に型があらかじめ割り当てられていない言語を参照する用語はありますか？

-1

たとえば、JS、Python、Ruby、Smalltalkなどです。これらの言語では、変数の型がコードで記述される唯一の場所はインスタンス化時です。私は「ゆるやかにタイプされた言語」という言葉で考えていましたが、それはちょっと、まあまあです。これに関する命名法を定義する論文への言及もまた歓迎される。変数に型があらかじめ割り当てられていない言語を参照する用語はありますか？

出典

2017-01-04 melkyades

[動的型指定]（https://en.wikipedia.org/wiki/Type_system#DYNAMIC）？ –

しかし、私が記述したカテゴリに適合しないJavaを見てください。 Javaは動的に型指定された言語ではありませんか？静的にタイプチェックされている間は、デフォルトとして動的ディスパッチも行います。 – melkyades

私はこれを真っ直ぐ真っ直ぐにすることができます...タイプを指定せずに変数を作成し、正確性をチェックするのは実行時にしか起こらないことを記述する用語を探しています。これは、Javaがエラーであなたを爆破するため、動的タイピングです。多態性のために動的なディスパッチが必要であり、動的な型付けとはほとんど関係がありません。 –

通常「ダックタイピング」と呼ばれます。 https://en.wikipedia.org/wiki/Duck_typingを参照してください。

出典

2017-01-05 21:20:46

ニース！しかし、実際には、私はハスケル（私はそれが何年も前に忘れていた）もダックタイピングをサポートしていると思います。しかし、あなたの応答はまた、wiki.c2.com以外の答えに私の道を見つけるのを助けました。私が探していた名前は「暗黙のタイピング」で、http://wiki.c2.com/?ImplicitTypingで説明されているように、さまざまな味があります。そこにはダックタイピングの素晴らしいページもあります！ – melkyades

それからあなたはそれを正しくupvoteする必要がありますか？また、「いい試し」が「あまり正しくない」という意味であれば、その理由を教えてください。 –

変数の型宣言（マニフェスト型指定）を必要としない言語は、Dynamically Typedと呼ばれます。変数は実行時に型を取得し、それが割り当てられているオブジェクトの型です。変数は、新しいオブジェクトが割り当てられるたびに型を変更することができます。

私は、オブジェクトタイプシステムのみを参照するためにダックタイピングを予約しています。これは、通常は正式なインターフェイスを使用して達成されたものを「より安価に」実装することを可能にします。

出典

2017-02-12 21:05:34

変数に型があらかじめ割り当てられていない言語を参照する用語はありますか？

答えて

関連する問題