Hello.
Did anybody consider using monads in CIL?
Passing state implicitely is a useful feature - I've seen this while
developing some
simple monadic parser combinators in Haskell (or interpreter, where the monadic
state is
the context of the evaluation) - see, if interested, papers
http://eprints.nottingham.ac.uk/223/1/pearl.pdf or
http://www.cs.nott.ac.uk/~gmh/monparsing.pdf.
Now, there are monad implementations in OCaml (they don't come in the
stdlib as in
Haskell).
I ask about monads in CIL because I've met at least once the need of
having a history
with the previous visited objects in CIL visitors.
Now, clearly one can implement such history without complex constructs
such as monads :)
Best regards,
Alex
------------------------------------------------------------------------------
Dive into the World of Parallel Programming! The Go Parallel Website,
sponsored by Intel and developed in partnership with Slashdot Media, is your
hub for all things parallel software development, from weekly thought
leadership blogs to news, videos, case studies, tutorials and more. Take a
look and join the conversation now. http://goparallel.sourceforge.net
_______________________________________________
CIL-users mailing list
CIL-users@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/cil-users
