Spisu treści:
Definicja - Co oznacza Qi?
Qi to funkcjonalny język programowania, który dobrze nadaje się do oceny matematycznej oraz programowania równań i funkcji matematycznych. Qi oferuje zalety dopasowania wzoru, spójności rachunku lambda, statycznego sprawdzania typu i opcjonalnej leniwej oceny.
Qi jest napisane we wspólnym Lisp generującym bezpieczne programy typu wydajnego, które mogą działać na dowolnym komputerze. Został on opracowany przez dr. Marka Tarvera i po raz pierwszy wydany na licencji GPL w 2005 r., Ale uznano go za nieodpowiedni do zastosowań komercyjnych. Qi II jest udostępniany na dwóch licencjach własnościowych: jedna do opracowywania zamkniętego źródła, zastrzeżonego oprogramowania, a druga do celów edukacyjnych i osobistych.
Techopedia wyjaśnia Qi
Qi została wydana po raz pierwszy w kwietniu 2005 roku. Qi definiuje typy za pomocą logicznego zapisu rachunku różniczkowego i zgodnie z interpretacją Qi ten zapis typu można uznać za kompletny język Turinga. Dzięki tej notacji Qi może przypisywać rozszerzalne systemy typów do Common Lisp Libraries, co jest dość potężną cechą języka.
Projekt L21 miał zmodernizować Lisp, aby mógł nadążać za ciągle zmieniającymi się potrzebami komputerów w XXI wieku; stąd nazwa. Projekt został uruchomiony, ponieważ Lisp miał pewne wyzwania, które uniemożliwiły jego szersze przyjęcie. Dr Tarver zidentyfikował te wyzwania w szczególności jako brak dopasowania wzoru, zanieczyszczenie proceduralne, niespójność w odniesieniu do rachunku lambda i brak typowania statycznego.
