3 ms·
Are you suggesting monadic anamorphisms are easy in other languages but hard in Haskell? Could you give an example for comparison?
by yakshaving_jgt 6y ago
Are you suggesting monadic anamorphisms are easy in other languages but hard in Haskell? Could you give an example for comparison?
- Y_Y 6y agoI was being facetious, you can certainly do stuff like anamorphisms easily in other languages, but the hard work of pulling out and expressing the abstraction is definitely a job for Haskell. Anyway here's one from Data.Functor.Foldable.Exotic just for fun: anaM :: (Corecursive t, Traversable (Base t), Monad m) => (a -> m (Base t a)) -> (a -> m t) anaM psi = a where a = (fmap embed . traverse a) <=< psi