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

Nov

27

PFPL輪講会#37

Exercises 19.4 ~

Registration info

参加枠1

Free

FCFS
3/8

Description

概要

"Practical Foundations for Programming Languages" (PFPL. 2nd) の輪講会です。

目的

プログラミング言語の「基礎」理論を扱っている書籍を読んで内容を理解します。

内容

第37回

範囲

Exercises 19.4 ~

担当

fishii さん

今後の予定

2020年内は,Chapter 20 まで とします。
Chapter 21 以降は,年明け2021年からとします

日程と担当

第 N 回 日付 担当 備考
第38回 2020-12-04 Mizunashi_Mana さん
第39回 2020-12-11? ymorii47 さん Chapter 20 が終わっていない場合
第40回 2021-01-?? lawtwai 年明け以降の日程は12月中に決定

担当者の都合や体調により担当できない場合は,別の方に代わっていただいたり,その週はお休みにすることもあります。そのような場合は,connpass (Twitter連携) と Discord で告知します。

章の進行順 (2020-10-23 暫定版)

  1. Chapter 18. Higher Kinds ~ Chapter 23. Hybrid Typing: 基本項目であるため,書籍の掲載順

  2. Chapter 46. Equality for System T ~ Chapter 48. Parametricity: Parametricity の理解

  3. Chapter.24 ~ : 未定(Chapter 48 に入るくらいの時期に決める)

Media View all Media

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

Feed

lawtwai

lawtwai published PFPL輪講会#37.

11/21/2020 09:35

PFPL輪講会#37 を公開しました!

Group

Haskell with Skype

Number of events 153

Members 64

Ended

2020/11/27(Fri)

22:00
2020/11/28(Sat) 00:00

Registration Period
2020/11/21(Sat) 09:30 〜
2020/11/27(Fri) 22:00

Location

Discord

基礎理論およびDM

Organizer

Attendees(3)

lawtwai

lawtwai

PFPL輪講会#37 に参加を申し込みました!

fishii

fishii

PFPL輪講会#37 に参加を申し込みました!

ymorii47

ymorii47

I joined PFPL輪講会#37!

Attendees (3)