Home

Welcome

主にHaskellに関するブログです。Hakyllで初めて作りました:)

最近の投稿

• 【誰か教えて】謎構造・「射の分割」ができる圏 - 2023-06-02
• Control.Monad.Coの正体 - 2023-06-02
• Applicativeの双対 - 2023-05-16
• Cosemigroupについて - 2023-01-22 (Last modified on 2023-01-23)
• Trail: 踏跡モナド - 2022-10-16 (Last modified on 2022-10-17)
• Constructing Applicative from sum of Applicatives - 2022-08-27
• MaybeモナドとReaderモナドの特別な関係 (2) - 2022-05-01
• MaybeモナドとReaderモナドの特別な関係 (1) - 2022-03-25 (Last modified on 2022-05-01)
• Maybe's Free - 2022-03-11 (Last modified on 2022-03-14)
• FilterableとWitherableについて - 2021-11-13
• 随伴から作られるMonad - 2021-08-18 (Last modified on 2021-10-23)
• 随伴から作られるMonad(準備編) - 2021-06-26 (Last modified on 2021-08-16)
• ストリング図でMonad再入門(3) - 2021-06-01 (Last modified on 2021-06-26)
• ストリング図でMonad再入門(2) - 2021-05-20 (Last modified on 2021-06-26)
• ストリング図でMonad再入門(1) - 2021-05-17 (Last modified on 2021-06-26)

より古い投稿はアーカイブをご覧ください。