BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//https://techplay.jp//JP
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALDESC:"Thinking with Types" 読書会 #01
X-WR-CALNAME:"Thinking with Types" 読書会 #01
X-WR-TIMEZONE:Asia/Tokyo
BEGIN:VTIMEZONE
TZID:Asia/Tokyo
BEGIN:STANDARD
DTSTART:19700101T000000
TZOFFSETFROM:+0900
TZOFFSETTO:+0900
TZNAME:JST
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:738095@techplay.jp
SUMMARY:"Thinking with Types" 読書会 #01
DTSTART;TZID=Asia/Tokyo:20190705T220000
DTEND;TZID=Asia/Tokyo:20190705T233000
DTSTAMP:20260507T093407Z
CREATED:20190622T062358Z
DESCRIPTION:イベント詳細はこちら\nhttps://techplay.jp/event/73809
 5?utm_medium=referral&utm_source=ics&utm_campaign=ics\n\n概要\n"Thinkin
 g with Types -Type-Level Programming in Haskell-" (Sandy Maguire) の読
 書会 (もくもく会)です。\n目的\n\n\nHaskell の型システム
 や型レベルプログラミング，ジェネリックプログラミ
 ングを理解するための，はじめの一歩\n\n\n以下は，サ
 イトの 'About the Book' から一部を抜粋:\n\nWithout further ado\
 , I'd like to introduce Thinking with Types: Type-Level Programming in Ha
 skell—the comprehensive guide to unleashing the power of Haskell's type
 -system. In it\, we'll cover topics like erasing boilerplate with GHC.Gen
 erics\, building extensible data-types\, and how to generate error messag
 es meant for humans when things go wrong.\n\n\n\n書籍について\nサ
 ンプルPDF\nサイト の最下部に，以下の項目が掲載され
 ているサンプル PDF のリンクがあります:\n\n'Chapter1 The A
 lgebra Behind Types'\n'Chapter3 Variance'\n'Chapter4 Walking with Types'\
 n'Chapter5 Constraints and GADTs'\n\n書籍の購入前またはイベン
 ト参加登録前に，サンプル PDF を一度見ておくことを
 推奨します。\nリポジトリ\n著者である Sandy Maguire さん
 のリポジトリ isovector/thinking-with-types (CC BY-NC-ND 4.0) にお
 いて，書籍に書かれている内容を.tex で確認すること
 ができます。\n以下は，README.md の Overview より転載:\n\nT
 his repository is all of the original source material for my book Thinkin
 g with Types: Type-Level Programming in Haskell. If you're curious about 
 what goes into writing a book\, it might be a good place to peruse.\nBuil
 ding this thing is particularly hard\; I had to write three separate buil
 d tools\, and patch a few upstream libraries. You're free to try to figur
 e it out\, but I'd suggest just buying a copy instead!\nDon't make me reg
 ret open-sourcing this.\n\n注意\n\n\nこの書籍によって，Haskell
  の型システムや型レベルプログラミング，ジェネリッ
 クプログラミングを完全に理解できると明言できませ
 ん。この書籍の位置付けとしては，それらを理解する
 ための手助けやはじめの一歩と捉えるとよいと思われ
 ます。\n\n\n『型システム入門』や『プログラミング言
 語の基礎概念』と取って代わる書籍ではないと思われ
 ます。\n\n\n参加者\n対象とする参加者\n\n\nHaskell の型シ
 ステムや型レベルプログラミング，ジェネリックプロ
 グラミングに興味ある方 \n\n\n以下は，書籍のサンプル
  PDF に掲載されている 'Introduction' (P.1) から一部を抜粋:
 \n\nSo whom is this book for? The target audience I’ve been trying to w
 rite for are intermediate-to-proficient with the language. They’re cap
 able of solving real problems in Haskell\, and doing it without too much 
 hassle. They need not have strong opinions on ExceptT vs throwing excepti
 ons in IO\, nor do they need to know how to inspect generated Core to fi
 nd performance bottlenecks.\n\n\n\n備考\nこの書籍を読み終えた
 後に，書籍の内容に関連する論文や GHC User's Guide の節
 を読む勉強会を予定してはいます (実際に行えるかは
 明言できません)。\n対象としていない参加者\n\npolysemy 
 の使い方を理解したい方・使いたい方\n\n日程\n\n\n毎週
 金曜日: 22:00 ~ 23:30\n\n\n管理者の私的事情により，08/30 
 および 09/06 にイベントを開催することができません。
 ご了承願います。\n\n\n進め方\n\n\nDiscord のテキストチ
 ャンネルをベースに，もくもく会を行ないます。\n\n\n
 画面共有を使ったり音声共有で会話したりして，わか
 らないことの確認や議論したい方もいるかもしれませ
 んので，そのような方向けに音声チャンネルを作成し
 ています。ただし，音声チャンネルは，あくまでも予
 備的 なものです。画面共有や音声共有が不要な方は，
 音声チャンネルに参加する必要はなく，何かあればテ
 キストチャンネルに書き込んでください。\n\n\n内容\n
 参加者個々人で，読み進めるペースは異なるとか思い
 ます。ご自分の関心とペースに基づいて，書籍を読み
 進めることを推奨します。\n(参考) 管理者の予定して
 いるペース\n10回あれば書籍を読み終えることができる
 と，管理者は想定しています。以下は，この勉強会は1
 0回で終了するという前提を踏まえた，管理者が予定し
 ているペースを参考として掲載しているに過ぎません
 。\n\n\n\n回数\n日付\n主催者が予定しているペース\n\n\n\
 n\n01\n2019-07-05\nIntroduction ~ Chapter 2\n\n\n02\n2019-07-12\nChapter 
 3 ~ Chapter 5\n\n\n03\n2019-07-19\nChapter 6 ~ Chapter 8\n\n\n04\n2019-07
 -26\nChapter 9 ~ Chapter 10\n\n\n05\n2019-08-02\nChapter 11 ~ Chapter 12\
 n\n\n06\n2019-08-09\nChapter 13\n\n\n07\n2019-08-16\nChapter 14\n\n\n08\n
 2019-08-23\nChapter 15\n\n\n09\n2019-09-13\n関連するブログ記事
 や論文・GHC User's Guide を読む (1)\n\n\n10\n2019-09-20\n関連す
 るブログ記事や論文・GHC User's Guide を読む (2)\n\n\n
LOCATION:Discord thinking_with_types
URL:https://techplay.jp/event/738095?utm_medium=referral&utm_source=ics&utm
 _campaign=ics
END:VEVENT
END:VCALENDAR