| slovo | definícia |
monad
(encz) | monad,bičíkovec n: Zdeněk Brož |
monad
(encz) | monad,monáda n: Zdeněk Brož |
Monad
(gcide) | Monad \Mon"ad\, n. [L. monas, -adis, a unit, Gr. ?, ?, fr.
mo`nos alone.]
1. An ultimate atom, or simple, unextended point; something
ultimate and indivisible.
[1913 Webster]
2. (Philos. of Leibnitz) The elementary and indestructible
units which were conceived of as endowed with the power to
produce all the changes they undergo, and thus determine
all physical and spiritual phenomena.
[1913 Webster]
3. (Zool.) One of the smallest flagellate Infusoria; esp.,
the species of the genus Monas, and allied genera.
[1913 Webster]
4. (Biol.) A simple, minute organism; a primary cell, germ,
or plastid.
[1913 Webster]
5. (Chem.) An atom or radical whose valence is one, or which
can combine with, be replaced by, or exchanged for, one
atom of hydrogen.
[1913 Webster]
Monad deme (Biol.), in tectology, a unit of the first order
of individuality.
[1913 Webster] |
monad
(wn) | monad
n 1: (chemistry) an atom having a valence of one
2: a singular metaphysical entity from which material properties
are said to derive [syn: monad, monas]
3: (biology) a single-celled microorganism (especially a
flagellate protozoan) |
monad
(foldoc) | monad
/mo'nad/ A technique from
category theory which has been adopted as a way of dealing
with state in functional programming languages in such a
way that the details of the state are hidden or abstracted out
of code that merely passes it on unchanged.
A monad has three components: a means of augmenting an
existing type, a means of creating a default value of this new
type from a value of the original type, and a replacement for
the basic application operator for the old type that works
with the new type.
The alternative to passing state via a monad is to add an
extra argument and return value to many functions which have
no interest in that state. Monads can encapsulate state, side
effects, exception handling, global data, etc. in a purely
lazily functional way.
A monad can be expressed as the triple, (M, unitM, bindM)
where M is a function on types and (using Haskell notation):
unitM :: a -> M a
bindM :: M a -> (a -> M b) -> M b
I.e. unitM converts an ordinary value of type a in to monadic
form and bindM applies a function to a monadic value after
de-monadising it. E.g. a state transformer monad:
type S a = State -> (a, State)
unitS a = \ s0 -> (a, s0)
m `bindS` k = \ s0 -> let (a,s1) = m s0
in k a s1
Here unitS adds some initial state to an ordinary value and
bindS applies function k to a value m. (`fun` is Haskell
notation for using a function as an infix operator). Both m
and k take a state as input and return a new state as part of
their output. The construction
m `bindS` k
composes these two state transformers into one while also
passing the value of m to k.
Monads are a powerful tool in functional programming. If a
program is written using a monad to pass around a variable
(like the state in the example above) then it is easy to
change what is passed around simply by changing the monad.
Only the parts of the program which deal directly with the
quantity concerned need be altered, parts which merely pass it
on unchanged will stay the same.
In functional programming, unitM is often called initM or
returnM and bindM is called thenM. A third function, mapM is
frequently defined in terms of then and return. This applies
a given function to a list of monadic values, threading some
variable (e.g. state) through the applications:
mapM :: (a -> M b) -> [a] -> M [b]
mapM f [] = returnM []
mapM f (x:xs) = f x `thenM` ( \ x2 ->
mapM f xs `thenM` ( \ xs2 ->
returnM (x2 : xs2) ))
(2000-03-09)
|
monad
(devil) | MONAD, n. The ultimate, indivisible unit of matter. (See
MOLECULE.) According to Leibnitz, as nearly as he seems willing to
be understood, the monad has body without bulk, and mind without
manifestation -- Leibnitz knows him by the innate power of
considering. He has founded upon him a theory of the universe, which
the creature bears without resentment, for the monad is a gentleman.
Small as he is, the monad contains all the powers and possibilities
needful to his evolution into a German philosopher of the first class
-- altogether a very capable little fellow. He is not to be
confounded with the microbe, or bacillus; by its inability to discern
him, a good microscope shows him to be of an entirely distinct
species.
|
| | podobné slovo | definícia |
cryptomonad
(encz) | cryptomonad, n: |
lemonade
(encz) | lemonade,limonáda |
lemonade mix
(encz) | lemonade mix, n: |
monad
(encz) | monad,bičíkovec n: Zdeněk Brožmonad,monáda n: Zdeněk Brož |
monadic
(encz) | monadic,jednočlenný adj: Zdeněk Brož |
monadic operation
(encz) | monadic operation, n: |
order pseudomonadales
(encz) | order Pseudomonadales, n: |
pseudomonad
(encz) | pseudomonad, n: |
trichomonad
(encz) | trichomonad, n: |
xanthomonad
(encz) | xanthomonad, n: |
Chlamydomonadaceae
(gcide) | Chlamydomonadaceae \Chlamydomonadaceae\ prop. n.
A natural family of green algae some of which are colored red
by hematochrome.
Syn: family Chlamydomonadaceae.
[WordNet 1.5] |
Lemonade
(gcide) | Lemonade \Lem`on*ade"\ (l[e^]m`[u^]n*[=a]d"), n. [F. limonade;
cf. Sp. limonada, It. limonata. See Lemon.]
A beverage consisting of lemon juice mixed with water and
sweetened. "If you have lemons, make lemonade"
[1913 Webster] |
Monad deme
(gcide) | Monad \Mon"ad\, n. [L. monas, -adis, a unit, Gr. ?, ?, fr.
mo`nos alone.]
1. An ultimate atom, or simple, unextended point; something
ultimate and indivisible.
[1913 Webster]
2. (Philos. of Leibnitz) The elementary and indestructible
units which were conceived of as endowed with the power to
produce all the changes they undergo, and thus determine
all physical and spiritual phenomena.
[1913 Webster]
3. (Zool.) One of the smallest flagellate Infusoria; esp.,
the species of the genus Monas, and allied genera.
[1913 Webster]
4. (Biol.) A simple, minute organism; a primary cell, germ,
or plastid.
[1913 Webster]
5. (Chem.) An atom or radical whose valence is one, or which
can combine with, be replaced by, or exchanged for, one
atom of hydrogen.
[1913 Webster]
Monad deme (Biol.), in tectology, a unit of the first order
of individuality.
[1913 Webster] |
Monadaria
(gcide) | Monadaria \Mon`a*da"ri*a\ (m[o^]n`[.a]*d[=a]"r[i^]*[.a]), n. pl.
[NL. See Monad.] (Zool.)
The Infusoria.
[1913 Webster] |
Monadelphia
(gcide) | Monadelphia \Mon`a*del"phi*a\, n. pl. [NL., from Gr. mo`nos
alone + 'adelfo`s brother.] (Bot.)
A Linnaean class of plants having the stamens united into a
tube, or ring, by the filaments, as in the Mallow family.
[1913 Webster] Monadelphian |
Monadelphian
(gcide) | Monadelphian \Mon`a*del"phi*an\, Monadelphous \Mon`a*del"phous\,
a. [Cf. F. monadelphie.] (Bot.)
Of or pertaining to the Monadelphia; having the stamens
united in one body by the filaments.
[1913 Webster] Monadic |
Monadelphous
(gcide) | Monadelphian \Mon`a*del"phi*an\, Monadelphous \Mon`a*del"phous\,
a. [Cf. F. monadelphie.] (Bot.)
Of or pertaining to the Monadelphia; having the stamens
united in one body by the filaments.
[1913 Webster] Monadic |
Monadic
(gcide) | Monadic \Mo*nad"ic\, Monadical \Mo*nad"ic*al\, a.
Of, pertaining to, or like, a monad, in any of its senses.
See Monad, n. --Dr. H. More.
[1913 Webster] |
Monadical
(gcide) | Monadic \Mo*nad"ic\, Monadical \Mo*nad"ic*al\, a.
Of, pertaining to, or like, a monad, in any of its senses.
See Monad, n. --Dr. H. More.
[1913 Webster] |
Monadiform
(gcide) | Monadiform \Mo*nad"i*form\, a. [Monad + -form.] (Biol.)
Having the form of a monad; resembling a monad in having one
or more filaments of vibratile protoplasm; as, monadiform
young.
[1913 Webster] |
Monadology
(gcide) | Monadology \Mon`ad*ol"o*gy\, n. [Monad + -logy.] (Philos.)
The doctrine or theory of monads.
[1913 Webster] |
chlamydomonadaceae
(wn) | Chlamydomonadaceae
n 1: green algae some of which are colored red by hematochrome
[syn: Chlamydomonadaceae, family Chlamydomonadaceae] |
cryptomonad
(wn) | cryptomonad
n 1: common in fresh and salt water appearing along the shore as
algal blooms [syn: cryptomonad, cryptophyte] |
family chlamydomonadaceae
(wn) | family Chlamydomonadaceae
n 1: green algae some of which are colored red by hematochrome
[syn: Chlamydomonadaceae, family Chlamydomonadaceae] |
lemonade
(wn) | lemonade
n 1: sweetened beverage of diluted lemon juice |
lemonade mix
(wn) | lemonade mix
n 1: a commercial mix for making lemonade |
monad
(wn) | monad
n 1: (chemistry) an atom having a valence of one
2: a singular metaphysical entity from which material properties
are said to derive [syn: monad, monas]
3: (biology) a single-celled microorganism (especially a
flagellate protozoan) |
monadic operation
(wn) | monadic operation
n 1: an operation with exactly one operand [syn: {monadic
operation}, unary operation] |
order pseudomonadales
(wn) | order Pseudomonadales
n 1: one of two usually recognized orders of true bacteria;
Gram-negative spiral or spherical or rod-shaped bacteria
usually motile by polar flagella; some contain
photosynthetic pigments [syn: Pseudomonadales, {order
Pseudomonadales}] |
pseudomonad
(wn) | pseudomonad
n 1: bacteria usually producing greenish fluorescent water-
soluble pigment; some pathogenic for plants and animals |
pseudomonadales
(wn) | Pseudomonadales
n 1: one of two usually recognized orders of true bacteria;
Gram-negative spiral or spherical or rod-shaped bacteria
usually motile by polar flagella; some contain
photosynthetic pigments [syn: Pseudomonadales, {order
Pseudomonadales}] |
trichomonad
(wn) | trichomonad
n 1: cause of trichomoniasis in women and cattle and birds |
xanthomonad
(wn) | xanthomonad
n 1: bacteria producing yellow non-water-soluble pigments; some
pathogenic for plants |
monad
(foldoc) | monad
/mo'nad/ A technique from
category theory which has been adopted as a way of dealing
with state in functional programming languages in such a
way that the details of the state are hidden or abstracted out
of code that merely passes it on unchanged.
A monad has three components: a means of augmenting an
existing type, a means of creating a default value of this new
type from a value of the original type, and a replacement for
the basic application operator for the old type that works
with the new type.
The alternative to passing state via a monad is to add an
extra argument and return value to many functions which have
no interest in that state. Monads can encapsulate state, side
effects, exception handling, global data, etc. in a purely
lazily functional way.
A monad can be expressed as the triple, (M, unitM, bindM)
where M is a function on types and (using Haskell notation):
unitM :: a -> M a
bindM :: M a -> (a -> M b) -> M b
I.e. unitM converts an ordinary value of type a in to monadic
form and bindM applies a function to a monadic value after
de-monadising it. E.g. a state transformer monad:
type S a = State -> (a, State)
unitS a = \ s0 -> (a, s0)
m `bindS` k = \ s0 -> let (a,s1) = m s0
in k a s1
Here unitS adds some initial state to an ordinary value and
bindS applies function k to a value m. (`fun` is Haskell
notation for using a function as an infix operator). Both m
and k take a state as input and return a new state as part of
their output. The construction
m `bindS` k
composes these two state transformers into one while also
passing the value of m to k.
Monads are a powerful tool in functional programming. If a
program is written using a monad to pass around a variable
(like the state in the example above) then it is easy to
change what is passed around simply by changing the monad.
Only the parts of the program which deal directly with the
quantity concerned need be altered, parts which merely pass it
on unchanged will stay the same.
In functional programming, unitM is often called initM or
returnM and bindM is called thenM. A third function, mapM is
frequently defined in terms of then and return. This applies
a given function to a list of monadic values, threading some
variable (e.g. state) through the applications:
mapM :: (a -> M b) -> [a] -> M [b]
mapM f [] = returnM []
mapM f (x:xs) = f x `thenM` ( \ x2 ->
mapM f xs `thenM` ( \ xs2 ->
returnM (x2 : xs2) ))
(2000-03-09)
|
monadic
(foldoc) | monadic
1. unary, when describing an operator or
function. The term is part of the dyadic, niladic
sequence.
2. See monad.
(1998-07-24)
|
monad
(devil) | MONAD, n. The ultimate, indivisible unit of matter. (See
MOLECULE.) According to Leibnitz, as nearly as he seems willing to
be understood, the monad has body without bulk, and mind without
manifestation -- Leibnitz knows him by the innate power of
considering. He has founded upon him a theory of the universe, which
the creature bears without resentment, for the monad is a gentleman.
Small as he is, the monad contains all the powers and possibilities
needful to his evolution into a German philosopher of the first class
-- altogether a very capable little fellow. He is not to be
confounded with the microbe, or bacillus; by its inability to discern
him, a good microscope shows him to be of an entirely distinct
species.
|
|