haskell-jp / random #97 at 2022-03-14 20:39:17 +0900

https://techblog.asahi-net.co.jp/entry/2022/03/14/143648
朝日ネット 技術者ブログで、Haskellと余代数に関する記事が公開されました。

オブジェクト指向をこのように解釈するのは初めて見ましたがこれまでで一番納得感のある解釈で、目からうろこという感じです。
ところで、 MealyMachine のところで

あるいはもっとオブジェクト指向風に、出力の取得と状態遷移の操作を分けたいならば、メソッドを２つに分けることもできるでしょう：

codata MealyMachine a b where
  Get        :: MealyMachine a b -> b
  TransOnly  :: MealyMachine a b -> a -> MealyMachine a b

と書かれているのですが、このようにしてしまうとこれはミーリ型ではなくムーア型マシンになってしまっているのではないでしょうか？^^;