カワるガワるTAPLカタるヨる (2024/07/24 19:00〜) (original) (raw)
| 募集内容 | 現地で聞く！ 無料 先着順（抽選終了） 30/30人 リモートで聞く！ 無料 先着順 117/120人 |
|---|---|
| 申込者 |           申込者一覧を見る |
| 開催日時 | 2024/07/24(水) 19:00 ～ 22:00 Googleカレンダー icsファイル |
| 募集期間 | 2024/06/24(月) 22:35 〜 2024/07/24(水) 22:00まで |
| 会場 | 株式会社GO 〒106-0032 Tokyo, Minato City, Roppongi, 3 Chome−17−10 DUPLEX TOWER 2F マップで見る |
| 参加者への情報 | (参加者と発表者のみに公開されます) |
| 出席登録 | (イベント開始時間の2時間前から終了時間まで、参加者のみに公開されます) |
イベントの説明
A: 「型にはまった人間にはなりたくないんだ」
B: 「さいきん型にハマってるんだってこの前嬉しそうにしてたじゃないか？」
A: 「それはTAPLの話。」
B: 「タプル？型の話か？カッコつけた要素がどうしたんだ？」
A: 「TAPLはカッコつけで読んでるんじゃない！」
ーー モンティ=オーカムルの「TAPLに関連するすれ違いの喜劇」より
これは、なんですか？
みなさん！！！: string
TAPL、読んでますか！？！？: string
// この先すべてstring型。型注釈は省略する。
TAPLのイベントをやりますよ！ そうです、あの赤い表紙のTAPLです。
これは、TAPLと型を堪能できるとっておきの一夜をあなたに。というイベントです👶
あなたがどんなプログラミング言語を使っていようが、どんな開発をしていようが、型の話が好きなら面白いはずです！(確定)
明日すぐ使えるネタから、一生使えない/わからないままかもしれない話まで、いろいろな話が出てきます！(予定)
……というわけで、
TAPLが好きなあなたも、
型が好きなあなたも、
そしてどちらもよく知らんかったけどいまググったらめちゃ面白そうだなと思ったあなたも、
ぜひぜひドカンと来てください！
あっ、待って！来てくださいって言ったけど、リモート視聴もできますからね！！！！
だれが、なにをはなすんですか？
スピーカーの方々が素敵な自己紹介をくれました！！！！！
Yusuke Endoh: 「12年前の『型システム入門』翻訳の思い出話」
『型システム入門』の翻訳者のひとり。でも、型のないプログラミング言語Rubyの開発をしています。
sititou70: 「不動点コンビネータの話」
sititou70（しちとう70）といいます。TypeScriptなどを使うWebフロントエンドエンジニアです。素人ながら型に入門したいと思い、軽い気持ちで「型システム入門」というタイトルの本を買ったら大学の教科書でした。
PADAone: 「部分型関係について探ってみよう!」
PADAone(ぱだわん)という名前で活動中のフロントエンドエンジニア。TypeScriptの型とその意味論について興味津々で、最近TSKaigiで発表しました。ラムダキューブが好きです。
canalun: 「TAPLの「第22章 型再構築」までをおさらいしたいよねえ？したくないかい？？🧙♀️」
型とブラウザとDOMが好きです。あなたは型推論機になって型推論をさせられる夢を見たことがありますか！？私はありません。参ります。
https://twitter.com/i_am_canalun
いつ、なにがおこるんですか？
| 時刻: Time | 内容: String | 発表者: Person | null |
|---|---|---|
| 19:00 | 開場！！ | null |
| 19:30 | はじまりの儀 | canalun |
| 19:35 | TAPLの「第22章 型再構築」までをおさらいしたいよねえ？したくないかい？？🧙♀️ | canalun |
| 19:55 | おやすみ | null |
| 20:00 | 部分型関係について探ってみよう! | PADAone |
| 20:20 | ながめのおやすみ | null |
| 20:30 | 不動点コンビネータの話 | sititou70 |
| 20:50 | おやすみ | null |
| 20:55 | 12年前の『型システム入門』翻訳の思い出話 | Yusuke Endoh |
| 21:15 | わいわいおしゃべりタイム | null |
| 21:50 | おしまいの儀 | PADAone |
| 21:55 | おうちに帰ろう！ | null |
どこのかいしゃが、きょうりょくしてくれたんですか？
本イベントは飲食物の提供においてテックタッチ株式会社さんのバックアップを受けて開催しています🎉
また、会場は株式会社GOさんにご提供いただいています🏠
ありがとう、テックタッチさん、GOさん……！
サムネイルは、だれがつくったんですか？
PADAoneさんです！！！PADAoneさん、すごい……！😭
はいしんは、だれがやるんですか？
tsuneさんshokoさん、すごい……！😭
まもるべききまりは、ありますか？
開かれていてください！
このTAPLカタるヨるは万人に等しく開かれています！
いわゆるハラスメントだったり、他の人が嫌がる言動・行動だったり、そういうのはナシです！！！
無法者がいたら思わず本気で追い出してしまうと思います！お願いします！
万全の体調で来てください！
具合が悪い方はおうちでお休みください！
TAPLカタるヨるが楽しみなのはわかります。しかしもし当日具合を悪くしてしまったら、次のヨるに備えるためにおうちで休んでください！特に下記の場合です！
- 発熱、あるいは咳・咽頭痛等の症状がある場合
- コロナウイルスへの感染の疑いがある場合
- その他コロナウィルスの感染に関連して何か不安を感じている場合
Presenter
フィード
2024/07/25 23:03