Ikarus (계획 구현)

Ikarus (Scheme implementation)
이카로스 계획
Ikarus Scheme Logo.png
태양을 가로질러 날아다니는 신화 속 캐릭터 이카루스를 나타내는 Ikarus Scheme 로고.
패러다임멀티패러다임: 기능, 필수, 메타
가족리스프
설계자압둘아지즈 굴룸
개발자압둘아지즈 굴룸
처음 등장한2007년 10월 31일, 14년 전(2007-10-31)
최종 릴리즈
0.0.3 / 2008년2월 2일, 14년 전(2008-02-02)
프리뷰 릴리즈
0.0.3 / 2008년2월 2일, 14년 전(2008-02-02)
타이핑 분야동적, 잠재성, 강성
범위어휘
구현 언어스킴, C
플랫폼IA-32
OS크로스 플랫폼: macOS, Linux, FreeBSD, NetBSD, Windows XP
면허증.GPL
웹 사이트ikarus-scheme.org
영향을 받다
리스프, 스킴

Ikarus Scheme는 x86 IA-32 아키텍처로 직접 컴파일되는 R6RS Scheme용 증분 컴파일러를 최적화하는 자유 소프트웨어입니다.Ikarus는 R6RS Scheme 표준 [1]중 많은 부분을 최초로 공개적으로 구현한 것입니다.버전 0.0.3은 전체 R6RS 양식 및 [2]절차의 94%를 보유하고 있습니다.개발은 2008년에 중단되었다.

설계.

컴파일러 개발자인 압둘아지즈 굴룸은 인디애나대 박사과정으로 이카로스 개발에 영향을 준 체즈 스킴의 개발자인 R. 켄트 다이비그 밑에서 일했다.

Ikarus Scheme의 설계 이면에 있는 아이디어 중 일부는 [3]개발자의 "컴파일러 구성에 대한 증분 접근법"에 자세히 설명되어 있습니다.Ikarus는 대부분의 컴파일러와 프리미티브를 Scheme로 기술하고 런타임 시스템의 일부만 C로 기술하여 자가 호스팅합니다.또한 C, LLVM 또는 C--와 같은 외부 중간 언어를 사용하는 대신 기계 코드로 직접 컴파일하여 기본 기계 아키텍처를 보다 효과적으로 활용합니다.

Ikarus는 Abdulaziz Guloum에 의해 개발된 휴대용 R6RS 라이브러리와 구문-케이스 시스템을 사용하며, "R6RS 라이브러리를 위한 암묵적 단계화"[4]라는 논문에서 설명합니다.마지막으로, "세대 친화적 Eq 해시 테이블" 문서에서는 Ikarus의 [5]해시 테이블 구현에 대해 설명합니다.

시스템 요건

Ikarus는 x86 상에서 동작하지만 Pentium 4보다 이전 인텔 칩이나 Athlon 64보다 이전 AMD 칩용 코드를 생성하지 않기 위해 부동소수점 연산(FP)을 처리하기 위해 SSE2 지원이 필요합니다.Release 0.0.3은 테스트되어 다음 상에서 실행됩니다.

레퍼런스

  1. ^ Ghuloum, Abdulaziz (2007-10-31). "Initial release of Ikarus – the compiler of choice for R6RS hackers". Newsgroup: comp.lang.scheme. Usenet: fg9mbr$22g$1@aioe.org. Retrieved 2007-11-28.
  2. ^ Ghuloum, Abdulaziz (2008-02-02). "Ikarus Scheme: History". Ikarus Scheme. Retrieved 2019-04-04.
  3. ^ Ghuloum, Abdulaziz (September 17, 2006). "An Incremental Approach to Compiler Construction" (PDF). Scheme and Functional Programming, 2006. Portland, Oregon. pp. 27–37. Retrieved 2007-11-28.
  4. ^ Ghuloum, Abdulaziz; Dybvig, R. Kent (2007). "Implicit phasing for R6RS libraries". Proc. of the 2007 ACM SIGPLAN International Conference on Functional Programming. Freiburg, Germany. pp. 303–314. Retrieved 2007-12-01.
  5. ^ Ghuloum, Abdulaziz; Dybvig, R. Kent (September 30, 2007). "Generation-Friendly Eq Hash Tables" (PDF). Proc. of the 2007 Workshop on Scheme and Functional Programming. Freiburg, Germany. pp. 27–36. Retrieved 2007-12-01.

외부 링크

이카로스 계획

벤치마크

리뷰