関数型言語におけるボックス化
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/02/02 09:17 UTC 版)
「ボックス化」の記事における「関数型言語におけるボックス化」の解説
関数型言語でも用いられることがあるが、オブジェクト指向のそれとの関連性はまったくない。ボックス型は単なる間接参照であり、Javaのプリミティブ型に相当する型は非ボックス型（Unboxed type）やプリミティブ型と呼ばれ、直接参照される。関数型言語のひとつであるHaskellでは、そのデファクトスタンダードな処理系であるGHCに対してコンパイラオプションを指定し、なおかつ非ボックス型であることを随所で明示しない限り、非ボックス型を用いることができない。にもかかわらず、知らず識らずのうちに利用している、馴染み深い型でもある。IO型など、副作用を表現する型がその典型例である。
※この「関数型言語におけるボックス化」の解説は、「ボックス化」の解説の一部です。
「関数型言語におけるボックス化」を含む「ボックス化」の記事については、「ボックス化」の概要を参照ください。
ウィキペディア小見出し辞書の「関数型言語におけるボックス化」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。
お問い合わせ。
- 関数型言語におけるボックス化のページへのリンク
