Будинки Розвиток Що таке ци? - визначення з техопедії

Що таке ци? - визначення з техопедії

Зміст:

Anonim

Визначення - Що означає Ци?

Qi - це функціональна мова програмування, яка добре підходить для математичних оцінок та програмування математичних рівнянь та функцій. Qi пропонує переваги відповідності шаблонів, консистенції обчислення лямбда, статичної перевірки типу та необов'язкової лінивої оцінки.

Qi написано загальним Lisp, що генерує ефективні безпечні програми, які можуть працювати на будь-якій машині. Він був розроблений доктором Марком Тарвером і вперше випущений в рамках GPL в 2005 році, але це було визнано непридатним для комерційних застосувань. Qi II надається за двома власницькими ліцензіями: одна для розробки закритого джерела, власне програмне забезпечення, а інша - для навчальних та особистих цілей.

Техопедія пояснює Ци

Ци вперше був випущений у квітні 2005 року. Ци визначає типи, використовуючи логічні позначення послідовного обчислення, і в інтерпретації Ци цей позначення може розглядатися як повна мова Тьюрінга. За допомогою цього позначення Ци може призначити системи розширеного типу в загальні бібліотеки Lisp, що є досить потужною особливістю мови.


Проект L21 мав на меті модернізувати Lisp, щоб він міг бути в курсі постійно мінливих потреб в обчислювальній техніці в 21 столітті; звідси і назва. Проект був започаткований тому, що у Ліспа виникли певні виклики, які перешкодили його шляху до більш широкого впровадження. Доктор Тарвер визначив ці проблеми конкретно як відсутність відповідності шаблону, процедурному забрудненню, невідповідності щодо обчислення лямбда та відсутність статичної типізації.

Що таке ци? - визначення з техопедії