文件名称:rats:Rust中的函数式编程和高级种类
文件大小:17KB
文件格式:ZIP
更新时间:2024-05-17 06:43:05
rust monads functional-programming higher-kinded-types Rust
老鼠 Rats是Rust的一种实验性的,类型级别的功能编程库,该库很大程度上基于Scala的Cats(其本身很大程度上基于Scalaz)。 在这个领域中已经有一些探索,但是我相信Rats比以前有更大的发展空间。 老鼠有一些目标: 实现功能抽象尽可能接近零成本,同时仍保持这些抽象的有用性。 这是一个微妙的平衡。 在Rust的背景下探索函数式编程。 了解有关FP的更多信息,并更好地使用Rust。 目前,Rats依赖于种类繁多的非零成本嵌入。 因此,Rats可能不适合于性能至关重要的程序。 但是,它确实启用了一些功能强大的抽象,这些抽象可能在对性能要求不高的应用程序中很有用。 有关HKT嵌入及其工作方式的更多信息,请参见lifted.rs 由于性能限制,Rat可能只对对函数式编程感到好奇的Rust程序员以及对Rust感到好奇的函数式程序员感兴趣。 目前,这只是一个人的疯狂和失业工作,
【文件预览】:
rats-master
----Cargo.toml(333B)
----Cargo.lock(7KB)
----src()
--------foldable.rs(533B)
--------functor.rs(245B)
--------monoid.rs(86B)
--------monad.rs(866B)
--------traverse.rs(2KB)
--------trampoline.rs(1KB)
--------lifted.rs(2KB)
--------lib.rs(431B)
--------semigroup.rs(60B)
--------data()
--------applicative.rs(1KB)
--------instances()
----README.md(2KB)
----.gitignore(66B)