#generic #haskell #representation #conversion #data #repr #derive

no-std algtype

Conversion between data and its representation, like Haskell Generic

1 unstable release

0.1.0 Apr 30, 2024

#2911 in Rust patterns


Used in 2 crates

MIT/Apache

15KB
266 lines

许多 trait 的实现全是模板代码,如 DebugEq。其实现可以自动生成,让使用者免于繁琐。常用的方法是 derive 宏,但是提供者写来依然繁琐。许多语言有反射可以简化此类代码,可惜 Rust 没有。

一些 trait 的实现仅需数据的结构,而无需其名称之类,如 EqOrdHash。此时,可以通过 Generic,使用数据的结构,代替 derive 宏,通用地实现 trait,不增加使用难度而减少编写难度。也可以拿来做别的事情。

这一做法,是被 Haskell 的 Generic 启发而来的。它似乎有很多理论基础,而我做得比较朴实,Rust 的类型系统也整不了什么活。

此库是 no_std 的,且没有不安全代码。以下是基于此库的一些功能:


lib.rs:

数据有结构,类型如 struct 或 enum 能表示为类型的积的和。 实现 Generic 的类型拥有表示 Generic::Repr, 该类型的数据能与其表示互相转换。

utils 模块提供了有用(其实没啥用)的方法以操作实现 Generic 的类型。

README 有额外信息,Generic 的文档有详细说明。

Dependencies

~225–670KB
~16K SLoC