神语言纯函数语言认领

神语言是一种便携式的纯函数语言，提供以下特性： 模式匹配 lambda演算 惰性求值静态类型检查 集成全功能的Prolog 内置 compiler-c