Free monad considered harmful

haskell Published on September 27, 2017, last updated January 25, 2018 Now and then blog posts explaining and promoting use of free monads pop up, so for the sake of diversity I decided to write a post advising against free monads. What I’m going to tell is not new and there have been good comments on Reddit and in chats explaining downsides of free monads as basis of Haskell programs, but I thoug

[Nnwww]

FreeモナドのDSLの例って型クラスで良くない？というデモンストレーション

[ilyaletre]

tagless finalかこれ。翻訳先のsemanticsをFreeにしておけばinspectableだし、結局両方使うのが実は正しいのかもな、と思い始める。

[tanakh]

オッ(´･_･`)

[igrep]

確かに別に型クラスで大体のケースカバーできそうだよなぁ。