차례:
정의-Qi는 무엇을 의미합니까?
Qi는 수학 평가 및 수학 방정식 및 함수 프로그래밍에 적합한 기능 프로그래밍 언어입니다. Qi는 패턴 일치, 람다 미적분학 일관성, 정적 유형 검사 및 선택적 지연 평가의 이점을 제공합니다.
Qi는 모든 시스템에서 실행될 수있는 효율적인 유형의 보안 프로그램을 생성하는 Common Lisp로 작성되었습니다. Mark Tarver 박사에 의해 개발되었고 2005 년 GPL에 의해 처음 릴리스되었지만 이것은 상용 응용 프로그램에 적합하지 않은 것으로 간주되었습니다. Qi II는 비공개 소스, 독점 소프트웨어 개발 용, 교육용 및 개인용의 두 가지 독점 라이센스로 제공됩니다.
Techopedia는 Qi를 설명합니다
Qi는 2005 년 4 월에 처음 릴리스되었습니다. Qi는 순차적 미적분의 논리적 표기법을 사용하여 유형을 정의하며 Qi의 해석에 따라이 유형 표기법은 Turing complete language로 간주 될 수 있습니다. 이 표기법을 통해 Qi는 확장 가능한 유형 시스템을 Common Lisp Libraries에 할당 할 수 있으며 이는 언어의 강력한 기능입니다.
L21 프로젝트는 21 세기에 끊임없이 변화하는 컴퓨팅 요구에 부응 할 수 있도록 Lisp를 현대화하기위한 것입니다. 따라서 이름. Lisp는 광범위한 채택을 방해하는 몇 가지 과제를 안고 있었기 때문에이 프로젝트가 시작되었습니다. Tarver 박사는 이러한 과제를 패턴 화, 절차 적 오염, 람다 미적분학에 대한 불일치 및 정적 타이핑 부족과 같은 일반적인 Lisps로 구체적으로 식별했습니다.
