型のバリエーション

ウィキペディア小見出し辞書

型のバリエーション

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/05/30 09:44 UTC 版)

「型システム」の記事における「型のバリエーション」の解説

典型的には、プログラム中ではすべての値には1つの特定の型が付けられる（1つの型が複数の派生型を持つ場合でも）。オブジェクトやモジュール、通信路、依存関係、及び型自身にさえ型が付けられることもある。 また、型システムの理念であるコンパイル時に重点を置いたフォールトアヴォイダンスを更に推し進めている拡張的な形式体系にエフェクトシステム（英語版）というものがある。こちらではプログラム副作用をも体系化して一種の型として扱っている。