Question about Trait Bounds (from Rust for Rustaceans)

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

Our great sponsors
  • InfluxDB - Power Real-Time Data Analytics at Scale
  • WorkOS - The modern identity platform for B2B SaaS
  • SaaSHub - Software Alternatives and Reviews
  • chalk

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

  • For me an attempt to write where HashMap: FromIterator and then use new and insert was totally bizzare because currently rustc is pretty primitive and doesn't do super-complex machinery needed to do what you want. Chalk may fix that one day, but it's nowhere near to being ready for inclusion into rustc thus I wouldn't even attempt to do what you tried to do… but that's not something you are supposed to know before reading this book!

  • rust

    Empowering everyone to build reliable and efficient software.

  • I actually hope in 2nd edition /u/Jonhoo would dedicate a separate page or two for this issue. I mean: when I first saw how you can replace where BufReader: ReadNumeric + ReadNumeric into here BufReader: ReadNumeric + ReadNumeric and turn code which fails to compile into something that actually does compile… I was kinda… WTH? Isn't where A: X + Y and where A: Y + X always mean the same thing? Yet, apparently, for an existing compiler the answer is “no” (and it's not trivial to fix).

  • InfluxDB

    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.

    InfluxDB logo
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