Cgp-serde: A modular serialization library for Serde powered by CGP

https://contextgeneric.dev/blog/cgp-serde-release/

by maybevoid • 9 months ago

16 3 9 months ago

contextgeneric.dev

maybevoid2• 8 months ago

Author here, glad to see this featured on HN! AMA about Context-Generic Programming or Rust traits!

carterschonwald• 8 months ago

How does it avoid the challenges and needed ergonomics in scala. Like I think they rolled it back for scala 3?

maybevoid2• 8 months ago

The providers in CGP work a little different than implicit parameters in Scala. Specifically, the provider implementations are bound to a `Context` or `Self` type during compile-time wiring. So if you know the concrete `Context` type, then you can resolve all provider implementations for that context.

Because the wiring is done globally for an explicit `Context` type, there is no issue of ambiguity that arise based on when an implicit parameter is bound. I call this scoped coherence, as it leverages incoherence for overlappable implementations, but still maintain global coherence through the wiring in a context type.

Cgp-serde: A modular serialization library for Serde powered by CGP

Related Stories