Return to buffers.sml CVS log

Up to [Research Unix] / researchv10no / cmd / sml / doc / examples / missionaries

Annotation of researchv10no/cmd/sml/doc/examples/missionaries/buffers.sml, revision 1.1

1.1     ! root        1: (* depth-first state buffer -- implements a stack *)
        !             2: 
        !             3: structure DF : BUFFER =
        !             4: struct
        !             5:   type 'a buffer = 'a list
        !             6:   exception EMPTY
        !             7:   val empty = []
        !             8:   fun get [] = raise EMPTY
        !             9:     | get(x::l) = (x,l)
        !            10:   fun put(x,l) = x::l
        !            11: end
        !            12: 
        !            13: 
        !            14: (* breadth-first state buffer -- implements an applicative queue *)
        !            15: 
        !            16: structure BF : BUFFER =
        !            17: struct
        !            18:   type 'a buffer = 'a list * 'a list
        !            19:   exception EMPTY
        !            20:   val empty = ([],[])
        !            21:   fun get([],[]) = raise EMPTY
        !            22:     | get(a::r,l) = (a,(r,l))
        !            23:     | get([],l) = get(rev l,[])
        !            24:   fun put(x,(m,l)) = (m,x::l)
        !            25: end

This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.