概要

Glasgow Haskell Compiler (以下 GHC) には、様々な言語拡張機能が存在します。 この勉強会では主に "GHC User's Guide" を読んで、 derive 機能の拡張に関する理解を深めようということを目的としています。

目的

• GHC 拡張の deriving 機能の理解

想定する参加者

• GHC の`Derive..., ...Deriving という拡張の存在を知っている方
• "GHC User's Guide" の 'Extensions to the “deriving” mechanism' を読んだことがない方

想定していない参加者

• GHC における Generic Programming を理解したい方
• Template Haskell を理解したい方

注意事項

• 主催者は deriving に関する内容に精通しているわけではありません
• 主催者は "Typeclassopedia" に関連する題材として、 'Extensions to the “deriving” mechanism' を読み進めるつもりです
• 読み進める形式を想定しているため、コードを書いて色々試すのは参加者各自にお願いすることになると思います。
• 全体的に勉強会自体はあっさりした内容なものになる可能性が高く、特に DeriveGeneric, DeriveLift の扱いは顕著になると思われます
• 毎回模範的に準備して進めるつもりはありません
• 模範的なプランがあり、それに基づいて進行するわけではありません (場当たり的になると思います)
• 進度状況や関心の度合いによって、もくもく会に移行する可能性があります

日時

• 毎週金曜日 22:00 ~ 23:30

進め方

今のところ、Discord (または Skype) の音声通話 (と必要ならば画面共有) で読み進めていく予定です。 しかし、人によって重視したい内容や進度が異なるため、単なる "もくもく会" に移行するかもしれません。

その他、連絡事項や相談内容があれば，Discord (または Skype) のテキストチャットや connpass のイベント案内にてお伝え致します。

第01回の内容

(2019-05-17: 参照と参考を更新)

(注意) ここに掲載している全て (特に、参照と参考の記載事項) を読み進める訳ではありません

1. "Haskell 2010 Language Report" (注) 読むかは未定。読まない場合は 2へ

   1. '4.1.3 Syntax of Class Assertions and Contexts'

   2. '6.3 Standard Haskell Classes'

   3. 'Chapter 11 Specification of Derived Instances'の冒頭部分

2. "Glasgow Haskell Compiler User's Guide" (以下, GHC 8.6.5 に準拠)

   • '13.6. Extensions to the “deriving” mechanism'

     1. '13.6.1. Deriving instances for empty data types': -XEmptyDataDeriving

        • 参照: '13.1. Language options'

        • 参照: Cabal 2.4.1.0 "Cabal User Guide"

          • '3.3.2.9. Build information': default-extensions

        • 参照: '13.4.1. Data types with no constructors': EmptyDataDecls

        • 参考: ghc-proposals#0006: "Overhaul deriving instances for empty data types"

        • 参照: '10.13.1.2. Type-checking and renaming': -ddump-deriv

     2. '13.6.2. Inferred context for deriving clauses'

     3. '13.6.3. Stand-alone deriving declarations': StandaloneDriving

        • 参照: '10.8.13. Orphan modules and instance declarations'

        • 参照: '13.24. Partial Type Signatures': PartialTypeSignatures

        • 参照: '13.8.3.2. Relaxed rules for the instance head': FlexibleInstances

        • 参照: '13.8.3.3. Relaxed rules for instance contexts':FlexibleContexts

        • 参照: '13.4.8. Generalised Algebraic Data Types (GADTs)': GADTs

        • 参照: '13.8.3. Instance declarations'

履歴