There is also the mathematical "monad" (see links below). I don't know if they are the same as Leibniz's monads, but there is a Leibniz programming language:
http://www.monads-security.org/ "As the hardware development possibilities at Darmstadt were limited Prof. Keedy worked there from 1982 to 1985 on software related aspects of the projects. The elimination of a file system in the Monads philosophy made it necessary to think about how persistent objects could be organized in the virtual memory. A former research student from Monash, Mark Evered, moved to Darmstadt with Prof. Keedy and worked there on the development of a new very high level programming language, called Leibniz, for this purpose. Leibniz is a persistent programming language which supports information hiding modules (including files) and allows them to be structured as sets and sequences of smaller objects. It is more fully described elsewhere. While in Monash Prof. Keedy and his students had also given some attention to support for efficient synchronization primitives. He developed these ideas further in Darmstadt together with his research assistant Bernd Freisleben." and a Leibniz computer: "In 1984 John Rosenberg (who had meanwhile returned to Monash after working in a software house) and David Abramson joined together to continue the Monads hardware work. Together they designed and built the first Monads-PC system at Monash, incorporating many of the ideas from the abandoned Monads III. The Monads-PC had 60 bit virtual addresses with capability registers and an address translation unit capable of efficiently translating these large unique virtual addresses. Over the following years several Monads-PC systems were built, and this system became the workhorse for most subsequent research on the Monads Project. A picture of a Monads-PC computer appears at the head of this document." Elsewhere there is mention OF MONADS in connection with monads of the HASKELL PROGRAMMING LANGUGE. Also, see: monads in category theory http://en.wikipedia.org/wiki/Monad_%28category_theory%29 monads in functional program http://en.wikipedia.org/wiki/Monads_in_functional_programming Roger , rclo...@verizon.net 8/18/2012 Leibniz would say, "If there's no God, we'd have to invent him so everything could function." -- You received this message because you are subscribed to the Google Groups "Everything List" group. To post to this group, send email to everything-list@googlegroups.com. To unsubscribe from this group, send email to everything-list+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/everything-list?hl=en.
