モナドの物理的なアナロジー

モナドの物理的なアナロジー モナドは非常に抽象的なエンティティなので、ときには、モナドそのもの について直接考えるより、モナドのアナロジーとしての具体的なシステムを 考えるのが有用です。この方法では、物理的な直観と経験を利用して、 計算モナドの抽象的世界を再考するための洞察を得られます。 ここで展開する特殊な物理的なアナロジーは機械化された組み立てラインです。 これは、モナドに完璧に合致するものではありません。— 殊にモナド 計算の高階性ある局面の幾つかでは。— しかし、初期段階では、モナドが どのように機能するかを理解するには十分役立ちます。 Haskell のプログラムをベルトコンベヤと考えることから始めましょう。 入力はコンベヤの端に載せられ、一連のワークエリアへと運ばれます。 各ワークエリアにおいて、ベルトコンベヤ上の物品になんらかの操作が 加えられ、そしてその結果はまたベルトコン

[paz3]

ベルトコンベアをモデルにしたモナドの説明。材料をトレイに乗せる(モナド化)→Combiner(>>=)がWorker(関数)にトレイ内容を送る→結果が再びトレイに乗る。モナドを使うことでラインの組み換えが容易になる。

[DOSEI]

wrapper が途中で wrapped に変わってるのは誤植なのかなぁ

[hihi01]

こ、これなに！モナドって哲学用語じゃないのか？