Ето го проблемът, за който си мислех напоследък. Да кажем, че нашият интерфейс е член-функция, която връща обект, който е скъп за копиране и евтин за преместване (std::string, std::vector и т.н.). Някои реализации могат да изчислят резултата и да...

Играя си с CPS и Control.Monad.Cont и се чудя какво печелим, като забележим монадичната структура. За код като този: sumOfSquares'cps :: Cont r Int -> Cont r Int -> Cont r Int sumOfSquares'cps x y = x >>= \x' ->...