/*
Monads in Javascript 
by

Cratylus



in windows fire up a command shell and run 

cscript monad.js



this is my take on what monads are, if i'm wrong  let me know :)

this shows how to create state transformers -  ie functions which modify state and pass it along for further computation

 this is just to present the concept of a monad as an aid (?) to understanding ( at leasts my own )
 
 imperative languages like javascript don't _need_ monads because they already have state built in
 
 a monad in this case is basically a function ftom a state to a pair consisting of the result of the computation and the new state :
 viz:     monad  = function from states to pairs of (result,state)

 so to actually grab our result of a computation, we would do     finalresult =    monad(startstate)[0]   <---- the first element of the pair
 


 bind is a function that allows us to combine the results of one monad and feed it in to another one
 bind "secretly" passes the state of the computation
to make bind easier to read  we define two projection functions from pairs to the first and second elements of the pair

 
 mreturn just allows us to intialise a monad with a value
 
 references :
 
 
 ive just taken Oleg Kiselyov's scheme monads and translated them into javascript
 
 see also the paper by 
 check out Douglas Crockford's clever javascript page too 
 
 
 monads are actually more general mathematical entities 
 
 google for monad category theory to find out more
 
 
 
*/

//start of monad.js

function State(x,y) {
//simple state object  - imagine x and y are "registers" for example
	this.x = x;
	this.y = y;
	// this is just fluff
	this.describe =  describe;
}

function describe() {
	// just fluff - change this if you're not using windows
	WScript.echo("x value = " + this.x.toString() + "  y value = " + this.y.toString() );
}

function makepair(a,s) {
	// just an array to hold the result and a state object
	
	return  [a,s];
}

function getstate(pair) {
	return pair[1];
}

function getresult(pair) {
	return pair[0];
}


function mreturn(a) {
	return function (s) {
		return makepair(a,s);
	};
}

function bind(m,f) {
	return function (oldstate) {
		var pair,newstate,result,newmonad;
		// m is a function of a state to a pair
		pair =  m(oldstate);
		// we grab the state from the pair
		newstate = getstate(pair);
		// we grab the result of the m computation which has been placed in
		// the result position of the pair
		result = getresult(pair);
		// we apply our function f to this result, which gives us
		// a new computation (i.e.  a new monad : another function which  takes a state to a pair )
		newmonad = f(result);
		// finally we apply this function to the new state to get another computation
		return newmonad(newstate);
	};
}

// notice that the "new" word in the makepair function  --  we are actually creating  a new state object each call :)

var incx = function(val) {
		return function(state) {
			return makepair(null,new State(state.x + val,state.y));
		};
}

var incy = function(val) {
		return function(state) {
			return makepair(null,new State(state.x,state.y + val));
		};
}






// first we just cook up a start state
var startstate = new State(0,0);


// here is a simple state transformer  function which adds 21 to a number, keeping the state constant



function foo(val) {
   return function(state) {
		return makepair(val + 21,new State(state.x,state.y));
	};
}




//to illustrate the monad return law:       return x >>= f      =   f x        NB.    f x is itself a state transformer function :)

// mreturn just gives us a value to work with
WScript.echo("Illustrating the monad return law");
WScript.echo("foo(21) in the start state")
var result =  foo(21)(startstate)[0];
WScript.echo(result);
WScript.echo("return 21 >>= foo");
var returncomputation = bind(mreturn(21),foo);
WScript.echo(returncomputation(startstate)[0]);

/* we can build up complex state transformations by using bind
our example corresponds to the imperative program:
incx 10
incy 12
incx 100

given our state State = (0,0) 

we expect that the final state should be  (110,12) 



note that we do not use the val parameter fed in to the functions here, because we are not using the results of previous computations
the result null is returned by each incx or incy function , but we could make it return a value here  - i'll write this up later
 hideous huh?
*/
var program =  bind(bind(bind(mreturn(null),function (val) {return incx(10);}),function (val) {return incy(12);}),function (val) {return incx(100);});
WScript.echo("Illustrating monad bind:");
startstate.describe();
program(startstate)[1].describe();

// end of monad.js


Visited 14654 times