Tyrade：Rust中用于类型级编程的纯函数式语言-Rust开发

【文件属性】：
文件名称：Tyrade：Rust中用于类型级编程的纯函数式语言-Rust开发
文件大小：14KB
文件格式：ZIP
更新时间：2021-05-27 20:05:04
Rust Miscellaneous Tyrade是一种概念验证语言，显示了Rust特征如何实现通用类型级别的编程模型。 其目的是表明可以对有用的任务（而不是编写图灵机）进行类型级编程，并且可以以合理的方式编写程序。 语言如下所示：Tyrade：Rust Motivation中用于类型级编程的纯函数语言示例：安全类型更复杂的示例：会话和列表类型Tyrade如何工作？ 下一步Tyrade是一种概念验证语言，显示Rust特质如何实现通用类型级别的编程模型。 其目的是表明可以对有用的任务（而不是编写图灵机）进行类型级编程，并且可以以合理的方式编写程序。 语言是这样的：tyr

【文件预览】：
tyrade-master
----.github()
--------workflows()
----tests()
--------security.rs(510B)
--------session_types.rs(1KB)
----.rustfmt.toml(14B)
----src()
--------tnum.rs(1KB)
--------tcore.rs(184B)
--------test_utils.rs(119B)
--------tlist.rs(1KB)
--------lib.rs(270B)
--------tbool.rs(643B)
----Cargo.toml(173B)
----tyrade-macro()
--------src()
--------Cargo.toml(291B)
--------.gitignore(19B)
----.gitignore(19B)
----README.md(7KB)