6月
14
'Extensions to the “deriving” mechanism' 勉強会 #5
DeriveAnyClass, GeneralisedNewtypeDeriving
イベントの説明
概要
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 に準拠):
-
'13.6.6. Deriving any other class':
DeriveAnyClass
-
参照: '13.32.5. MINIMAL pragma':
MINIMAL
-
参照: '13.8.1.4. Default method signatures':
DefaultSignatures
-
-
'13.6.5. Generalised derived instances for newtypes':
GeneralisedNewtypeDeriving
-
'13.6.5.1. Generalising the deriving clause'
-
参考?: "GHC's Specializer: Much More Than You Wanted to Know": 'Dictionaries'(2019-03-18, ©️ Sandy Maguire)
-
'13.6.5.2. A more precise specification'
- 参照: '13.37. Roles'
-
'13.6.5.3. Associated type families'
- 参照: '13.8.3.4. Instance termination rules':
UndecidableInstances
- 参照: '13.8.3.4. Instance termination rules':
-
注意事項
- 主催者は
deriving
に関する内容に精通しているわけではありません - 主催者は "Typeclassopedia" に関連する題材として、 'Extensions to the “deriving” mechanism' を読み進めるつもりです
- 読み進める形式を想定しているため、コードを書いて色々試すのは参加者各自にお願いすることになると思います。
- 毎回模範的に準備して進めるつもりはありません
- 模範的なプランがあり、それに基づいて進行するわけではありません (場当たり的になると思います)
- 進度状況や関心の度合いによって、もくもく会に移行する可能性があります
日時
- 毎週金曜日 22:00 ~ 23:30
履歴
回数 | 内容 |
---|---|
01 | '13.6. Extensions to the “deriving” mechanism' ~ '13.6.3. Stand-alone deriving declarations' (StandaloneDeriving ) |
''13.4.1. Data types with no constructors (EmptyDataDecls ) |
|
ghc-proposals#0006: "Overhaul deriving instances for empty data types" | |
02 | '13.6.4 Deriving instances of extra classes (Data, etc.)' ~ '13.6.4.3. Deriving Traversable instances' |
03 | GHC Wiki: 'derive functor' |
04 | '13.6.4.4. Deriving Data instances' ~ '13.6.4.6. Deriving Lift instances' |
"What I Wish I Knew When Learning Haskell": 'Generics' の一部 | |
"Typeable and Data in Haskell" (2014-04-22 ©️ Chris Done) |
資料 資料をもっと見る/編集する
資料が投稿されると、最新の3件が表示されます。