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

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

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

7月

2

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

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

Organizing : kamekoopa

Hashtag :#Hちょびよみ
Registration info

参加枠1

Free/Pay at the door

FCFS
5/4

Description

概要

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

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

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

内容

とりあえず第一章は飛ばして第二章から順に読んでいきます。 本に書いてあるコードとか適宜実行して試せたほうが分かりやすいと思うので、実行環境とかが用意できる場合は持ってきた方がいいかなーと思います(強制ではありません)。 読んで試して分からない事は適宜聞いたり議論したりしながら進めていく感じになると思います。あと、あらかじめ予習して疑問点とか洗い出しておくとスムーズかもしれませんね。

という状況でしたが最近ほとんどH本を開いていないという有り様です…。

やるところ

また間が空いてしまったので足し算の復習すると思います。

型クラス  圏論
 

 
集合

足し算を圏論で。

注意

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

その他

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

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

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

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

Media View all Media

If you add event media, up to 3 items will be shown here.

Feed

kamekoopa

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

06/22/2015 11:16

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

Ended

2015/07/02(Thu)

20:00
22:00

Registration Period
2015/06/22(Mon) 11:15 〜
2015/07/02(Thu) 22:00

Location

ルノアール 品川高輪口店

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

Attendees(4)

kamekoopa

kamekoopa

全てが忘却の彼方へ

gab_km

gab_km

勉強するぞ、勉強するぞ、勉強するぞ

cocoatomo

cocoatomo

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

takuan_osho

takuan_osho

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

Attendees (4)

Waitlist (1)

cosmo0920

cosmo0920

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

Waitlist (1)