| | podobné slovo | definícia |
categorically
(mass) | categorically
- rozhodne |
categorical
(encz) | categorical,kategorický Jiří Šmoldascategorical,rozhodný Jiří Šmoldas |
categorical grant
(encz) | categorical grant, |
categorical imperative
(encz) | categorical imperative, n: |
categorically
(encz) | categorically,kategoricky Jiří Šmoldascategorically,rozhodně Jiří Šmoldas |
Categorical
(gcide) | Categorical \Cat`e*gor"ic*al\, a.
1. Of or pertaining to a category.
[1913 Webster]
2. Not hypothetical or relative; admitting no conditions or
exceptions; declarative; absolute; positive; express; as,
a categorical proposition, or answer.
[1913 Webster]
The scriptures by a multitude of categorical and
intelligible decisions . . . distinguish between the
things seen and temporal and those that are unseen
and eternal. --I. Taylor.
[1913 Webster] |
Categorically
(gcide) | Categorically \Cat`e*gor"ic*al*ly\, adv.
Absolutely; directly; expressly; positively; as, to affirm
categorically.
[1913 Webster] |
Categoricalness
(gcide) | Categoricalness \Cat`e*gor"ic*al*ness\, n.
The quality of being categorical, positive, or absolute. --A.
Marvell.
[1913 Webster] |
Homocategoric
(gcide) | Homocategoric \Ho`mo*cat`e*gor"ic\, a. [Homo- + categoric.]
(Biol.)
Belonging to the same category of individuality; -- a
morphological term applied to organisms so related.
[1913 Webster] |
categorical
(wn) | categorical
adj 1: relating to or included in a category or categories [syn:
categorical, categoric]
2: not modified or restricted by reservations; "a categorical
denial"; "a flat refusal" [syn: categoric, categorical,
flat, unconditional] |
categorical imperative
(wn) | categorical imperative
n 1: the moral principle that behavior should be determined by
duty |
categorically
(wn) | categorically
adv 1: in an unqualified manner; "he flatly denied the charges"
[syn: flatly, categorically, unconditionally] |
categorical abstract machine language
(foldoc) | Categorical Abstract Machine Language
(Originally "CAML" - Categorical Abstract Machine
Language) A version of ML by G. Huet, G. Cousineau, Ascander
Suarez, Pierre Weis, Michel Mauny and others of INRIA and
ENS. CAML is intermediate between LCF ML and SML [in
what sense?]. It has first-class functions, {static type
inference} with polymorphic types, user-defined {variant
types} and product types, and pattern matching. It is
built on a proprietary run-time system.
The CAML V3.1 implementation added lazy and mutable data
structures, a "grammar" mechanism for interfacing with the
Yacc parser generator, pretty-printing tools,
high-performance arbitrary-precision arithmetic, and a
complete library. CAML V3 is often nicknamed "heavy CAML",
because of its heavy memory and CPU requirements compared to
Caml Light.
in 1990 Xavier Leroy and Damien Doligez designed a new
implementation called Caml Light, freeing the previous
implementation from too many experimental high-level features,
and more importantly, from the old Le_Lisp back-end.
Following the addition of a native-code compiler and a
powerful module system in 1995 and of the object and
class layer in 1996, the project's name was changed to
Objective Caml.
["The CAML Reference Manual", P. Weis et al, TR INRIA-ENS,
1989].
(2003-04-12)
|
|