みんなの担当まとめ

[igrep]

GHC 8.8より前

• @khibino GHC.Records と OverloadedLabels の組み合わせについて GHC.Records と OverloadedLabels の組み合わせについて #3
• @kakkun61 Hadrian
  • 資料

GHC 8.8

• @maoe A late lambda lifting optimisation on STG
• @yotsuya HIEファイル
  • 資料
• @nakaji-dayo "Type variables in type family instances and rewrite rules can now be explicitly forall-bound."
• @matsubara0507 visible type applications [8.8.1] visible type applications #5

GHC 8.10

• @kazu-yamamoto GC
• @fumieval StandaloneKindSignatures
  • 資料（Redditのコメントより）

それ以降

• @lotz84 RecordDotSyntax RecordDotSyntax #4
  • 資料
• @igrep Local Modules Local Modules #1
  • 資料

[matsubara0507]

memo

調整さんより:

今回のテーマは以下のいずれかとします。

• Overloaded Record Fields
• GC
• Linear Types
• その他: 以下から探してみましょう
  • https://downloads.haskell.org/~ghc/8.8.1/docs/html/users_guide/8.8.1-notes.html
  • https://github.com/ghc-proposals/ghc-proposals/pulls

---

GHC 8.8.1 のページより引用:

3.1. Highlights

The highlights, since the 8.6.1 release, are:

• GHC now supports visible type applications.
• Type variables in type family instances and rewrite rules can now be explicitly forall-bound.
• A new code layout algorithm for x86.
• The final phase of the MonadFail proposal has been implemented.
• Many, many bug fixes.

[matsubara0507]

• A late lambda lifting optimisation on STG (#9476 (closed))

[igrep]

@khibino @maoe @nakaji-dayo @yotsuya @kazu-yamamoto @fumieval
資料のURLをこのissueにコメント（あるいは、権限があれば直接descriptionを編集することもできます）するか、資料を https://github.com/haskell-jp/ghc-workshop の適当なディレクトリーにアップロードしていただけると助かります。

[fumieval]

Redditのコメントより　https://www.reddit.com/r/haskell/comments/e14qkr/announce_glasgow_haskell_compiler_8101alpha1/f8myvyr/