"That's fine, but it seems strange to promote a language because one of its features lets you work around its primary objective."
Nope. Monads are a purely functional construct. A elegant generalization, Arrows, enable one to construct Unix-style pipelines, but with typed contracts. That is, imagine having a command shell that rejected as bad syntax pipelines where the data of the consumer and producer did not make sense together. Marcus -------------------------------------------------------------------- myhosting.com - Premium Microsoft® Windows® and Linux web and application hosting - http://link.myhosting.com/myhosting ============================================================ FRIAM Applied Complexity Group listserv Meets Fridays 9a-11:30 at cafe at St. John's College to unsubscribe http://redfish.com/mailman/listinfo/friam_redfish.com
