Generalizing over Generics in Rust (Part 1.5): Mechanisms

• typic

  2 119 0.0 Rust

  Discontinued Type-safe transmutations between layout-compatible types.

Seconding this! This is the approach I took while developing typic, a library that models Rust's repr(C) layout algorithm at a type-level. I would first sketch out my ideas in prolog, then translate that Prolog fairly mechanically to trait impls. I even started automating this translation. (The tricky bit is that you really need to strictly limit yourself to a subset of prolog, and maintain a fairly rigid style discipline, too.)

• tyrade

  5 314 0.0 Rust

  A pure functional language for type-level programming in Rust

However, if I were starting over, I think I would take the approach of /u/entoros's tyrade project.

• InfluxDB

  www.influxdata.com featured

  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.

  

• chalk

  25 1,769 7.0 Rust

  An implementation and definition of the Rust trait system using a PROLOG-like logic solver (by rust-lang)

  

Also https://github.com/rust-lang/chalk#chalk

Suggest a related project