Generic associated types encode higher-order functions on types

This page summarizes the projects mentioned and recommended in the original post on /r/rust

InfluxDB high-performance time series database
Collect, organize, and act on massive volumes of high-resolution data to power real-time intelligent systems.
influxdata.com
featured
CodeRabbit: AI Code Reviews for Developers
Revolutionize your code reviews with AI. CodeRabbit offers PR summaries, code walkthroughs, 1-click suggestions, and AST-based analysis. Boost productivity and code quality across all major languages with each PR.
coderabbit.ai
featured
  1. frunk

    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.

  2. InfluxDB

    InfluxDB high-performance time series database. Collect, organize, and act on massive volumes of high-resolution data to power real-time intelligent systems.

    InfluxDB logo
  3. tyrade

    A pure functional language for type-level programming in Rust

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

  4. typic

    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.

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a more popular project.

Suggest a related project

Related posts

  • Apply generic function to every tuple element

    1 project | /r/learnrust | 22 May 2023
  • Self Referencing structs with different generic types

    1 project | /r/learnrust | 24 Feb 2023
  • Is there a convenient way to convert a struct<T> (where all fields are of type T) into struct<U> where U: From<T>?

    2 projects | /r/rust | 16 Feb 2023
  • Can we make useful streaming APIs that disallow deadlocks?

    3 projects | /r/rust | 20 Jan 2023
  • constduck: compile-time duck typing and reflection powered by const generics

    3 projects | /r/rust | 13 Nov 2021

Did you know that Rust is
the 5th most popular programming language
based on number of references?