May
26
effect system勉強会
algebraic effectsやextensible effectsなど、基礎から応用まで
Organizing : びしょ~じょ
Registration info |
発表枠 Free
FCFS
LT枠 Free
FCFS
一般枠 Free
FCFS
|
---|
Description
会場の入館について
入館方法についてはこちらをご確認ください。 入館IDについてはメッセージを送ってあるのでそちっらをご確認ください。
タイムテーブル
時間 | 発表者 | タイトル |
---|---|---|
12:45~ | - | 開場 |
13:00~13:10 | びしょ〜じょ | 諸注意など |
13:10~13:40 | halcat0x15a | Extensible Eff Applicative |
13:40~13:50 | fumieval | (LT) 名前付きeffects |
13:50~14:00 | - | 休憩 (10分) |
14:00~14:30 | ryota kameoka | Effect{ive,ful} Cycle.js |
14:30~14:40 | __pandaman64__ | (LT) Effective Rust |
14:40~14:50 | - | 休憩 (10分) |
14:50~15:20 | myuon_myon | Monads and Effects |
15:20~15:50 | びしょ〜じょ | How do you implement Algebraic Effects? |
15:50~16:10 | - | 休憩 (20分) |
16:10~16:20 | κeen | (LT) Effective Idris: Effects |
16:20~16:50 | skymountain_ | Row-based type systems for algebraic effect handlers |
17:00? ~20:00 | - | 懇親会 |
概要
プログラム言語の新たな機能として注目されつつあるalgebraic effectsや、モナド変換子に代わる新たなモナドの合成手法であるextensible effectsなど、近年動きが活発なeffect systemに関する勉強会です。
代数、圏論などといった基礎的な部分から、プロダクト開発における利用のような応用まで幅広い内容を受け付けています。
発表
-
先着順で発表者を募集しています。発表枠とLT枠の2つがあります
-
発表枠
一人持ち時間30分(発表20分、質問10分を目安)でお願いします
-
LT枠
一人持ち時間10分(発表5分、質問5分を目安)でお願いします
-
-
コメントにタイトルを記入してください
- 発表後でいいので、このページに発表資料を添付してくださると助かります
また、以下のことに留意してください。
-
スライドサイズの比率は4:3
会場都合です。
-
文字サイズは最小24pt
あまり小さいと後ろに座ってる方は見えません。
-
その他
- 順序立てたスライドづくり
- スライド1枚あたりの文字を減らす
- 見やすい色使い
などのスライドテクや
- 内輪ネタを使わない
- 公序良俗に反する内容を入れない
- 勉強会と無関係な政治的主張を盛り込まない
などの道徳的良心
聞く側
発表内容のレベリングはおこないませんので、発表内容を充分に楽しみたい場合は、専門的な内容に備えて、ある程度の予習をしておくと良いでしょう。
一部わからない、あるいはほとんどわからない場合もありえると思いますが、分からない部分はジャンジャン質問したり懇親会で聞いてみてください。
懇親会
やる予定、参加費1000円/人 ?