Generalizing over Generics in Rust (Part 1) - AKA Higher Kinded Types in Rust

• rust

  2,682 92,831 10.0 Rust

  Empowering everyone to build reliable and efficient software.

  

The most important family to abstract over with HKT is function pointers. Rust currently has massive problems with deriving Debug, Copy, Clone, ... for function pointers, even though they are just a usize internally. And if a struct contains a function pointer, you can't derive Debug, Copy, Clone, ... for that struct, no, you have to implement it manually. You'd either need to hack a special case into the compiler or solve the problem via HKT cleanly.

• parser

  4 221 0.0 Elm

  A parsing library, focused on simplicity and great error messages (by elm)

  

I was thinking of porting elm/parser to rust and I needed something like apply in order to implement the mechanism needed for the pipeline.

• InfluxDB

  www.influxdata.com sponsored

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

• Kategory

  32 5,963 8.8 Kotlin

  Λrrow - Functional companion to Kotlin's Standard Library (by arrow-kt)

  

It's similar to how Arrow-KT implemented HKTs on top of Kotlin's type system. You have to pass concrete witnesses around there, though, which you don't have to in Rust. Rust's compiler can use traits to figure out which function to call (Kotlin lacked traits, but they're implementing generic interfaces now, something that might end up being quite similar) so you can forgo witnesses.

Suggest a related project