开发自己的编程语言(六)—— First-Class Value

时间:2021-03-18 21:13:37

从0.16版本开始,Snail Language语言将函数作为First-Class Value。First-Class Value指的是:函数名和变量名之间没有区别,它们可以相互赋值。要注意的是,print既是函数名又是关键字,所以print可以作为右值,但是不能作为左值。现在一个变量可以表示为:整数、浮点数、字符串、数组、函数。由于是所有的变量都是动态类型,所以赋值时不需要在意当前的类型。

First-Class Value实现原理:

  1. Value是Snail Language中所有类型的数据结构,在Value类型中支持函数类型FUNCTION。
  2. 将函数定义时的函数名放入全局变量中,变量的类型为FUNCTION。
  3. 当调用函数时,查看当前变量的类型是否为FUNCTION。

其他功能:

除了实现First-Class Value,0.16版本还实现了

  1. __FUNCTION__表示当前的函数名。__FUNCTION__是一个全局变量,每次调用函数的时候,将函数名保存到__FUNCTION__中。用途:debug时候可以打印函数log
  2. 每个函数都可以指定一个Action函数,在return之前脚本自动调用。实现过程:当执行return之前,在分析树上插入一个新生成的节点,这个节点表示Call Action所指的函数,接着调用这个节点。最后调用return。用途:希望在一个函数返回时做一些处理,通过使用Action,可以不用在每个return前都增加处理代码。

例子:

myprint = print //print的别名

funcname = ""

func add(a, b)
{
    funcname = __FUNCTION__ 
    return a + b
}

func test()
{
    print(funcname,"的结果为: ")
}

add.Action = test  //在add return之前,调用test函数

f = add
add = 100

myprint(f(10, 10), "  Type=", f.Type(), "\n")

print(add, "  Type=", add.Type(), "\n")
add = f
print(add(1, 2), "  Type=", add.Type(),"\n")

结果:

f的结果为: 20  Type=function
100  Type=integer
add的结果为: 3  Type=function


软件下载:


反馈和交流:

isurface@qq.com