数据类型#

首先，来了解这个语言的数据类型，用于表达字面量：

只有唯一的复合类型：列表。

列表#

它使用方括号括起来，用空格（或换行）区分里面的数据（字符串里的空格例外），例如：

[1234 3.14 #n "Hello けん"]

最后的解析结果为：

• 1234（num）
• 3.14（num）
• nul
• Hello けん（str）

函数和链#

除了字面量，一切都是函数。

函数的语法都遵循着一个S表达式变体，分为三段式（或两段式），同样用空格（或换行）区分里面的数据（字符串里的空格例外）：

(echo "Hello world" #n)

• echo： 调用echo函数。
• "hello world"： 给函数的参数。
• #n： 下一个需要运行的函数或返回值，但这是nul，意味着下一个没有函数，且这个函数返回的是nul。

如果想要执行多个函数，你不能怎么写：

(echo "Hello " #n)
(echo "world" #n)

否则仍然只执行了第一个函数，正确写法是这样的：

(echo "Hello " (echo "world" #n))

因为只有正确的嵌套，解释器执行第一个函数后，才知道下一个函数在哪里。

但是有很多函数需要提供2个或以上的参数，我们就需要使用列表来传递：

(echo (add [3 2]) #n)

我们解析其中的add函数：

• add： 调用add函数。
• [3 2]：给函数3和2这两个数字。
• 注意，这里没有使用nul作为返回值，因为我们需要这个函数返回计算结果，如果写上返回值将被覆盖掉。

TIP

当然，如果某个函数的返回值不重要，你也可以不写nul，比如echo就可以不用写返回值，只需要副作用。

如果需要调用没有返回值的函数，不能用nul作为参数，而是空列表占位：

(exit [] #n)

因为nul是有语义的，代表“这个东西虽然有，但目前是空的”，而空列表代表“什么都没有”。

局部返回值和程序返回值#

每个函数都有一个返回值，如前文所述，返回值写在函数的最后一段。

也就是说，实际上“下一个函数”只是一个返回值罢了，只是被执行了。

如果不写返回值，那么就会返回函数原本的返回值，例如正确写法(add [2 3])，如果写成(add [2 3] 4)的话，无论2+3多少，都会返回4，因为你显式指定了4为返回值。

还有一个情况是，如果函数外层没有需要返回的东西了，一个优秀的解释器会输出这个最后的返回值（程序返回值），并且退出程序，这意味着最简单的Hello world只需要一个字符串：

"Hello world"

输出（返回）为：

此程序的返回值："Hello world"

类型#

运算#

I/O#

程序流程#

列表和字符串#

字符#

语法糖#

为了避免嵌套过多，使用process函数可以将从链执行变为从上到下顺序执行，这是一个语法糖。

使用方法如下：

(process [
    (函数1)
    (函数2)
    (函数3)
] 执行完成的返回值)

首先会执行函数1，然后是函数2，然后是函数3，最后就执行链中下一个函数或直接返回。

Hello world#

"Hello world"

或

(echo "Hello world" #n)

打印三角形程序#

(comments "打印三角形程序"
(define (main [index target]
    (if [(eq [index target])
        (echo "\n"
        (define (target [] (sub [target 1]))
        (define (index [] 0) 
        (if [(eq [target 0])
            (exit [] #n) 
            (main [index target] #n)]))))
        (echo "*"
        (define (index [] (add [index 1]))
        (main [index target] #n)))]))
(main [0 10])))

奇偶数判断#

(comments "奇偶数判断"
(define (main input
    (if [(eq (mod [input 2]) 0)
        (echo "偶数")
        (echo "奇数")]
        (main (getchar []) #n)))
    (main (getchar []) #n)))

process示例#

(process [
    (define (var1 [] 1))
    (define (var2 [] 2))
    (echo (add [var1 var2])) (comments "输出3")
    (define (var2 [] 4))
    (echo (add [var1 var2])) (comments "输出5")
] (echo "结束" #n))