Sisällysluettelo:
Määritelmä - Mitä Qi tarkoittaa?
Qi on toiminnallinen ohjelmointikieli, joka soveltuu hyvin matemaattisiin arviointeihin sekä matemaattisten yhtälöiden ja funktioiden ohjelmointiin. Qi tarjoaa kuvioiden sovittamisen, lambda-laskennan yhdenmukaisuuden, staattisen tyyppitarkistuksen ja valinnaisen laiskojen arvioinnin edut.
Qi on kirjoitettu Common Lisp -sovelluksella, joka tuottaa tehokkaita suojattuja ohjelmia, jotka voivat toimia missä tahansa koneessa. Sen on kehittänyt tohtori Mark Tarver, ja se julkaistiin ensimmäisen kerran GPL: n puitteissa vuonna 2005, mutta sitä ei pidetty kaupallisiin sovelluksiin. Qi II on saatavana kahdella omistusoikeudella: yksi suljetun lähdekoodin, omien ohjelmistojen kehittämiseen ja toinen koulutus- ja henkilökohtaiseen käyttöön.
Techopedia selittää Qin
Qi julkaistiin ensimmäisen kerran huhtikuussa 2005. Qi määrittelee tyypit käyttämällä peräkkäisen laskennan loogista merkintää, ja Qin tulkinnan mukaan tätä tyyppimerkintää voidaan pitää Turingin kokonaisena kielenä. Tämän merkinnän avulla Qi voi määrittää laajennettavan tyyppisiä järjestelmiä Common Lisp -kirjastoihin, mikä on melko voimakas kielen ominaisuus.
L21-hankkeen tarkoituksena oli nykyaikaistaa Lisp, jotta se voisi pysyä jatkuvasti muuttuvilla tietotekniikan tarpeilla 2000-luvulla; siitä syystä nimi. Hanke käynnistettiin, koska Lispillä oli joitain haasteita, jotka estivät tien laajempaan käyttöönottoon. Tohtori Tarver yksilöi nämä haasteet nimenomaan yleisiksi luetteloiksi, joissa puuttuu kuvioiden yhteensovittaminen, menettelytapausten saastuminen, epäjohdonmukaisuus lambda-laskennan suhteen ja staattisen tyypityksen puute.
