文件名称:Tyrade:Rust中用于类型级编程的纯函数式语言-Rust开发
文件大小:14KB
文件格式:ZIP
更新时间:2024-06-16 13:51:44
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)