| slovo | definícia |
schematic
(encz) | schematic,schématický adj: Zdeněk Brož |
Schematic
(gcide) | Schematic \Sche*mat"ic\, a. [Cf. Gr. ? pretended.]
Of or pertaining to a scheme or a schema.
[1913 Webster] |
schematic
(wn) | schematic
adj 1: represented in simplified or symbolic form [syn:
conventional, formal, schematic]
n 1: diagram of an electrical or mechanical system [syn:
schematic, schematic drawing] |
| | podobné slovo | definícia |
schematic drawing
(encz) | schematic drawing, n: |
schematically
(encz) | schematically,schematicky adv: Zdeněk Brož |
schematicky
(czen) | schematicky,schematicallyadv: Zdeněk Brož |
schematický
(czen) | schematický,diagrammaticadj: Zdeněk Brož |
conventional formal schematic
(gcide) | nonrepresentational \nonrepresentational\ adj. (Art)
not intended to realistically represent a physical object; --
of visual art work. Opposite of representational. [Narrower
terms: {abstract, abstractionist, nonfigurative, nonobjective
; {conventional, formal, schematic ; {geometric, geometrical
; protogeometric ; {semiabstract ] Also See: {abstract.
Syn: nonobjective.
[WordNet 1.5] |
Paraschematic
(gcide) | Paraschematic \Par`a*sche*mat"ic\, a. [Gr. ? to change from the
true form.]
Of or pertaining to a change from the right form, as in the
formation of a word from another by a change of termination,
gender, etc. --Max M["u]ller.
[1913 Webster] |
Schematic
(gcide) | Schematic \Sche*mat"ic\, a. [Cf. Gr. ? pretended.]
Of or pertaining to a scheme or a schema.
[1913 Webster] |
schematic drawing
(wn) | schematic drawing
n 1: diagram of an electrical or mechanical system [syn:
schematic, schematic drawing] |
schematically
(wn) | schematically
adv 1: in a schematic manner; "schematically outlined" |
schematic capture
(foldoc) | schematic capture
The process of entering the logical design of an electronic
circuit into a CAE system by creating a schematic
representation of components and interconnections.
|
schematic type variable
(foldoc) | generic type variable
schematic type variable
(Or "schematic type variable") In typed
programming languages, a generic type variable is a {type
variable} that may be instantiated to different types in
different occurrences in a type expression. Thus, in the
expression
let id x = x in
(id True, id 1)
id's type is (for all a: a -> a). The universal quantifier
"for all a:" means that a is a generic type variable. For the
two uses of id, a is instantiated to Bool and Int. Compare
this with
let id x = x in
let f g = (g True, g 1) in
f id
This looks similar but f has no legal Hindley-Milner type.
If we say
f :: (a -> b) -> (b, b)
this would permit g's type to be any specific instance of (a
-> b) rather than requiring it to be at least as general as (a
-> b). Furthermore, it constrains both instances of g to have
the same result type whereas they can not. The type variables
a and b in the above are implicitly quantified at the top
level:
f :: for all a: for all b: (a -> b) -> (b, b)
so instantiating them (removing the quantifiers) can only be
done once, at the top level. To correctly describe the type
of f requires that they be locally quantified:
f :: ((for all a: a) -> (for all b: b)) -> (c, d)
which means that each time g is applied, a and b may be
instantiated differently. f's actual argument must have a
type at least as general as ((for all a: a) -> (for all b:
b)), and may not be some less general instance of this type.
Type variables c and d are still implicitly quantified at the
top level and, now that g's result type is a generic type
variable, any types chosen for c and d are guaranteed to be
instances of it.
This type for f does not express the fact that b only needs to
be at least as general as the types c and d. For example, if
c and d were both Bool then any function of type (for all a: a
-> Bool) would be a suitable argument to f but it would not
match the above type for f.
(2017-12-13)
|
|