8月14日に「スタート表現論」が開催されたのですが、僕は結局お盆帰省で参加できませんでした。8月20日の「CLTT (Categorical Logic and Type Theory)読書会」のご好意により（あるいは僕の無理強い・ゴリ押しにより）、「スタート表現論」の復習ができました。当日の参加者がmaoさん（@maophilia, id:m-a-o）の講義をなぞり、橋本さん（id:yoshitake-h）が親切な解説を付けてくださる、という段取りで、とても面白かったです。ありがとうございました。 以下にとりとめもなく感想を。 文化と精神衛生の問題 なにかの同値な定義があったとき、論理的にはどちらかを優遇する根拠はありません。また、定義した概念にどういう名前を付けるかは自由だし、最適な呼称なんてありません。 でも、文化とか精神衛生の観点からの選択や傾向性はあるよね、といった話が出ました。
気まぐれと偶然となりゆきで、ここ2,3回はモナドを話題にしました。googleで「モナド」を引いてザッと眺めると、「モナドはむずかしいー」とか「モナドで挫折した」みたいな雰囲気が感じられて、説明芸人の血が少し騒ぎましたね。「なら、予備知識ゼロでモナドの説明をしてやろうじゃねーか」と。 タイトルはだいぶ煽っちゃった…… けど、ハッタリじゃないつもり…… けど、実際はどうかな？ ※印刷のときはサイドバーが消えます。 内容： とりあえず、あたりさわりなくモナドの来歴を紹介する こんな課題を考えてみよう：副作用付き計算 カウントアップする関数達 カウントアップしたい意志を戻り値で伝える それでは、いったい誰がカウントアップをするのだ 関数の引数の型をCountup型にまで拡張する そして、これがモナドだ とりあえず、あたりさわりなくモナドの来歴を紹介する 今からここで説明する「モナド（monad）
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
