Comment on Introduction to Aspect-Oriented ProgrammingComments−hcarvalhoalves12yCould monadic types solve the same problem in codebases, by letting you compose "business" and "implementation" functions?−saryant12yThat's the idea behind the Reader pattern: http://blog.originate.com/blog/2013/10/21/reader-monad-for-d...Essentially, your business logic operations return a function of Implementation => Result, rather than just your Result, and you then call the function with whatever implementation you need at the edges of your application.
Comments
Could monadic types solve the same problem in codebases, by letting you compose "business" and "implementation" functions?
That's the idea behind the Reader pattern: http://blog.originate.com/blog/2013/10/21/reader-monad-for-d...
Essentially, your business logic operations return a function of Implementation => Result, rather than just your Result, and you then call the function with whatever implementation you need at the edges of your application.