Archive
-
2025-02-22 : TravelコモナドとFlowモナド
(monad, comonad, polynomial, state-like-monad, singletons)
-
2025-01-18 : 多項式コモナドの準同型 ≃ Retrofunctor
(comonad, polynomial, retrofunctor, morphism-division)
(Last modified on 2025-02-22)
-
2024-12-10 : Stateモナドはいくつあるか？
(advent-calenar, monad, state-monad, agda)
(Last modified on 2025-02-22)
-
2024-11-26 : 解説: Directed Containers as Categoires
(comonad, polynomial)
(Last modified on 2025-02-22)
-
2024-08-30 : 射の分割ができる圏
(comonad, morphism-division)
(Last modified on 2025-02-22)
-
2023-06-02 : 【誰か教えて】謎構造・「射の分割」ができる圏
(morphism-division)
(Last modified on 2025-02-22)
-
2023-06-02 : Control.Monad.Coの正体
(monad, comonad, state-like-monad)
(Last modified on 2025-02-22)
-
2023-05-16 : Applicativeの双対
(applicative)
(Last modified on 2025-02-22)
-
2023-01-22 : Cosemigroupについて
(applicative)
(Last modified on 2025-02-22)
-
2022-10-16 : Trail: 踏跡モナド
(library, functor-monad, list-t)
(Last modified on 2025-02-22)
-
2022-08-27 : Constructing Applicative from sum of Applicatives
(applicative)
(Last modified on 2025-02-22)
-
2022-05-01 : MaybeモナドとReaderモナドの特別な関係 (2)
(monad, polynomial, reader-maybe, cartesian)
(Last modified on 2025-02-22)
-
2022-03-25 : MaybeモナドとReaderモナドの特別な関係 (1)
(monad, polynomial, reader-maybe)
(Last modified on 2025-02-22)
-
2022-03-11 : Maybe's Free
(monad, reader-maybe)
(Last modified on 2025-02-22)
-
2021-11-13 : FilterableとWitherableについて
(witherable, string-diagram)
(Last modified on 2025-02-22)
-
2021-08-18 : 随伴から作られるMonad
(monad, string-diagram, list-t-done-wrong)
(Last modified on 2025-02-22)
-
2021-06-26 : 随伴から作られるMonad(準備編)
(monad, string-diagram)
(Last modified on 2025-02-22)
-
2021-06-01 : ストリング図でMonad再入門(3)
(monad, string-diagram, distributive-law)
(Last modified on 2025-02-22)
-
2021-05-20 : ストリング図でMonad再入門(2)
(monad, string-diagram)
(Last modified on 2025-02-22)
-
2021-05-17 : ストリング図でMonad再入門(1)
(monad, string-diagram)
(Last modified on 2025-02-22)
-
2021-01-01 : 多項式Applicative Functorの一般論（補遺）
(applicative, polynomial)
(Last modified on 2025-02-22)
-
2020-11-25 : 多項式Applicative Functorの一般論
(applicative, polynomial)
(Last modified on 2025-02-22)
-
2020-09-02 : ネットワークのトラブルシューティング
(misc)
(Last modified on 2025-02-22)
-
2020-08-23 : Functor上のモナド、FMonadについて
(library, functor-monad)
(Last modified on 2025-02-22)
-
2020-08-21 : 幅優先探索
(misc)
(Last modified on 2025-02-22)
-
2020-08-07 : Day convolutionいろいろ
(applicative)
(Last modified on 2025-02-22)
-
2020-07-25 : 続・Applicativeと対応する代数 反例発見
(applicative, alloy)
(Last modified on 2025-02-22)
-
2020-05-30 : Applicativeと対応する代数
(applicative)
(Last modified on 2025-02-22)
-
2020-02-29 : 可換なモナドとは？
(monad, list-t-done-wrong)
(Last modified on 2025-02-22)
-
2020-02-29 : 可換なモナドとは？細かい計算部分
(monad, list-t-done-wrong)
(Last modified on 2025-02-22)
-
2019-12-16 : (主張3)の証明が改善の余地ありだったので修正
(monad, polynomial)
(Last modified on 2025-02-22)
-
2019-12-15 : モナドを見分けるコツ
(monad, polynomial)
(Last modified on 2025-02-22)
-
2019-11-15 : モナドになれないFunctor
(monad, polynomial)
(Last modified on 2025-02-22)
-
2019-11-15 : モナドになれないFunctor(追補)
(monad, polynomial)
(Last modified on 2025-02-22)
-
2018-12-29 : 型クラスAlignについて
(semialign)
(Last modified on 2025-02-22)
-
2018-12-18 : reflectionを使ったテクニック
(library)
(Last modified on 2025-02-22)
-
2018-12-10 : LambdaBox
(lambdabox)
(Last modified on 2025-02-22)
-
2018-12-09 : matchable解説
(library)
(Last modified on 2025-02-22)