Dependent
1dependent — de·pen·dent 1 adj 1: determined or conditioned by another: contingent 2 a: relying on another for esp. financial support b: lacking the necessary means of support or protection and in need of aid from others (as a public agency) have the child… …
2Dependent ML — is an experimental functional programming language proposed by Hongwei Xi and Frank Pfenning. Dependent ML extends ML by a restricted notion of dependent types: types may be dependent on static indices of type Nat. Dependent ML employs a… …
3Dependent — De*pend ent, a. [L. dependens, entis, p. pr. dependere. See {Depend}, and cf. {Dependant}.] 1. Hanging down; as, a dependent bough or leaf. [1913 Webster] 2. Relying on, or subject to, something else for support; not able to exist, or sustain… …
4dependent — DEPENDÉNT, Ă, dependenţi, te, adj. Care depinde (de cineva sau de ceva); care nu este autonom. – Din fr. dépendant. Trimis de LauraGellner, 10.07.2004. Sursa: DEX 98 Dependent ≠ autonom, independent, liber, neatârnat, nedependent, slobod,… …
5dependent — adj 1 Dependent, contingent, conditional, relative mean having its existence or nature determined by something else. Something is dependent which cannot exist or come into existence by itself quite without aid or support {we are all dependent on… …
6Dependent ML — (зависимый метаязык) экспериментальный функциональный язык программирования, разработанный Фрэнком Пфеннингом и Хонвеем Хи. Dependent ML расширяет язык программирования ML путем ограничения представления зависимых типов: типы могут зависеть от… …
7dependent on — contingent on or determined by. → dependent dependent on unable to do without: → dependent …
8dependent — ► ADJECTIVE 1) (dependent on) contingent on or determined by. 2) relying on someone or something for financial or other support. 3) (dependent on) unable to do without. 4) Grammar subordinate to another clause, phrase, or word. ► NOUN variant… …
9dependent — 15c., variant spelling of DEPENDANT (Cf. dependant), now mostly restricted to adjectival use; see ANCE (Cf. ance). Dependent variable in mathematics is recorded from 1852 …
10dependent — [adj1] weak, helpless abased, clinging, counting on, debased, defenseless, humbled, immature, indigent, inferior, lesser, minor, poor, reliant, relying on, secondary, subordinate, tied to apron strings*, under, under thumb*, unsustaining,… …
