ロー多相
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/12/05 07:11 UTC 版)
詳細は「ロー多相（英語版）」を参照 「構造的型システム（英語版）」も参照 ロー多相は、型理論におけるレコード型（record type）の直積的または総和的な可変長要素の構造分析から導き出された多態性であり、動的型付けおよび動的プログラミングを説明できる形式論理として紹介される。構造的型付け (structural typing) の多態性（多相性）はロー多相に分類されることがある。構造的型付けに類似したダックタイピングの説明にも適している。 日本語では行多相と訳されることもあれば、列多相と訳されることもある。
※この「ロー多相」の解説は、「ポリモーフィズム」の解説の一部です。
「ロー多相」を含む「ポリモーフィズム」の記事については、「ポリモーフィズム」の概要を参照ください。
ウィキペディア小見出し辞書の「ロー多相」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。
お問い合わせ。
- ロー多相のページへのリンク
