3 ms·

Could monadic types solve the same problem in codebases, by letting you compose "business" and "implementation" functions?

• saryant 12y ago
  That's the idea behind the Reader pattern: http://blog.originate.com/blog/2013/10/21/reader-monad-for-dependency-injection/ 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.