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:

"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 

Elsewhere there is mention OF MONADS in connection with monads of the HASKELL 

Also, see:

monads in category theory

monads in functional program

Roger ,
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
To unsubscribe from this group, send email to
For more options, visit this group at

Reply via email to