Generic associated types encode higher-order functions on types

• frunk

  7 1,198 5.9 Rust

  Funktional generic type-level programming in Rust: HList, Coproduct, Generic, LabelledGeneric, Validated, Monoid and friends.

I wonder if frunk can (ab)use this kind of trick to make their crate even more powerful. IIRC they have a bunch of amazing and horrible workarounds to work with type-level lists.

• tyrade

  5 309 0.0 Rust

  A pure functional language for type-level programming in Rust

https://github.com/willcrichton/tyrade#more-complex-example-session-and-list-types

• WorkOS

  workos.com sponsored

  The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

  

• typic

  2 119 0.0 Rust

  Discontinued Type-safe transmutations between layout-compatible types.

I'd like to try to rewrite typic with tyrade, but I'd need to first swap out tyrade's peano-arithmetic number system for typenum's binary-arithmetic system.

Suggest a related project