tyrade:用于Rust中的类型级编程的纯函数式语言

【文件属性】：

文件名称：tyrade:用于Rust中的类型级编程的纯函数式语言

文件大小：14KB

文件格式：ZIP

更新时间：2024-04-08 04:53:47

Rust

Tyrade：Rust中用于类型级编程的纯函数式语言 Tyrade是一种概念验证语言，显示了Rust特征如何实现通用类型级别的编程模型。其目的是表明可以对有用的任务（而不是编写图灵机）进行类型级编程，并且可以以合理的方式编写程序。语言是这样的： tyrade! { enum TNum { Z, S (TNum) } fn TAdd () { match N1 { Z => N2, S (N3) => TAdd (N3, S (N2)) } } } fn num_tests () { // 1 + 1 == 2 assert_type_eq :: >, TAdd, S>>(); } Tyrade的核心功能是支持递归枚举类型（从技术上来说是种类）和纯递归函数。有关T

【文件预览】：
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)