WikiDer > Тәуелді ML
Dependent ML
 | Бұл мақалада бірнеше мәселе бар. Өтінемін көмектесіңіз оны жақсарту немесе осы мәселелерді талқылау талқылау беті. (Бұл шаблон хабарламаларын қалай және қашан жою керектігін біліп алыңыз) (Бұл шаблон хабарламасын қалай және қашан жою керектігін біліп алыңыз)
|
Тәуелді ML эксперименттік болып табылады функционалды бағдарламалау тілі Хунвэй Си ұсынған (Xi 2007) және Фрэнк Пфеннинг. Тәуелді ML ұзартылады ML туралы шектеулі түсінікпен тәуелді түрлері: типтер Nat типіндегі статикалық индекстерге тәуелді болуы мүмкін (натурал сандар). Тәуелді ML индекс өрнектеріне қатысты күшті теңдеу теориясын шешу үшін шектеуші теореманы қолданады.
DML типтері жұмыс уақытының мәндеріне тәуелді емес - әлі де бар фазалық айырмашылық бағдарламаны құрастыру мен орындау арасында.[1] Толық тәуелді типтердің жалпылығын шектеу арқылы типті тексеру қалады шешімді, бірақ қорытынды шығару шешілмейді.
Тәуелді ML ауыстырылды ATS және бұдан әрі белсенді даму үстінде емес.
Әдебиеттер тізімі
- ^ Aspinall & Hofmann 2005. б. 75.
Әрі қарай оқу
- Си, Хунвэй (наурыз 2007). «Тәуелді ML: тәуелді типтермен практикалық бағдарламалауға тәсіл» (PDF). Функционалды бағдарламалау журналы. 17 (2).CS1 maint: ref = harv (сілтеме)
- Дэвид Аспиналл және Мартин Хофманн (2005). «Тәуелді типтер». Жылы Пирс, Бенджамин С. (ред.) Бағдарламалау тілдері және типтері бойынша кеңейтілген тақырыптар. MIT түймесін басыңыз.
Сыртқы сілтемелер
- The DML басты беті
 | Бұл бағдарламалау тілі- қатысты мақала а бұта. Сіз Уикипедияға көмектесе аласыз оны кеңейту. |