Exercise One

You Could Have Invented Monads! (And Maybe You Already Have.)

Write the function bind.


bind f' (gx,gs) = (fx, gs++fs)
                    (fx,fs) = f' gx

The meaning of bind here:

1. apply f' to the last result data gx, generating the new data fx; and

2. concat the last debug string, gs, to the string generating by f', fs.

— Me@2015.07.19 10:25 PM

2015.07.27 Monday (c) All rights reserved by ACHK