hkt 开源项目推荐（18 个）

JasonShin /fp-core.rs

Rust 的函数式编程库

niltok /magic-in-ten-mins

十分钟魔法练习

geoffreytools /free-types

一个类型级库，支持创建和操作可与其类型参数分离的类型构造器。也称为高阶类型。

higher-kinded-j /higher-kinded-j

面向Java 25的高阶类型、单子和可组合效应：用于铁路式错误处理的Effect Path API、带记录和密封类型代码生成的高级光学（lens/prism/traversal）、报告每个错误字段的编译期DTO映射，以及Spring Boot集成。

Snowflyt /hkt-core

面向TypeScript的微型HKT（高阶类型）实现，优雅地保证类型安全。

derive4j /hkt

面向Java的高阶类型机制

TylorS /hkt-ts

面向TypeScript的高阶类型编码，带可组合类型类

4lDO2 /real-async-trait-rs

A proc macro for real async traits, using nightly-only existential types and generic associated types to work around the need for type erasure

rametta /srd

🚀 Simple Remote Data (SRD) is a fully static land compliant implementation of the Remote Data type in TypeScript

geoffreytools /type-lenses

Extract or modify pieces of arbitrarily nested types with type lenses

danielhenrymantilla /higher-kinded-types.rs

"Generic generics" / higher-kinded APIs in stable Rust.

pluggable-low-code /p-lc

A pluggable low-code library.

nothingnesses /rust-fp-library

A functional programming library for Rust featuring your favourite higher-kinded types and typeclasses.

Snowflyt /kind-adt

🪴 The kind of ADTs you can count on in TypeScript

leslie255 /families

Rust HKT playground powered with derive macro generated type families

BrookShuihuaLee /mobo-ts

A pluggable typescript library

slavamirniy /defynets

A declarative DSL that replaces TypeScript generic types with readable schema definitions. Write .map, .ref, .access — not [K in keyof T].

pzzld-org /rspace

rspace focuses providing a set of core primitives and utilities useful for describing container types in Rust.