概要

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

目的

• GHC 拡張の deriving 機能の理解

想定する参加者

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

進め方

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

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

第05回の内容

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

"GHC User's Guide" (以下, GHC 8.6.5 に準拠):

1. '13.6.6. Deriving any other class': DeriveAnyClass

   • 参照: '13.32.5. MINIMAL pragma': MINIMAL

   • 参照: '13.8.1.4. Default method signatures': DefaultSignatures

2. '13.6.5. Generalised derived instances for newtypes': GeneralisedNewtypeDeriving

   1. '13.6.5.1. Generalising the deriving clause'

      • 参考?: "How to make ad-hoc polymorphism less ad hoc": '4. Transion'(Philip Wadler and Stephen Blott. 16'th Symposium on Principles of Programming Languages, ACM Press, Austin, Texas, January 1989.)

      • 参考?: "GHC's Specializer: Much More Than You Wanted to Know": 'Dictionaries'(2019-03-18, © Sandy Maguire)

   2. '13.6.5.2. A more precise specification'

      • 参照: '13.37. Roles'

   3. '13.6.5.3. Associated type families'

      • 参照: '13.8.3.4. Instance termination rules': UndecidableInstances

注意事項

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

日時

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

履歴