コンテンツにスキップ

利用者:McTake

新規に作成した項目[編集]

編集した既存の項目[編集]

砂場[編集]

Template:Polymorphism In programming languages and type theory, parametric polymorphism is a way to make a language more expressive, while still maintaining full static type-safety. Using parametric polymorphism, a function or a data type can be written generically so that it can handle values identically without depending on their type.[1] Such functions and data types are called generic functions and generic datatypes respectively and form the basis of generic programming.

プログラミング言語と型理論において、 パラメトリック・ポリモーフィズムは 静的な型安全性を損なうことなく 言語の表現力を高める方法である。 パラメトリック・ポリモーフィズムは 型に依存せずに値を統一的に扱えるため、 関数やデータ型をより汎用的に記述できる。 このような関数とデータ型はそれぞれ ジェネリック関数とジェネリック・データ型 と呼ばれ、ジェネリック・プログラミングの基礎となっている。

Notes[編集]

References[編集]

  • Pierce, Benjamin C. (2002). Types and Programming Languages. MIT Press. ISBN 978-0-262-16209-8