新语言使用nl来作为临时名称（new language的首字母缩写），语法和特性基于Lua，正在实现中。

nl语法和特性完全基于Lua的语法，保证默认情况下兼容Lua代码。修改的地方罗列如下：

新增空白符将作为另外的字符串连接符，将任意类型的两个变量写在一起表示将其作为字符串连接，即

a b
// 等同于
tostring(a) .. tostring(b)
// 所以：
"a" "b" => "ab"
"a" "1" => "a1"
"a" 1 => "a1"
1 2 => "12"

空白连接符优先级高于Lua的字符串连接符..，并且高于算术运算符。Lua的字符串连接符的优先级是低于算术运算符的。

字符串在进行算术运算时自动转换成数字（无法转换的被转换为0）

"1" + 1 结果为 2
"1" + "1" 结果为 2
"1a" + 1 结果为 2
"1a" + "a1" 结果为 1
"abc" + "abc" 结果为 0

结合上述两个特性，有下面的结论：下面的Lua代码得到的是字符串"a3"：

"a" .. 1 + 2

而nl中的写法和结果是（当然，上述代码在nl中执行也会得到同样的结果"a3"）：

"a" 1 + 2
=>  "a1" + 2
=> 0 + 2
=> 2

下面的代码在nl中将得到（注意空格）：

1 1 + 1 1
=> "1" "1" + "1" "1"
=> "11" + "11"
=> 11 + 11
=> 22

变量默认为nil，但是对nil的操作特性有变化：

nil + var // 算数运算时nil转换为0，等价于 0 + var</span>
nil var // 字符串连接操作，nil转换成空字符串，等价于 "" var</span>
nil > 1 // 等价于 0 > 1
nil [ key ] = value // 等价于 var = { key = value }
nil [k1][k2][k3] = value // 等价于 var = { k1 = { k2 = { k3 = value } } }
nil [k1][k2][k3] // 索引nil返回值为nil，故整式等价于 nil
nil () // 等价于 (def()end)()

除了1、对函数类型进行函数调用；2、对包含__call函数的table进行函数调用；对其他的值得调用均转换成调用空函数，即什么都不做，返回nil：

(def()end)() // 调用空函数

新增table计数函数table.size()，将得到全部元素的数量。

a={1,a=1}
table.size(a) // 得到的值是2

pairs函数可以接受非table类型的值，返回值是通过table.insert将此值插入空表的结果：

a = 11
for k, v in pairs(a) doprint(k, v)
end
// 打印出的东西是 1 11 ，pairs(a)相当于pairs({a})。

全部参数都有默认值，可以通过=来显式指定，不指定则认为默认值为nil。语法为：

def func( p1=1, p2, p3=3, p4 ) end
// 等价于：
def func( p1=1, p2=nil, p3=3, p4=nil ) end

函数调用时可以通过参数名传递参数，未指定名称的参数依次传递给空缺的形参。调用上述func函数的语法为：

func ( 11, p3 = nil, p4=44 )
// 相当于这么调用：
func ( p1 = 11, p2 = nil, p3 = nil, p4 = 44 )
// 即先将指定名称的实参放置到对应的形参位置处，再依次用无名称实参去填充剩余的形参。
// 最终func得到的值是：
func ( p1 = 11, p2 = nil, p3 = nil, p4 = 44 )
// 即，如果实参没有指定，则以默认值作为最终结果；如果指定，则以指定的为准。
// 上例中，p3指定为nil，虽然默认值为3，但是最终函数得到的还是nil。// 再举个例子：
func ( p1 = 11, p2 = nil, p3 = 33 )
// 最终得到的参数值是：
func ( p1 = 11, p2 = 22, p3 = nil, p4 = 4 )
// 可以看到，即使p2和p4在调用时似乎都是nil，但是最终的值的优先级为：指定的值 > 默认值。所以p2被指定的nil，p4为默认值4。

增加操作符 += -= *= /=

默认遵守lua的规则，通过启动参数可以配置一些不同的特性。

--var-define：局部变量使用空前缀来定义，全局变量使用global关键字来定义。

--func-define：function增加一个等效关键字def，如果原来的代码中def已经作为变量名，则会出现错误。

--nl：完全采用nl的新规则，适合针对nl编写的全新代码。

新增线程模块thread，用来支持多线程编程。定义如下：

thread(func) // 创建并返回一个暂停的线程
thread.suspend() // 暂停线程
thread.resume() // 恢复暂停的线程，或重启已经结束的线程
thread.valid() // 线程是否已经结束
thread.pause() // 暂停线程thread.queue.new( name ) // 创建一个所有线程均可见的队列。
thread.queue.in( channel_name, var ) // 将一个变量（数字/字符串）拷贝到通道中。userdata使用同一份，不会真的拷贝。
thread.queue.out( channel_name ) // 获取通道中最老的变量
thread.queue.die( channel_name, var ) // 将当前线程的变量（任意类型）放到通道中，自己彻底结束（die函数永远不会返回）thread.pool( size ) // 创建一个包含size个线程的暂停的线程池
thread.pool.suspend() // 暂停线程
thread.pool.resume() // 恢复暂停的线程池。没有回调函数需要被执行的情况下，该函数直接返回成功
thread.pool.valid() // 是否没有线程在运行了
thread.pool.stop() // 结束线程池
thread.pool.add( callback ) // 线程回调函数。会被执行一次。
thread.pool.remove( callback ) // 对正在运行callback函数的线程执行stop操作

为什么要做如上修改？通过下面的例子可以略窥一斑。这个函数的功能是对二维矩阵进行赋值，并且通知注册的矩阵值变化监听函数。

function assign( obj, row, col, value )if not obj then return endrow = row or 1col = col or 1value = value == nil and true or value // 支持value的值等于被赋值为falseobj.matrix = obj.matrix or {}obj.matrix[row] = obj.matrix[row] or {}obj.matrix[row][col] = valueif obj.callbacks and type(obj.callbacks) == 'table' thenfor _, callback in pairs(obj.callbacks) doif callback and type(obj.update) == 'function' then callback( value ) endendend
end

上面的Lua代码在nl中的等效实现为：

def assign( obj, row = 1, col = 1, value = true )obj.matrix[row][col] = valuefor _, callback in pairs(obj.callbacks) do callback( value ) end
end

可以看到极大的简化。

实现设想：

1. 使用C++完成。
2. 词法语法解析使用Flex和Bison完成。
3. table的实现使用map实现，需要将类型抽象为一个类。
4. 垃圾收集器使用Lua的思想实现。
5. 算法优先文法通过修改Lua的语法定义实现。
6. 自定义字节码和资源的内存表示方式；将源码解析为字节码和资源后，使用虚拟机执行。
7. 虚拟机：每个变量作用域使用一个集合来存储所有可见的变量名，作用域结束时销毁集合。