型システムの拡張とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > ウィキペディア小見出し辞書 > 型システムの拡張の意味・解説 

型システムの拡張

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2020/08/04 02:47 UTC 版)

Glasgow Haskell Compiler」の記事における「型システムの拡張」の解説

表現力豊かな静的型付けは、Haskell主な特徴1つである。それ故に、言語拡張作業多くは型と型クラス向けたものになっているGHCSystem FC基づいた拡張型システム対応している主な型システムの拡張は以下の通りである。 任意ランクと非可述的多相性本質的には、多相関数またはデータ型コンストラクタは、引数1つが多相であることを必要とする場合がある。 一般化代数的データ型。多相データ型の各コンストラクタは、結果の型に情報エンコードすることができる。この型でパターンマッチを行う関数は、コンストラクタごとの型情報基づいてデータに対してより具体的な操作を行うことができる。 存在型は、一部データとそのデータ操作束ねて基礎となるデータデータ型隠蔽して操作することができる。このような値は、オブジェクト指向プログラミングオブジェクトと非常に似たものである。 値を含まないデータ型。この機能は型レベルメタプログラミングデータ表現するときに便利である。 型族(英語版)は、型から型へのユーザー定義関数である。パラメータ多相は各型インスタンス化に同じ構造提供するが、型族はインスタンス間で異な実装によりアドホック多相提供するユースケースには、内容応じたコンテナ最適化と、型レベルメタプログラミング含まれている。 動的スコープを持つ暗黙的な関数パラメータ。これは型クラス制約同様に、型で表現される型クラスに関する拡張以下の通りである。 型クラス複数の型によってパラメータ化することができる。従って、型クラスは型の組だけでなく、n-項関係を記述することができる。 関数従属性は、その部分の関係を型の数学的関数制約する。つまり、ある型タイプ一方パラメータ固定されると、もう一方パラメータが完全に決定するように束縛指定される。これは曖昧さがある状況型推論ができる方法案内する型クラスインスタンス許容できる形状に関するルール大幅に緩めた。これが全て有効なとき、型クラスシステムコンパイル時に論理プログラミング向けのチューリング完全言語となる。 型族は型クラス関連付けることができる。 確実な型クラスインスタンス自動生成は、幾つかの方法拡張されている。ジェネリックプログラミング一般再帰パターン向けの新たな型クラス対応している。更に、新しい型が既存の型と同じであると宣言され場合、基の型に対して宣言され型クラスインスタンスは、空の新しい型に昇格する可能性がある。

※この「型システムの拡張」の解説は、「Glasgow Haskell Compiler」の解説の一部です。
「型システムの拡張」を含む「Glasgow Haskell Compiler」の記事については、「Glasgow Haskell Compiler」の概要を参照ください。

ウィキペディア小見出し辞書の「型システムの拡張」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ



英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「型システムの拡張」の関連用語

型システムの拡張のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



型システムの拡張のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、WikipediaのGlasgow Haskell Compiler (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS