Lib.rs
› 关键词
#
encoding
#
category-theory
#
strict-encoding
#
syntax-tree
#
ast
gadt
关键词
搜索
strict_types
严格类型：受限的泛化代数数据类型（GADT）
v
2.7.0-rc.1
4.2
K
#
category-theory
#
encoding
#
syntax-tree
#
gadt
#
ast
#
strict-encoding
#
memory-layout
typewit
基于类型见证的抽象，主要用于在const fn中模拟多态性
v
1.9.0
221
K
#
const-fn
#
const-generics
#
gadt
#
refl
#
type-witness
#
type-equality
strict_encoding
严格编码：严格类型的确定性与受限的二进制序列化
v
2.7.0-rc.1
4.9
K
#
protobuf
#
serialization
#
serde
#
gadt
#
strict-types
#
binary-serialization
#
byte-string