1, 要有类似Macro的机制, 避免冗余的语句/函数(要检测返回值),并且可以扩展语法。
2,允许自定义environment机制:list, tree, dag, queue, stack等 。当函数的参数很多的时候,更改environment比传参数更有效。environment 实现 symbol to value.
3, 模式匹配: 不仅要包含switch, case, cond 等语义,也要能够定义function的模式/模板,类似generic programming, 想象数学上的sigma 和 积分sum的公式是多么的美丽和抽象。
4,模块管理:需要支持conventional interface & abstract barrier ?
5,数据的持久化:在文件系统和数据库中的存储和恢复。