型とポリモーフィズム
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/06/05 19:25 UTC 版)
「Rust (プログラミング言語)」の記事における「型とポリモーフィズム」の解説
この言語の型システムではHaskell言語に倣い「型クラス」を用いることができる。これはアドホックな多相性を容易にするものであり、可変型宣言により実現されるものである。高カインド多相性など、Haskell言語にある他の特徴はサポートされていない。
※この「型とポリモーフィズム」の解説は、「Rust (プログラミング言語)」の解説の一部です。
「型とポリモーフィズム」を含む「Rust (プログラミング言語)」の記事については、「Rust (プログラミング言語)」の概要を参照ください。
型とポリモーフィズム
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/05/30 09:44 UTC 版)
詳細は「ポリモーフィズム」を参照 ポリモーフィズム（多相）という語は、コード（具体的には関数やクラス）が複数の型の値に基づいて動作できること、または同じデータ構造の異なるインスタンスが異なった型の要素を持てることを指す。型システムによってはコードの再利用性を改善するためにポリモーフィズムを持つものもある。ポリモーフィズムのある言語ではプログラマはリストや連想配列のようなデータ構造を使用される要素の型ごとにではなく、単に一度だけ実装すればよい。この理由から計算機科学ではこの種のポリモーフィズムの利用はジェネリックプログラミングと呼ばれることがある。ポリモーフィズムの型理論における基礎は抽象化やモジュール、また（場合によっては）派生型についての研究と密接な関連がある。
※この「型とポリモーフィズム」の解説は、「型システム」の解説の一部です。
「型とポリモーフィズム」を含む「型システム」の記事については、「型システム」の概要を参照ください。
- 型とポリモーフィズムのページへのリンク
