第7章GHCの言語機能

目次

7.1. 言語オプション
7.2. 非ボックス化型とプリミティブ演算
7.2.1. 非ボックス化型
7.2.2. 非ボックス化タプル
7.3. 構文的拡張
7.3.1. Unicode構文
7.3.2. 魔法の井桁(magic hash)
7.3.3. 演算子を修飾する際の新しい構文
7.3.4. 階層的モジュール
7.3.5. パターンガード
7.3.6. ビューパターン
7.3.7. n+kパターン
7.3.8. 再帰的do記法
7.3.8.1. 再帰的do記法についての詳細
7.3.8.2. mdo記法 (廃止予定)
7.3.9. 並行リスト内包表記
7.3.10. 一般化(SQL風)リスト内包表記
7.3.11. 再束縛可能な構文とPreludeの暗黙インポート
7.3.12. 後置演算子
7.3.13. タプルのセクション
7.3.14. レコードフィールドの曖昧性除去
7.3.15. レコード同名利用
7.3.16. レコードワイルドカード
7.3.17. 局所結合性宣言
7.3.18. パッケージ修飾されたインポート
7.3.19. 盗まれた構文の概略
7.4. データ型と型シノニムへの拡張
7.4.1. 構築子のないデータ型
7.4.2. データ型文脈
7.4.3. 中置型構築子、中置クラス、中置型変数
7.4.4. 型シノニムの制限緩和
7.4.5. 存在量化されたデータ構築子
7.4.5.1. どこが存在的か?
7.4.5.2. 存在型と型クラス
7.4.5.3. レコード構築子
7.4.5.4. 制約
7.4.6. 構築子のシグネチャを明示してデータ型を宣言する
7.4.7. 一般化代数データ型(GADT)
7.5. 「deriving」機構への拡張
7.5.1. deriving節について推論される文脈
7.5.2. 独立deriving宣言
7.5.3. より広範なクラスについてのderiving節(TypeableDataなど)
7.5.4. newtypeについての自動導出インスタンスの一般化
7.5.4.1. deriving節の一般化
7.5.4.2. より精密な規定
7.6. クラスおよびインスタンス宣言
7.6.1. クラス宣言
7.6.1.1. 多引数の型クラス
7.6.1.2. クラス宣言のスーパークラス
7.6.1.3. クラスメソッドの型
7.6.2. 関数従属
7.6.2.1. 関数従属に関する諸規則
7.6.2.2. 関数従属の背景
7.6.3. インスタンス宣言
7.6.3.1. インスタンス頭部に関する規則の緩和
7.6.3.2. インスタンス文脈に関する規則の緩和
7.6.3.3. 決定不能インスタンス
7.6.3.4. 重複インスタンス
7.6.4. 文字列リテラルの多重定義
7.7. 型の族
7.7.1. データ族
7.7.1.1. データ族宣言
7.7.1.2. データインスタンス宣言
7.7.1.3. インポートとエクスポート
7.7.2. シノニム族
7.7.2.1. 型族宣言
7.7.2.2. 型インスタンス宣言
7.7.2.3. 同値性制約
7.7.2.4. 型族とインスタンス宣言
7.8. 型システムへのその他の拡張
7.8.1. 明示的な全称量化(forall)
7.8.2. 型シグネチャの文脈
7.8.3. 暗黙パラメタ
7.8.3.1. 暗黙パラメタ型制約
7.8.3.2. 暗黙パラメタの束縛
7.8.3.3. 暗黙パラメタと多相再帰
7.8.3.4. 暗黙パラメタと単相性
7.8.4. 明示的に類付けされた量化
7.8.5. 任意ランク多相
7.8.5.1. 例
7.8.5.2. 型推論
7.8.5.3. 暗黙の量化
7.8.6. 非叙述的多相
7.8.7. 字句的スコープを持つ型変数
7.8.7.1. 概観
7.8.7.2. 宣言型シグネチャ
7.8.7.3. 式型シグネチャ
7.8.7.4. パターン型シグネチャ
7.8.7.5. クラス宣言とインスタンス宣言
7.8.8. 相互再帰的な束縛に対する型付けの一般化
7.8.9. 単相的な局所束縛
7.9. Template Haskell
7.9.1. 構文
7.9.2. Template Haskellを使う
7.9.3. Template Haskellの実例
7.9.4. Template Haskellをプロファイルと併用する
7.9.5. Template Haskellの準クォート
7.10. アロー記法
7.10.1. コマンドのdo記法
7.10.2. 条件コマンド
7.10.3. 制御構造を自分で定義する
7.10.4. プリミティブな構成要素
7.10.5. 論文との差異
7.10.6. 可搬性
7.11. びっくりパターン
7.11.1. びっくりパターンについての非形式的な説明
7.11.2. 構文と意味論
7.12. アサーション
7.13. プラグマ
7.13.1. LANGUAGEプラグマ
7.13.2. OPTIONS_GHCプラグマ
7.13.3. INCLUDEプラグマ
7.13.4. WARNINGおよびDEPRECATEDプラグマ
7.13.5. INLINEおよびNOINLINEプラグマ
7.13.5.1. INLINEプラグマ
7.13.5.2. INLINABLEプラグマ
7.13.5.3. NOINLINEプラグマ
7.13.5.4. CONLIKE修飾子
7.13.5.5. 段階管理
7.13.6. ANNプラグマ
7.13.6.1. 値に注釈を付ける
7.13.6.2. 型に注釈を付ける
7.13.6.3. モジュールに注釈を付ける
7.13.7. LINEプラグマ
7.13.8. RULESプラグマ
7.13.9. SPECIALIZEプラグマ
7.13.9.1. SPECIALIZE INLINE
7.13.9.2. インポートした関数のSPECIALIZE
7.13.9.3. 旧式のSPECIALIZE構文
7.13.10. SPECIALIZE instanceプラグマ
7.13.11. UNPACKプラグマ
7.13.12. SOURCEプラグマ
7.14. 書き換え規則
7.14.1. 構文
7.14.2. 意味論
7.14.3. 書き換え規則と、INLINE/NOINLINEおよびCONLIKEプラグマとの間の相互作用
7.14.4. リストの融合変換
7.14.5. 特殊化
7.14.6. 書き換え規則の中で何が起こるか制御する
7.14.7. COREプラグマ
7.15. 特殊な組込み関数
7.16. 総称クラス
7.16.1. 総称性を使う
7.16.2. 論文からの変更点
7.16.3. 用語と制約
7.16.4. もう一つの例
7.17. 単相性の制御
7.17.1. 恐怖の単相性限定を無効にする
7.17.2. 単相的パターン束縛
7.18. Concurrent HaskellおよびParallel Haskell
7.18.1. Concurrent Haskell
7.18.2. Software Transactional Memory
7.18.3. Parallel Haskell
7.18.4. 純粋なコードに並列計算用の注釈を加える
7.18.5. Data Parallel Haskell

