oxid-light:具有完善类型的原型功能性编程语言，由Inox提供支持

氧化性 具有完善类型的简单函数式编程语言，由提供支持。 专为我精心打造您的类型！ 在。 免责声明 这只是一个原型，不应作为实现带有精炼类型的语言的适当基础。 错误报告或请求请求是非常欢迎的！ 执照 氧化物是根据释放的。