Преглед садржаја:
Дефиниција - Шта значи Ки?
Ки је функционални програмски језик који је погодан за математичка евалуација и програмирање математичких једначина и функција. Ки нуди предности уклапања узорака, конзистенције рачунања ламбда, статичке провере типа и опционе процене лењости.
Ки је написан у Цоммон Лиспу који генерише ефикасне сигурне програме који се могу изводити на било којој машини. Развио га је др. Марк Тарвер, а први пут објављен под ГПЛ-ом 2005. године, али то се сматра неприкладним за комерцијалне примене. Ки ИИ је доступан под две власничке лиценце: једна за развој затвореног кода, власнички софтвер, а друга за образовну и личну употребу.
Техопедија објашњава Ки
Ки је први пут објављен у априлу 2005. Ки дефинише типове користећи логичку нотацију секвенцијалног рачуна, а под Ки интерпретацијом, ова врста нотације може се сматрати Туринговим комплетним језиком. Кроз ову нотацију Ки може доделити системима проширеног типа у Цоммон Лисп Библиотеке, што је прилично моћна карактеристика језика.
Пројект Л21 требао је модернизирати Лисп тако да може бити у току с промјењивим потребама рачунања у 21. вијеку; отуда и назив. Пројекат је покренут јер је Лисп имао неколико изазова који су му забранили пут за шире усвајање. Др Тарвер је ове изазове идентификовао посебно као што су Цоммон Лиспс недостатак подударања узорака, процедурална контаминација, недоследност у вези с ламбда рачуном и недостатак статичког куцања.
