| slovo | definícia |
typed
(mass) | typed
- napísal |
typed
(encz) | typed,napsal v: Zdeněk Brož |
typed
(encz) | typed,napsaný adj: Zdeněk Brož |
typed
(encz) | typed,psaný na stroji Zdeněk Brož |
Typed
(gcide) | Type \Type\, v. t. [imp. & p. p. Typed; p. pr. & vb. n.
Typing.]
1. To represent by a type, model, or symbol beforehand; to
prefigure. [R.] --White (Johnson).
[1913 Webster]
2. To furnish an expression or copy of; to represent; to
typify. [R.]
[1913 Webster]
Let us type them now in our own lives. --Tennyson.
[1913 Webster] |
| | podobné slovo | definícia |
mistyped
(encz) | mistyped,špatně zapsaný na stroji Zdeněk Brož |
prototyped
(encz) | prototyped, |
retyped
(encz) | retyped,přepsal v: Zdeněk Brož |
stereotyped
(encz) | stereotyped,stereotypní adj: Zdeněk Brož |
untyped
(encz) | untyped,nedefinovaný typem Zdeněk Brož |
Daguerreotyped
(gcide) | Daguerreotype \Da*guerre"o*type\ (d[.a]*g[e^]r"[-o]*t[imac]p),
v. t. [imp. & p. p. Daguerreotyped (-t[imac]pt); p. pr. &
vb. n. Daguerreotyping (-t[imac]`p[i^]ng).]
1. To produce or represent by the daguerreotype process, as a
picture.
[1913 Webster]
2. To impress with great distinctness; to imprint; to imitate
exactly. Daguerreotyper |
Electrotyped
(gcide) | Electrotype \E*lec"tro*type\, v. t. [imp. & p. p.
Electrotyped; p. pr. & vb. n. Electrotyping.]
To make facsimile plates of by the electrotype process; as,
to electrotype a page of type, a book, etc. See
Electrotype, n.
[1913 Webster] |
Lithotyped
(gcide) | Lithotype \Lith"o*type\, v. t. [imp. & p. p. Lithotyped; p.
pr. & vb. n. Lithotyping.]
To prepare for printing with plates made by the process of
lithotypy. See Lithotypy.
[1913 Webster] |
Polytyped
(gcide) | Polytype \Pol"y*type\, v. t. [imp. & p. p. Polytyped; p. pr. &
vb. n. Polytyping.] (Print.)
To produce a polytype of; as, to polytype an engraving.
[1913 Webster] |
Stereotyped
(gcide) | Stereotype \Ste"re*o*type\, v. t. [imp. & p. p. Stereotyped;
p. pr. & vb. n. Stereotyping.] [Cf. F. st['e]r['e]otyper.]
1. To prepare for printing in stereotype; to make the
stereotype plates of; as, to stereotype the Bible.
[1913 Webster]
2. Fig.: To make firm or permanent; to fix.
[1913 Webster]
Powerful causes tending to stereotype and aggravate
the poverty of old conditions. --Duke of
Argyll (1887).
[1913 Webster]Stereotyped \Ste"re*o*typed\, a.
1. Formed into, or printed from, stereotype plates.
[1913 Webster]
2. Fig.: Formed in a fixed, unchangeable manner; as,
stereotyped opinions.
[1913 Webster]
Our civilization, with its stereotyped ways and
smooth conventionalities. --J. C.
Shairp.
[1913 Webster] |
Typed
(gcide) | Type \Type\, v. t. [imp. & p. p. Typed; p. pr. & vb. n.
Typing.]
1. To represent by a type, model, or symbol beforehand; to
prefigure. [R.] --White (Johnson).
[1913 Webster]
2. To furnish an expression or copy of; to represent; to
typify. [R.]
[1913 Webster]
Let us type them now in our own lives. --Tennyson.
[1913 Webster] |
stereotyped
(wn) | stereotyped
adj 1: lacking spontaneity or originality or individuality;
"stereotyped phrases of condolence"; "even his profanity
was unimaginative" [syn: stereotyped, stereotypic,
stereotypical, unimaginative] |
dynamically typed
(foldoc) | dynamic typing
dynamically typed
Enforcement of type rules at run time as
opposed to compile time. Dynamic typing catches more errors
as run-time exceptions than static typing.
Tcl, Perl, PHP, Python and Visual Basic are examples
of dynamically typed languages. A dynamically typed language
may have strong typing or weak typing.
(2004-07-20)
|
statically typed
(foldoc) | static typing
statically typed
Enforcement of type rules at compile time
rather than at run time. Static typing catches more errors
at compile time than dynamic typing.
Ada, C, C++, Haskell, Java, and ML are examples of
statically typed languages.
Statically typed languages may have strong typing or {weak
typing}.
(2004-07-20)
|
stringly typed
(foldoc) | stringly typed
A humourous play on "strongly typed",
coined by Mark Simpson, for an implementation that uses
strings instead of more appropriate types, thus preventing
compile-time type checking.
[{Dodgy Coder
(http://www.dodgycoder.net/2011/11/yoda-conditions-pokemon-exception.html)}].
(2012-06-25)
|
strongly typed
(foldoc) | strong typing
strongly typed
Strict enforcement of type rules with no
exceptions. Incorrect type usage can be detected either at
run time or at compile time. Strong typing catches more
type errors than weak typing, resulting in fewer hard
errors. In a strongly typed language, conversion between
types requires the use of explicit conversion functions
("casts") as opposed to implicit type coercion.
Typing strength is a continuum; ML is more strongly typed
than Java, which is more strongly typed than C.
Strong or weak typing is independent of the choice between
static typing and dynamic typing. Among strongly typed
languages, Ada, Java, Haskell and ML are statically
typed, whereas Python and Ruby are dynamically typed.
(2004-07-20)
|
typed lambda-calculus
(foldoc) | typed lambda-calculus
(TLC) A variety of lambda-calculus in which every
term is labelled with a type.
A function application (A B) is only synctactically valid if
A has type s --> t, where the type of B is s (or an instance
or s in a polymorphic language) and t is any type.
If the types allowed for terms are restricted, e.g. to
Hindley-Milner types then no term may be applied to itself,
thus avoiding one kind of non-terminating evaluation.
Most functional programming languages, e.g. Haskell, ML,
are closely based on variants of the typed lambda-calculus.
(1995-03-25)
|
typedprolog
(foldoc) | TypedProlog
A strongly typed logic programming language.
(1995-03-25)
|
untyped
(foldoc) | untyped
A variable which can hold values of any type
or a programming language in which some or all variables are
like this.
An example would be VBScript, or Visual Basic's variant
type.
(2003-12-22)
|
weakly typed
(foldoc) | weak typing
weakly typed
Strict enforcement of type rules but with
well-defined exceptions or an explicit type-violation
mechanism.
Weak typing is "friendlier" to the programmer than {strong
typing}, but catches fewer errors at compile time.
C and C++ are weakly typed, as they automatically coerce
many types e.g. ints and floats. E.g.
int a = 5;
float b = a;
They also allow ignore typedefs for the purposes of type
comparison; for example the following is allowed, which would
probably be disallowed in a strongly typed language:
typedef int Date; /* Type to represent a date */
Date a = 12345;
int b = a; /* What does the coder intend? */
C++ is stricter than C in its handling of enumerated types:
enum animal CAT=0,DOG=2,ANT=3;
enum animal a = CAT; /* NB The enum is optional in C++ */
enum animal b = 1; /* This is a warning or error in C++ */
(2000-07-04)
|
|