概要

[1] 型と値の標記

exp ::=
	fundamantal-exp		(基本型)
	structured-exp		(構造型)
	function-exp		(関数型)
	environment-exp		(環境型)
 

[2] 基本型

fundamental-exp ::=
	integer
		表記：XML方式,LISP方式ともに同じ
	floating-point（浮動小数点）
		表記：XML方式,LISP方式ともに同じ
	string
		表記：	
			XML	解析文字列
			LISP 	"..."
	symbol
		表記：
			XML	^... (最後に空白が入る)
			LISP	以下参照。
	raw
		表記：
			XML形式LISP形式ともに同じ
			#byte数#...RAWデータ...
			例：#5#!x$%~
	error
		表記：
			%E(
				エラーシーケン番号(行番号)
				エラー発生siteのURL
				エラー発生ファイル名
				エラー発生関数名
				エラーコード
				exp (その他付加データ)
				)
	environment
		表記：なし
 

[3] 文字コードについて

[4] 構造型(LISPのS式に対応)

structured-type ::=
	()
	(exp exp ....)
	([symbol 属性リスト])
	([symbol 属性リスト] exp ....)

 

([symbol 属性リスト] ....)
 

<symbolと同じ文字列 属性リスト> </symbolと同じ文字列>
 

([greeting
	FirstName = "Hirohisa" 
	LastName = "Mori"] 
	"Hello World")
 

<greeting 
	FirstName="Hirohisa" 
	LastName = "Mori"> 
	Hello World
</greeting>
 

<greeting 
	FirstName="Hirohisa" 
	LastName = "Mori"> 
	Hello \ World 
</greeting>
 

(greeting [
	FirstName = "Hirohisa" 
	LastName = "Mori"]
	"Hello" "World")
 

(greeting [FirstName = "^symbol" ]
	"Hello" "World")


<greeting FirstName = "^symbol"> Hello World </greeting>
 

[5] 環境