zypeh
says to
YSITD
用了 hm 类型系统，可以像动态语言那样写程序