Re:Modern Functional Programming: The Onion Architecture
by rtpg on Thursday September 29, 2016 @07:05PM
(#12609500)
AplicativeDo solves this a little bit through using Applicative until the results are necessary for the next instruction, then opting for Monad instances
[ Parent
| on HN ]
Re:Modern Functional Programming: The Onion Architecture
by lmm on Friday September 30, 2016 @03:45AM
(#12611033)
Right, but at that point you're no longer Free. (Unless you declare the inefficient implementation and the efficient implementation to be equivalent, but if you do that then every refactor risks destroying your performance).