モナド基礎勉強会vol2(#monadBase)で「米田の補題」の話をして来ました - Creatable a => a -> IO b

モナド基礎勉強会vol2(#monadBase)で「米田の補題」の話をして来ました - Creatable a => a -> IO b

はいはいどうも、花粉症で鼻水じゅびじゅばなちゅーんさんです、おこんばんわ。 色々あって現在求職中な...概要を表示 はいはいどうも、花粉症で鼻水じゅびじゅばなちゅーんさんです、おこんばんわ。 色々あって現在求職中なのもあり、自分の書きたいコードをゴリゴリ書いたり、理論的な事をがつがつ勉強したりする良い時間を作れていて、だいぶ下請けPG時代に貯まった疲れも取れてきたのかなぁとか思ったりしてます。 これを期に手をつけはじめた事が色々あるので、そのうちいくつかでも自分の中でケジメを付けるまで、もうちょっとのんびりしたいなぁと思い、寄生している実家の母親の顔色と、銀行口座残高とにらめっこしつつ、やりたいようにやってる感じです。 さて、そんな機会を使って、名古屋で開催された「モナド基礎勉強会vol2」へ足を運んで登壇させて頂きましたので、今日はそのレポートというか、雑記みたいなエントリです。 どんな勉強会だったのか こんなんです xbase.connpass.com 「基本」ではなく「基礎」ですから、午前の部でが

• 圏論
• Monad