BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//https://techplay.jp//JP
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALDESC:"Thinking with Types" 読書会 #04
X-WR-CALNAME:"Thinking with Types" 読書会 #04
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:742146@techplay.jp
SUMMARY:"Thinking with Types" 読書会 #04
DTSTART;TZID=Asia/Tokyo:20190726T220000
DTEND;TZID=Asia/Tokyo:20190726T233000
DTSTAMP:20260417T024053Z
CREATED:20190720T002001Z
DESCRIPTION:イベント詳細はこちら\nhttps://techplay.jp/event/74214
 6?utm_medium=referral&utm_source=ics&utm_campaign=ics\n\n概要\n"Thinkin
 g with Types -Type-Level Programming in Haskell-" (Sandy Maguire\, Leanpu
 b) の読書会 (もくもく会)です。\n目的\n\n\nHaskell の型シ
 ステムや型レベルプログラミング，ジェネリックプロ
 グラミングを理解するための，はじめの一歩\n\n\n以下
 は，サイトの 'About the Book' から一部を抜粋:\n\nWithout fur
 ther ado\, I'd like to introduce Thinking with Types: Type-Level Programm
 ing in Haskell—the comprehensive guide to unleashing the power of Haske
 ll's type-system. In it\, we'll cover topics like erasing boilerplate wit
 h GHC.Generics\, building extensible data-types\, and how to generate err
 or messages meant for humans when things go wrong.\n\n\n\n書籍につい
 て\nサンプルPDF\nサイト の最下部に，以下の項目が掲
 載されているサンプル PDF のリンクがあります:\n\n'Chapt
 er1 The Algebra Behind Types'\n'Chapter3 Variance'\n'Chapter4 Walking wit
 h Types'\n'Chapter5 Constraints and GADTs'\n\n書籍の購入前または
 イベント参加登録前に，サンプル PDF を一度見ておく
 ことを推奨します。\nリポジトリ\n著者である Sandy Magui
 re さんのリポジトリ isovector/thinking-with-types (CC BY-NC-ND 4.
 0) において，書籍に書かれている内容を.tex で確認す
 ることができます。\n以下は，README.md の Overview より転
 載:\n\nThis repository is all of the original source material for my boo
 k Thinking with Types: Type-Level Programming in Haskell. If you're curio
 us about what goes into writing a book\, it might be a good place to peru
 se.\nBuilding this thing is particularly hard\; I had to write three sepa
 rate build tools\, and patch a few upstream libraries. You're free to try
  to figure it out\, but I'd suggest just buying a copy instead!\nDon't ma
 ke me regret open-sourcing this.\n\n注意\n\n\nこの書籍によって
 ，Haskell の型システムや型レベルプログラミング，ジ
 ェネリックプログラミングを完全に理解できると明言
 できません。この書籍の位置付けとしては，それらを
 理解するための手助けやはじめの一歩と捉えるとよい
 と思われます。\n\n\n『型システム入門』や『プログラ
 ミング言語の基礎概念』と取って代わる書籍ではない
 と思われます。\n\n\n参加者\n対象とする参加者\n\n\nHaske
 ll の型システムや型レベルプログラミング，ジェネリ
 ックプログラミングに興味ある方 \n\n\n以下は，書籍の
 サンプル PDF に掲載されている 'Introduction' (P.1) から一
 部を抜粋:\n\nSo whom is this book for? The target audience I’ve bee
 n trying to write for are intermediate-to-proficient with the language. 
 They’re capable of solving real problems in Haskell\, and doing it with
 out too much hassle. They need not have strong opinions on ExceptT vs thr
 owing exceptions in IO\, nor do they need to know how to inspect generate
 d Core to find 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回あれば書籍を読み終えることが
 できると，管理者は想定しています。以下は，この勉
 強会は10回で終了するという前提を踏まえた，管理者
 が予定しているペースを参考として掲載しているに過
 ぎません。\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\n2019-08-23\nChapter 15\n\n\n09\n2019-09-13\n関連するブ
 ログ記事や論文・GHC User's Guide を読む (1)\n\n\n10\n2019-09-2
 0\n関連するブログ記事や論文・GHC User's Guide を読む (2)\
 n\n\n
LOCATION:Discord thinking_with_types
URL:https://techplay.jp/event/742146?utm_medium=referral&utm_source=ics&utm
 _campaign=ics
END:VEVENT
END:VCALENDAR