お知らせ 9月24日(木)10:00から2時間ほど、サーバーのメンテナンス作業を予定しております。作業の間はconnpassのご利用が出来ません。ご迷惑をおかけしますが何卒ご了承ください。

新機能 イベントメッセージの予約機能を追加しました。イベント主催者様は、参加者へのメッセージ送信を事前に予約できます。詳しくはこちらをご確認ください。

新機能 イベント詳細画面に「参加者への情報」欄を追加しました。イベント管理者、発表者、参加者(抽選中や補欠は除く)だけに表示されるフィールドです。詳しくはこちら

このエントリーをはてなブックマークに追加

Nov

1

GHC言語拡張勉強会 -Parametric polymorphism- #4

ScopedTypeVariables #2

Registration info

グループDM

Free

FCFS
3/10

Description

概要

Glasgow Haskell Compiler (以下 GHC) には、様々な言語拡張機能が存在します。

この勉強会では "Glasgow Haskell Compiler User's Guide" (以下 "GHC User's Guide") をベースに、 主に Parametric polymorphism (Rank) に関する言語拡張の理解を深めることを目的としています。

目的

GHC 言語拡張の主に Parametric polymorphism (Rank) に関する拡張 (?) の理解:

  • ExplicitForAll
  • LiberalTypeSynonyms
  • ExistentialQuantification
  • ScopedTypeVariable
  • RankNTypes
  • ImpredicativeTypes

想定する参加者

  • Haskell (GHC) のソースコードにおいてforall ... というものを見たことがある方
  • "GHC User's Guide" の 'GHC Language Features' を読んでいない方

進め方

主に Discord のグループDM (10人まで) の音声通話と画面共有を用いて、"GHC User's Guide" (GHC 8.8.1) の PDF などを管理者が読み進めます。

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

第04回の内容

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

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

注意事項

  • 内容について

    • 主催者は Parametric polymorphism に関する内容に 精通しているわけではありません
    • "GHC User's Guide" などにおいて、「目的」欄に記述していない言語拡張に関して言及されていることがあります。その場合は、後にそれらの言語拡張について理解を深める際に振り返ることを予定しているため、その 言語拡張に関しては流し読み します(例: TypeApplications, GADTs, TypeFamiles )
  • 進め方について

    • 毎回模範的に準備して進めるつもりはありません。読みながら内容を理解していくというスタンスです。
    • 模範的なプランがあり、それに基づいて進行するわけではありません (場当たり的になると思います)
    • 切りが良いと判断した場合は、早めに終える ことがあります。 切りが悪いと判断した場合は、切りが良いと判断できるところに到達するまで 延長 することがあります。

日時

  • できれば、毎週金曜日 22:00 ~ 23:30

  • 次回の開催日が翌週ではない場合、改めて連絡します

予定?

日付 内容
2019-10-11 #1: ExplicitForAll
2019-10-18 #2: LiberalTypeSynonyms + ExistentialQuantification
2019-10-25 休み?
2019-11-01 #3: ExistentialQuantification
2019-11-08 休み
2019-11-15 #4: ScopedTypeVariables
2019-11-22 #5: ScopedTypeVariables
2019-11-29 #6: RankNTypes
2019-12-06 #7: RankNTypes
2019-12-13 #8: RankNTypes
2019-12-20 #9: Impredicative polymorphism

年明け (2020-01-1X ~) は

  • これらに関する Paper を読む
  • FunctionalDependencies 関係
  • TypeApplications 関係

のいずれかから始める予定です。

履歴

回数 内容
2019-10-11 #1: ExplicitForAll, LiberalTypeSynonyms
2019-10-18 #2: ExistentialQuantification
2019-10-25 #3: ScopedTypeVariables

Media View all Media

If you add event media, up to 3 items will be shown here.

Feed

lawtwai

lawtwai published GHC言語拡張勉強会 -Parametric polymorphism- #4.

10/27/2019 20:17

GHC言語拡張勉強会 -Parametric polymorphism- #4 を公開しました!

Group

Ended

2019/11/01(Fri)

22:00
23:30

Registration Period
2019/10/27(Sun) 20:00 〜
2019/11/01(Fri) 23:30

Location

Discord

グループDM

Organizer

Attendees(3)

lawtwai

lawtwai

GHC言語拡張勉強会 -Parametric polymorphism- #4 に参加を申し込みました!

KanSAKAMOTO

KanSAKAMOTO

GHC言語拡張勉強会 -Parametric polymorphism- #4 に参加を申し込みました!

fishii

fishii

GHC言語拡張勉強会 -Parametric polymorphism- #4 に参加を申し込みました!

Attendees (3)