|
|
|
|
|
|
by buffyoda
3555 days ago
|
|
|
Free monads can be inspected "up to the first lambda", which is always at least one operation in, and it's what enables things like purely functional mocking. However, other free structures, such as free applicatives, can be completely introspected: https://www.youtube.com/watch?v=H28QqxO7Ihc The point is that free monads allow introspection up to the information-theoretic limit (obviously you can't inspect a program whose structure depend on a runtime value), while transformers do not allow any introspection at all. |
|
|