Kory@Kory__3FollowClick to Follow Kory__3続くといいな日記 – Graded Monad とエフェクトTranslate postmizunashi-mana.github.ioGraded Monad とエフェクトgraded monad について聞きかじって，色々調べたのでそのメモ． graded monad はエフェクトシステムの categorical semantics 作るときに使われてるらしい．エフェクトシステ …8:55 PM · Jul 8, 2025·2,191 Views231912
