Dependent ML

Dependent ML

Dependent ML (зависимый метаязык) — экспериментальный функциональный язык программирования, разработанный Фрэнком Пфеннингом и Хонвеем Хи. Dependent ML расширяет язык программирования ML путем ограничения представления зависимых типов: типы могут зависеть от статических указателей типа Nat. Dependent ML основывается на ограниченном доказательстве теорем для вывода теории строго равенства через индексные выражения.

Dependent ML был замещен языком ATS и по этой причине в фазе активной разработки больше не находится.

Дополнительные источники


SQL

Wikimedia Foundation. 2010.

Смотреть что такое "Dependent ML" в других словарях:

  • dependent — 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… …   Law dictionary

  • Dependent 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… …   Wikipedia

  • Dependent — 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… …   The Collaborative International Dictionary of English

  • dependent — 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,… …   Dicționar Român

  • dependent — 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… …   New Dictionary of Synonyms

  • dependent on — contingent on or determined by. → dependent dependent on unable to do without: → dependent …   English new terms dictionary

  • dependent — ► 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… …   English terms dictionary

  • dependent — 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 …   Etymology dictionary

  • dependent — [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,… …   New thesaurus

  • Dependent — De*pend ent, n. 1. One who depends; one who is sustained by another, or who relies on another for financial support or favor; a hanger on; a retainer; as, a numerous train of dependents. [1913 Webster] A host of dependents on the court, suborned… …   The Collaborative International Dictionary of English

Книги

Другие книги по запросу «Dependent ML» >>


Поделиться ссылкой на выделенное

Прямая ссылка:
… Нажмите правой клавишей мыши и выберите «Копировать ссылку»