BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//https://techplay.jp//JP
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALDESC:"Thinking with Types" 読書会 #06
X-WR-CALNAME:"Thinking with Types" 読書会 #06
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:744387@techplay.jp
SUMMARY:"Thinking with Types" 読書会 #06
DTSTART;TZID=Asia/Tokyo:20190809T220000
DTEND;TZID=Asia/Tokyo:20190809T233000
DTSTAMP:20260503T230940Z
CREATED:20190802T224951Z
DESCRIPTION:イベント詳細はこちら\nhttps://techplay.jp/event/74438
 7?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 (GHC) の
 型システムや型レベルプログラミング，ジェネリック
 プログラミングを理解するための，はじめの一歩\n\n\n
 以下は，サイトの 'About the Book' から一部を抜粋:\n\nWitho
 ut further ado\, I'd like to introduce Thinking with Types: Type-Level Pr
 ogramming in Haskell—the comprehensive guide to unleashing the power of
  Haskell's type-system. In it\, we'll cover topics like erasing boilerpla
 te with GHC.Generics\, building extensible data-types\, and how to genera
 te error messages meant for humans when things go wrong.\n\n\n\n書籍に
 ついて\nサンプルPDF\nサイト の最下部に，以下の項目
 が掲載されているサンプル PDF のリンクがあります:\n\n
 'Chapter1 The Algebra Behind Types'\n'Chapter3 Variance'\n'Chapter4 Walki
 ng 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\nThis repository is all of the original source material for 
 my book Thinking with Types: Type-Level Programming in Haskell. If you're
  curious about what goes into writing a book\, it might be a good place t
 o peruse.\nBuilding this thing is particularly hard\; I had to write thre
 e separate 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!\nDo
 n't make me regret open-sourcing this.\n\n注意\n\n\nこの書籍によ
 って，Haskell (GHC) の型システムや型レベルプログラミ
 ング，ジェネリックプログラミングを完全に理解でき
 ると明言できません。この書籍の位置付けとしては，
 それらを理解するための手助けやはじめの一歩と捉え
 るとよいと思われます。\n\n\n『型システム入門』や『
 プログラミング言語の基礎概念』と取って代わる書籍
 ではないと思われます。\n\n\n参加者\n対象とする参加
 者\n\n\nHaskell (GHC) の型システムや型レベルプログラミ
 ング，ジェネリックプログラミングに興味ある方 \n\n\n
 以下は，書籍のサンプル PDF に掲載されている 'Introduct
 ion' (P.1) から一部を抜粋:\n\nSo whom is this book for? The target
  audience I’ve been trying to write for are intermediate-to-proficient
  with the language. They’re capable of solving real problems in Haskell
 \, and doing it without too much hassle. They need not have strong opinio
 ns on ExceptT vs throwing exceptions in IO\, nor do they need to know how
  to inspect generated 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\n
 05\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\n休\n
 2019-08-30\n\n\n\n休\n2019-09-06\n\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/744387?utm_medium=referral&utm_source=ics&utm
 _campaign=ics
END:VEVENT
END:VCALENDAR