Loading article…
 | |
| パラダイム | マルチパラダイム：機能的、命令的、メタ |
|---|---|
| 家族 | リスプ |
| デザイン： | アブドゥルアジズ・グロウム |
| 開発者 | アブドゥルアジズ・グロウム |
| 初登場 | 2007年10月31日 |
| 最終リリース | 0.0.3 / 2008年2月2日 |
| プレビューリリース | 0.0.3 / 2008年2月2日 |
| タイピングの規律 | ダイナミック、潜在的、強力 |
| 範囲 | 語彙 |
| 実装言語 | スキーム、C |
| プラットフォーム | IA-32 |
| OS | クロスプラットフォーム: macOS、Linux、FreeBSD、NetBSD、Windows XP |
| ライセンス | ライセンス |
| Webサイト | ikarus-scheme.org:80/index.html |
| 影響を受けた | |
| Lisp、Scheme | |
Ikarus Scheme は、x86 IA-32アーキテクチャに直接コンパイルされる、R6RS Scheme用のフリーソフトウェア最適化増分コンパイラです。Ikarus は、R6RS Scheme 標準の大部分を初めて公開した実装です。[1] バージョン 0.0.3 には、R6RS フォームとプロシージャ全体の 94% が含まれています。[2] 開発は 2008 年に停止しました。
デザイン
コンパイラ開発者のAbdulaziz Ghuloum 氏は、 Ikarus の開発に影響を与えた Chez Schemeの開発者R. Kent Dybvig 氏の指導の下、インディアナ大学の博士課程に在籍していました。
Ikarus Schemeの設計の背後にあるアイデアのいくつかは、開発者による「コンパイラ構築への増分アプローチ」で詳しく説明されています。[3] Ikarusは、ほとんどのコンパイラとプリミティブがSchemeで記述され、ランタイムシステムのごく一部のみがCで記述されたセルフホスティング型です。また、 C、LLVM、C--などの外部中間言語を使用するのではなく、マシンコードに直接コンパイルして、基盤となるマシンアーキテクチャをより有効に活用します。
Ikarus は、Abdulaziz Ghuloum によって開発され、「R6RS ライブラリの暗黙的なフェージング」という論文で説明されているポータブル R6RS ライブラリと構文ケース システムを使用します。 [4]最後に、「世代に適した Eq ハッシュ テーブル」という論文では、Ikarus でのハッシュ テーブルの実装について説明しています。[5]
システム要件
Ikarus は x86 上で動作しますが、浮動小数点演算(FP) の計算を処理するためにSSE2サポートが必要なので、 Pentium 4より前のIntelチップやAthlon 64より前のAdvanced Micro Devices (AMD) チップ用のコードは生成されません。リリース 0.0.3 はテスト済みで、以下で動作します。
- macOS、バージョン10.4および10.5
- Linux、2.6.18、Debian、Fedora、Gentoo、Ubuntu
- FreeBSD、バージョン 6.2
- NetBSD、バージョン 3.1
- Windows XP、Cygwin 1.5.24 を使用
参考文献
- ^ Ghuloum, Abdulaziz (2007-10-31). 「Ikarus の初期リリース – R6RS ハッカーが選ぶコンパイラ」.ニュースグループ: comp.lang.scheme. Usenet: fg9mbr$22g$1@aioe.org . 2007-11-28に取得。
- ^ Ghuloum, Abdulaziz (2008-02-02). 「Ikarus Scheme: History」.インターネットアーカイブ. 2009-06-06時点のオリジナルよりアーカイブ。2024-09-01に閲覧。
{{cite web}}: CS1 maint: bot: original URL status unknown (link) - ^ Ghuloum, Abdulaziz (2006 年 9 月 17 日)。「コンパイラ構築への増分アプローチ」(PDF)。Scheme and Functional Programming、2006 年。オレゴン州ポートランド。pp. 27–37。2007年 11 月 28 日に閲覧。
- ^ Ghuloum, Abdulaziz ; Dybvig, R. Kent (2007). 「R6RS ライブラリの暗黙的なフェージング」。2007 ACM SIGPLAN 国際関数型プログラミング会議の議事録。ドイツ、フライブルク。pp. 303–314。2007年 12 月 1 日に閲覧。
- ^ Ghuloum, Abdulaziz ; Dybvig, R. Kent (2007 年 9 月 30 日) 。「世代に適した Eq ハッシュ テーブル」(PDF) 。2007 年 Scheme および関数型プログラミング ワークショップの議事録。ドイツ、フライブルク。pp. 27–36。2007年 12 月 1 日に閲覧。
外部リンク
- 公式サイト
- イカロススキーム開発サイト
- R6RS ライブラリと構文ケースシステムの開発サイト
- Ikarus Scheme ユーザーガイド
- R6RS 標準
- すべての計画 - イカロス: ブロック上の新しい計画