お知らせ 12月16日(月)10:30から30分ほど、サーバーのメンテナンス作業を予定しております。作業の間はconnpassのご利用が出来ません。ご迷惑をおかけしますが何卒ご了承ください。

お知らせ 【グループ管理者の皆さま】成長し続けるエンジニアを支援する「Forkwell」と「connpass」が連携し、connpass上でイベントを開催するグループを2020年3月末まで支援いたします。詳しくはこちら by Forkwell

このエントリーをはてなブックマークに追加

9月

29

平日夜にすごいH本をちょびちょび読む会 19回目

いのちをだいじにしながら「すごいHaskellたのしく学ぼう!」を少しずつ読んでいく

Organizing : kamekoopa

Hashtag :#Hちょびよみ
Registration info

参加枠1

Free/Pay at the door

FCFS
6/4

Description

概要

圏論から完全に理解とまでは言わないけれど、せめてプログラミングで使うのに不自由がない程度にはモナドとかファンクターとかその辺理解したいよねって言ったら @cocoatomo さんが「すごいH本でも一緒に読みながら勉強してみますかー」ってなったのですごいH本ちょびちょび読みながら勉強する会です。

  • 人が死なない
  • こわくない
  • ゆるさ
  • やさしさ

そんな感じを目指したい。 隔週火曜日に開催する予定です。(適宜調整する可能性はあります)

内容

とりあえず第一章は飛ばして第二章から順に読んでいきます。 本に書いてあるコードとか適宜実行して試せたほうが分かりやすいと思うので、実行環境とかが用意できる場合は持ってきた方がいいかなーと思っていた時期が僕にもありました。

気がついたらH本をたまに開きながら型談話する会と化していました。

やるところ

自然変換とFunctorの話をしました。次は多分ApplicativeとMonoidの話をします。

型クラス  圏論
 

 
集合

注意

数学クラスタさんは( @cocoatomo さんとか)はいらっしゃいますが、Haskell詳しいクラスタは居ませんので、こわさやタフさを求めていらっしゃってもご希望に添えない可能性があります。 究極、僕のお守りをする会という感じになる可能性すらありますのでご了承ください。あと、本に書いてあることから派生したり書いてないことから派生したりしてすごいH本の内容じゃない事を延々やったりとかしてgdgdになる事が多いです。

その他

品川のルノアールでやります。あまり広くないので定員の4人で席を確保しますが、自力で席が確保できる場合は適当に来て混じってもらって構いません。会計は僕が一括で払うので皆さんは各々が頼んだもの分の金額僕にください。

@cocoatomo さんに聞きたいことリスト

何か思いついたら足していく。

  • 関数の定義(Done)
    • AからBへの関数は、以下の性質を満たすA×Bの部分集合Fである: 全てのa∈Aに対し(a,b)∈Fなるb∈Bが一つだけ存在するとは
  • p26 型変数辺り(Done)
    • ジェネリクスとちょっとだけ似ている->ちょっとだけしか似ていない->結構違いがある?
    • 多相とは、多相的関数とは
  • 自由群
    • なんぞこれ
  • Endo
    • とは

Feed

cocoatomo

cocoatomoさんが資料をアップしました。

09/24/2015 13:52

kamekoopa

kamekoopa published 平日夜にすごいH本をちょびちょび読む会 19回目.

09/13/2015 15:20

平日夜にすごいH本をちょびちょび読む会 19回目 を公開しました!

Ended

2015/09/29(Tue)

20:00
22:00

Registration Period
2015/09/13(Sun) 15:20 〜
2015/09/29(Tue) 22:00

Location

ルノアール 品川高輪口店

東京都港区高輪3-25-22 (カネオビル 1F)

Attendees(4)

kamekoopa

kamekoopa

ガブさんの気持ちを無駄にしないという強い思い

takuan_osho

takuan_osho

平日夜にすごいH本をちょびちょび読む会 19回目 に参加を申し込みました!

cocoatomo

cocoatomo

平日夜にすごいH本をちょびちょび読む会 19回目 に参加を申し込みました!

cosmo0920

cosmo0920

平日夜にすごいH本をちょびちょび読む会 19回目 に参加を申し込みました!

Attendees (4)

Waitlist (2)

gakuzzzz

gakuzzzz

平日夜にすごいH本をちょびちょび読む会 19回目 に参加を申し込みました!

(退会ユーザー)

(退会ユーザー)

平日夜にすごいH本をちょびちょび読む会 19回目 に参加を申し込みました!

Waitlist (2)

Canceled (1)