Lambda the Ultimate

inactiveTopic You call that a Monad? This HERE's a Monad.... And a Shell.
started 11/11/2003; 10:59:24 AM - last post 11/13/2003; 8:02:59 AM
Brent Fulgham - You call that a Monad? This HERE's a Monad.... And a Shell.  blueArrow
11/11/2003; 10:59:24 AM (reads: 9685, responses: 4)
You call that a Monad? This HERE's a Monad.... And a Shell.
Arjen van Weelden and Rinus Plasmeijer. A Functional Shell that Dynamically Combines Compiled Code. Currently under review by the 15th International Workshop on the Implementation of Functional Languages, IFL 2003, Scotland, September 10-13, 2003. pdf.

Now that the word Monad has appeared on a Microsoft-generated product, this must mean the world is at last ready for this concept. Not surprisingly, this work has already been done in a more innovative way by our friends at Nijmegen University (among others, such as the Scheme Shell, etc.).

This paper describes Esther, a functional shell built in Clean that allows the functionally-literate system administrator to build scripts that interact with the operating system using higher-order-functions, folds, etc.

The concept is being extended to an operating system called Hilde.
Posted to functional by Brent Fulgham on 11/11/03; 11:36:22 AM

Isaac Gouy - Re: You call that a Monad? This HERE's a Monad.... And a Shell.  blueArrow
11/11/2003; 11:28:48 AM (reads: 573, responses: 0)
And via comp.lang.functional Es: A shell with higher-order functions (1993)

Ashley Yakeley - Re: You call that a Monad? This HERE's a Monad.... And a Shell.  blueArrow
11/11/2003; 12:49:50 PM (reads: 553, responses: 0)
Isn't there some kind of Haskell shell or something? I seem to remember something called "hash"...

Dominic Fox - Re: You call that a Monad? This HERE's a Monad.... And a Shell.  blueArrow
11/12/2003; 3:04:40 PM (reads: 341, responses: 1)

This also is a Monad...

Matt Hellige - Re: You call that a Monad? This HERE's a Monad.... And a Sh  blueArrow
11/13/2003; 8:02:59 AM (reads: 297, responses: 0)
"The spirits did not die however. They flared up into the atmosphere to form a vast intelligence, a huge mind cloud of electro-magnetic energy, an evil intelligence, twisted by the pain of purification. It was the quintessence of human evil. The Monad."

Actually, yeah, that sounds about right! Particularly "twisted by the pain of purification"...