[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [bep] learning lisp
- To: bep@argv.org
- Subject: Re: [bep] learning lisp
- From: TAKAHASHI Naoto <ntakahas@m17n.org>
- Date: Wed, 30 May 2001 14:28:14 +0900 (JST)
- Delivered-To: mailing list bep@argv.org
- Mailing-List: contact bep-help@argv.org; run by ezmlm
- User-Agent: SEMI/1.14.3 (Ushinoya) FLIM/1.14.2 (Yagi-Nishiguchi) APEL/10.2 Emacs/21.0.104 (sparc-sun-solaris2.8) MULE/5.0 (SAKAKI)
tomo@... (守岡 知彦 / MORIOKA Tomohiko)writes:
> 私の記憶では、アトムは概念的には cons 対（リスト）のように要素として S
> 式を含まない、基本となる型のことだと思います。シンボルはアトムの一つで
> すがこの他にも整数とか文字などさまざまなものがあります。
あ、これは守岡さんの言うとおりです。私が間違ってました。
数値や文字やバッファ :-) はアトムですけどシンボルじゃありませんね。
> ちなみに S 式は
> 「アトム」は「S 式」である。
> cons 対「(「S 式」 . 「S 式」) 」は「S 式」である。
> :
> のように再帰的に定義できます。
これだと空リストが表現できないような気がするんですけど、どうでしょう。
それとも nil というアトムをもって空リストとみなす、というのは天下り的
に降ってきた定義でしたっけ?
--
TAKAHASHI Naoto
ntakahas@...
http://www.m17n.org/ntakahas/