Settings

Theme

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

contextgeneric.dev

16 points by maybevoid 2 months ago · 3 comments

Reader

carterschonwald a month ago

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

  • maybevoidOP a month 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.

maybevoidOP a month ago

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

Keyboard Shortcuts

j
Next item
k
Previous item
o / Enter
Open selected item
?
Show this help
Esc
Close modal / clear selection