タグ

comonadとhaskellに関するWindymeltのブックマーク (2)

  • Haskell/Zippers - Wikibooks

    テセウスとZipper[編集] 迷宮[編集] 「テセウス、何か手を打たなければならない。」ホメロス…Ancient Geeks株式会社の営業部部長は言った。テセウスはミノタウロスアクションフィギュア™を後ろの棚に入れてうなずいた。「今の子供たちはもはや古代神話に興味を持っていない、彼らはスパイダーマンやスポーンのような現代ヒーローが好きなんだ。」ヒーロー。テセウスは、迷宮からクレタ島に戻った英雄[1]だったから、どのくらいのものかをよく知っていた。しかし「現代ヒーロー」たちは現実的に現れるようなことはしなかった。何が彼らの勝因だったのか?とにかく、未払い金の問題が解決できなかった場合、株主たちはステュクス河を渡ってきてAncient Geeks株式会社を整理するだろう。 「閃いたぞ!テセウス、良い案がある!君のミノタウロスとの戦いの物語をコンピューターゲームにするんだ!どうだい?」ホメロス

    Windymelt
    Windymelt 2023/10/18
    comonadになるデータ構造Zipperのとてもわかりやすい解説。物語仕立てで図もあり、理解しやすい。
  • What is the Store comonad?

    Windymelt
    Windymelt 2023/06/09
    "I like to think of a Store as a big warehouse filled with values of type a. "
  • 1