[B! Gauche] hajimehoshiのブックマーク

fault on continuation (Gauche-devel-jp) - Gauche - OSDN

Shiro Kawai shiro****@lava***** 2002年 11月 18日 (月) 16:47:21 JST 前の記事 [Gauche-devel-jp] fault on continuation 次の記事 [Gauche-devel-jp] fault on continuation 記事の並び順: [ 日付 ] [ スレッド ] [ 件名 ] [ 著者 ] From: Tetsuya Okada <okaya****@c-cre*****> Subject: [Gauche-devel-jp] fault on continuation Date: Mon, 18 Nov 2002 15:22:44 +0900 > 継続を使ってバックトラックするプログラムを書いていまして、以下のような > ベンチマークを作ったのですが Gauche 0.6.5 が segmentat

hajimehoshi 2011/01/12

Gauche

リンク

『「Lisp脳」の謎に迫る』の舞台裏

ドット対(1 . 2)は対であるがリストではない空リストは対ではないがリストである空でないリストは対でありかつリストであるこの事実から「リストはまた対である」を以下の通りに修正する必要があります。空リストは対ではない空でないリストは対であるなぜ「配列」でなく対で並びを表現するのか? SchemeをはじめとするLisp言語では、なぜ「配列」でなく対で並びを表現するのでしょうか? 対で並びを表現すれば、いくらでも入れ子構造にすることができる入れ子構造になった対は再帰的に処理することができるあらゆるデータ構造を(入れ子構造になった)対で表現できる入れ子構造になった対でプログラムコードも表現できるこれまで見てきたように、対はcons手続きでいくらでも入れ子構造にすることができます。また、入れ子構造になった対にcar、cdrを適用すればどんな要素も取り出すことができます。これは、

hajimehoshi 2010/01/03

Lisp
Gauche

リンク

Gauche:循環リストの読み書き

循環や共有構造を持つS式循環や共有構造を持つS式の表現は、srfi-38で決められている。この表記はCommon Lispから取ったもので、たとえば次の2つの式： (let ((x (list a))) (set-cdr! x x) x) (let ((x (cons 'a 'b))) (cons x x)) によって作られる構造は、それぞれ次のように記される。 #0=(a . #0#) (#0=(a . b) . #0#) #n= でもってオブジェクトにラベルをつけ、 #n# で参照する Gaucheは、version 0.7.1現在、write* による表示のみサポートしているが、読み込みはサポートしていない。近いうちにサポートしたいので、ここで色々考えてみる。問題点 - srfi-10 vs srfi-38 循環リストの読み込みは、使えるデータ型が決まっていれば難しくない。