既知のHaskell処理系はどれもそうだが、GHCもいくつかの言語拡張を実装している。これらはオプションが指定されたときのみ有効になる。デフォルトでGHCが理解するのは素のHaskell 98だけである。

グラスゴー拡張の中には、Haskellを実装するのに使われている基礎となる機能に触れるようにするものがある。よって、可搬性のないコードを原始的な水準で書くつもりがあるなら、生の部分を操作することができる。効率を追求するとき、Haskellの高水準な機能の実装コストのせいで行き詰まる必要はない。常にそれらの機能の「下」でコードを書けるからである。極端な場合、速度が重要な部分は全てCで書き、それをあとでHaskellと合わせる、ということもできる。

最低水準での作業に没頭する(例えば、至るところでMutableByteArray#を使ったり)前に、必要な機能に「Haskellらしい被覆」を被せるライブラリがないか確かめた方が良いだろう。ライブラリ説明書(訳注: 未訳。web上の最新版)にはGHC付属のライブラリが全て説明されている。

言語オプション

言語オプションのフラグは、言語のどの変種が許されるか制御するものである。これらを一つも使わない場合は、標準のHaskell 98になる。

言語オプションは二つの方法で制御できる。

  • 全ての言語オプションは"-X..."というコマンド行フラグ(例えば-XTemplateHaskell)によって有効に、"-XNo..."というフラグ(例えば-XNoTemplateHaskell)によって無効にできる。

  • Cabalが認識する言語オプションなら、LANGUAGEプラグマを使って有効にすることもできる。{-# LANGUAGE TemplateHaskell #-}のように。(7.13.1. LANGUAGEプラグマを見よ)

-fglasgow-extsフラグは、以下の拡張を有効にするのと同じである。-XForeignFunctionInterface-XUnliftedFFITypes-XImplicitParams-XScopedTypeVariables-XUnboxedTuples-XTypeSynonymInstances-XStandaloneDeriving-XDeriveDataTypeable-XDeriveFunctor-XDeriveFoldable-XDeriveTraversable-XFlexibleContexts-XFlexibleInstances-XConstrainedClassMethods-XMultiParamTypeClasses-XFunctionalDependencies-XMagicHash-XPolymorphicComponents-XExistentialQuantification-XUnicodeSyntax-XPostfixOperators-XPatternGuards-XLiberalTypeSynonyms-XRankNTypes-XTypeOperators-XDoRec-XParallelListComp-XEmptyDataDecls-XKindSignatures-XGeneralizedNewtypeDeriving-fglasgow-extsの効果は、これらのオプションを有効にすることだけである。我々はこの多目的フラグをやめて、機能を個別に有効にする方向に移行しようとしている。