Def
可扩展的编程语言
简介
Def 致力于提供：
- 类、泛型等不损失效率的抽象
- 重载、宏等可扩展的元编程
- 符号绑定等自定义语法
- 缩减代码长度提升编码和编译效率
通过编译强类型、完全类型推导、函数模板、嵌套函数、函数重载、类模板、扩展宏、模式匹配、 lambda表达式、闭包、操作符绑定等等一系列特征完成 Def 的目标：将 C++ 的高效抽象和 Lisp 的元编程融为一体。
链接
代码示例
;; 自定义类型
type Point (
Int x
Int y
)
;; 定义变量并初始化
var p1 Point 1 2 ; 类型初始化语法与函数调用相同
var p2 Point 3 4
;; 重载 add 函数
fun add(Point a Point b)(
ret Point ; 缩进和换行不是必须，仅为了排版美观
add
elmget a x ; elmget 表示类成员访问
elmget b x
add
elmget a y
elmget b y
)
;; 重载函数调用
add p1 p2
;; 添加操作符绑定
let ( a + b ) ( add a b )
let ( a := b ) ( var a b )
let ( a.b ) ( elmget a b )
;; 自定义类型
type Point (
Int x
Int y
)
;; 定义变量并初始化
p1 := Point 1 2 ; 类型初始化语法与函数调用相同
p2 := Point 3 4
;; 重载 add 函数，利用函数模板
tpf add(a b)( ; tpf 定义函数模板
Point (a.x)+(a.y) (b.x)+(b.y)
)
;; 重载的模板函数调用
p1 + p2
;; Def 多返回值函数
fun getTuple()(
ret tuple ( ; 返回元组类型
10
9.9
'a'
)
)
;; 得到元组并使用
var tp getTuple ; 是的，函数调用不需要括号
var num elmget tp 0 ; num = tp[0]
;; 定义元组拆包宏
let upk(names val)( ; upk 为 unpack 的缩写
mcrfor(names)( var _v elmget val _i )
; mcrfor 表示宏参数循环 _v 为值 _i 为循环索引
)
;; 使用拆包宏
upk(a b c) tp许可
MIT