JVM上のLISPの検討
JVM上に両方の主な方言の実装がありますが、Schemeがより完成されています。Armed Bear Common Lisp (www.armedbear.org/abcl.html)は、合理的に完成されたCommon Lisp規格の実装ですが、別のCommon Lispシステムがインストールされていないかぎり、ディストリビューションをビルドできないという問題があり、初心者には悩みの種になるかもしれません。 Scheme陣営には、2つの主なプレーヤー、Kawa (www.gnu.org/software/kawaとSISC (www.sisc-scheme.org-- Schemeコードの第2のインタプリタ)があります。この記事のサンプルではKawaを使用します。Kawaは、実際にはJavaバイトコードにコンパイルされた新しい言語を作成するフレームワークであり、Schemeはその実装の1つ
3imp 写経の日々その２(マニアむけ) - 言語ゲーム
というわけでやっと 4.7 章まで読み終えた感想です。 3imp は特に Lisp 系言語の利点を最大限に発揮した構成になっています。この限られたスペースの中で、コンパイラの実装について不足なく説明しきる事が出来た勝因は S 式とマクロでしょう。私は正直 S 式もマクロも嫌いですが、ことプログラミング言語の実装を解説するという用途において Lisp は最強という感想を持ちました。 まず S 式について。S 式を使うとパーサが不要です。世の中に出回っているコンパイラの教科書のかなりのスペースがパーサの説明になっている事を考えると、パーサが不要というのは画期的です。パーサの説明を省く事によっていきなり本質的な議論が出来るからです。 それからマクロについて。3imp のソースは SICP に比べて相当分かりやすいですが、その理由は record-case マクロによるパターンマッチもどきにあると
Matzにっき(2008-02-01)
<< 2008/02/ 1 1. [言語] 「ハッカーと画家」の著者が新しいLisp系言語「Arc」を公開 | エンタープライズ | マイコミジャーナル 2. 「セキュリティ、なめんなよ!」 なめねこも一緒に情報セキュリティ強化宣言 | ネット | マイコミジャーナル 3. 「サイオステクノロジーはグルージェントの未来技術に期待し子会社化」：ITpro 2 1. [Ruby] Nimble Method: Garbage Collection is Why Ruby on Rails is Slow: Patches to Improve Performance 5x; Memory Profiling 2. [言語] LuaJIT roadmap 2008 3. [Ruby] What will Matz do? 4. [Ruby] EURUKO 2008 − European Ruby
Route 477(2009-08-26)
■ [ruby][memo] サンプルコード http://blog.deadbeaf.org/2009/08/26/mitaka-rb-4/ 標準クラスのサンプルコード bitclustに装備？ 海外の人はどうするの リファレンスとは独立したサイト(A)であるべきか そこにrubydocなりbitclustなりからリンクする gemなどのサンプルコード (A)とは別サイト？ gem配布サイトが複数あるので特定のgem配布サイトが実装するわけにはいかない http://gemcutter.org/ が本当に公式になれば、そこにサンプルコード書ける機能があると楽しそうだ 結論 サンプルコード自体に価値があるものだからどこに書いてもいい、定番サイトができればそこに移住すればいい。 Rurimaphone++ ■ [scheme] 小さすぎるR5RS、大きすぎるR6RSに対するScheme分割案
Kawa internals: Compiling Scheme to Java
Abstract Kawa is a set of Java classes useful for implementing dynamic languages, such as those in the Lisp family. Kawa is also an implementation of near-R5RS Scheme using these classes, and which compiles Scheme to the bytecode instructions of the Java Virtual Machine. This paper discusses the various issues involved in implementing Scheme using an abstract machine designed for a very different
Lispbox
Lispbox is a version of Lisp in a Box, which was originally created by Matthew Danish and Mikel Evins, customized for use with Practical Common Lisp. The purpose of Lispbox (and Lisp in a Box) is to get you up and running in a good Lisp environment as quickly as possible. When you start Lispbox it launches the text editor Emacs with SLIME (the Superior Lisp Interaction Mode for Emacs) already inst
Qi - Lisp for 21 Century
2008年11月に導入され、Common Lisp によって実装された言語です。 Qi II は効率的で型安全な Lisp プログラムを生成し、そのプログラムはいかなるマシン上でも動作させることができます。 Qi II は私が2005年4月に導入したQi Iをさらに進化させたものです。 たくさん: Qi II は CAR / CDR を強制しない。かわりに、パターンマッチを使う事ができる。典型的な Qi プログラムは Lisp プログラムと比較して非空白文字が40%程度になる。 Qi II はオプショナルな静的型チェックを備えている。実際のアプリケーションで、「神さま、プログラムが型エラーでクラッシュしませんように…」と祈る必要がなくなる。 Qi II はラムダ計算と一貫性がある。Common Lisp で部分適用のような概念が利用できる。 Qi II はとても速いコードを生成する。
プログラム言語とその他のメモ。
プログラミングそのものは、あまり好きではない。 当然、実用的な内容はない。 2005年4月以降どうなるか不明。 Lispの(S式以外の)特徴(未完成) Scheme、Common Lisp、Emacs Lispの比較(未完成) 内容のわりに長い。 自己出力プログラムと自己参照プログラム 計算できない問題・関数について 停止問題とかbusy beaver関数の事など。 Schemeでラムダ計算 不動点オペレータについて 再帰的定義に使うYオペレータとかの事。 継続の説明(前置き) 継続の使用法 Schemeでの継続の使用。 SchemeとActor理論 CPS(Continuation Passing Style)について 「SchemeとActor理論」と同じ内容なので、 どうするか考え中。 CPSで多値(とか) values、call-with-valuesがあるから、 無理してS
ひげぽん OSとか作っちゃうかMona- - 「計算機プログラムの構造と解釈(SICP)」を読み終えて
約半年をかけて計算機プログラムの構造と解釈(SICP)を読み終わりました。 （途中で、練習問題をスキップしたりしましたが・・・） 半年もかけたのでちょっとだけ振り返って見ます。 SICPを読む過程で得たもの まずはSICPを読む過程で得たものからざっと列挙してみよう。 構文解析を理解し自前で実装できるようになった 字句解析を理解し自前で実装できるようになった ストリームを理解した 遅延評価を理解した 手続きが first class objectである言語での考え方を学んだ 型変換の導入の動機とその意味を理解した 手続きの抽象化の導入の動機と過程を学んだ 高階関数を使ったり書けるようになったりした クロージャを理解した Schemeを書けるようになった 再帰処理を自然に書けるようになった フルスクラッチでインタプリタを書けるようになった コンパイラを自前で書くことが出来そうだとの感触を得た
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
GitHub - stuarthalloway/programming-clojure: Sample code for the book
https://dreamsongs.com/Files/Timrep.pdf