お知らせ 【グループ管理者の皆さま】成長し続けるエンジニアを支援する「Forkwell」と「connpass」が連携し、connpass上でイベントを開催するグループを2020年3月末まで支援いたします。詳しくはこちら by Forkwell

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

12月

6

GHC言語拡張勉強会 -Type application-

TypeApplications #1

Registration info

参加枠1

Free

Attendees
4

Description

概要

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

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

目的

GHC 言語拡張の Type application に関する拡張の理解:

  • TypeApplications

備考 (2019-12-01 現在)

  • ScopedTypeVariables: 関連する内容は取扱います

  • AllowAmbiguousTypes: 要検討対象

  • PartialTypeSignatures: 検討対象

  • Typed Holes: 検討対象

  • Kind に関する内容: Kind 関係の言語拡張を後日取扱う際に、改めて振り返る予定です。そのため、あっさりした扱いになる可能性が高いです。

想定する参加者

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

進め方

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

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

第01回の内容

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

'9.19. Visible type application': TypeApplications

関連

注意事項

内容について

  • 主催者は Type applications に関する内容に 精通しているわけではありません
  • "GHC User's Guide" などにおいて、「目的」欄に記述していない言語拡張に関して言及されていることがあります。それらの言語拡張について後に取扱うことを予定している場合は、その 言語拡張に関連する内容は流し読み します。

進め方について

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

日時

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

  • 取扱う内容や範囲次第により、年越し後も継続します

Media View all Media

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

Feed

lawtwai

lawtwai published GHC言語拡張勉強会 -Type application-.

12/01/2019 17:49

GHC言語拡張勉強会 -Type application- を公開しました!

Group

Haskell with Skype

Number of events 88

Members 60

Ended

2019/12/06(Fri)

22:00
23:30

Registration Period
2019/12/01(Sun) 17:30 〜
2019/12/06(Fri) 23:30

Location

Discord

グループDM

Organizer

Attendees(4)

lawtwai

lawtwai

GHC言語拡張勉強会 -Type application- に参加を申し込みました!

Mizunashi_Mana

Mizunashi_Mana

GHC言語拡張勉強会 -Type application-に参加を申し込みました!

fishii

fishii

GHC言語拡張勉強会 -Type application- に参加を申し込みました!

KanSAKAMOTO

KanSAKAMOTO

GHC言語拡張勉強会 -Type application- に参加を申し込みました!

Attendees (4)