ante

Ante是一种低级函数语言，用于探索求精类型、终身推理和其他有趣的特性。这里'；这是一个快速的尝试： type Person=name:string，job:ref string//推断通过`&；引用的数据不应在此函数中释放make_person name=人名&"程序员"；//bob......