Monads are mathematical structures which have been greatly studied by computer scientists of late. Many of the problems which functional languages have, in the past, seemed inadequate at solving seem to have clean solutions when put in the context of a monad. Such issues as comprehensions, I/O, state, and exception handling are among the features which we can now try to implement cleanly. My Ph.D research centers around a monad system for the charity programming language. The nice categorical semantics of this language, which is functional in style, suggests a neat way of incorporating this system into our programming paradigm.
Dr. Robin Cockett, Dave Spooner, Barry Yee, Peter Vesely, Ulrich Hensel, Marc Schroeder, and Charles Tuckey.
Return to Charity home page.