Viewing profile — maybevoid

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-ti…

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

Location: Leipzig, Germany Remote: Yes Willing to Relocate: No Technologies: Rust, Haskell, Functional Programming, Programming Languages Resume/CV: https://contextgeneric.dev/cv-s…

For those who are new to the concept, in a nutshell, CGP allows you to bypass the coherence restrictions in traits/typeclasses, and define multiple overlapping and generic implemen…

With Context-Generic Programming (CGP), there is a way to get around the coherence restriction through a provider trait, and have overlapping implementations in safe, stable Rust. …

Hi everyone, I'm thrilled to share the third installment of my blog series on Extensible Data Types with CGP. In this post, I dive into the implementation details of the core trait…

Hi everyone, I’m excited to share the latest progress in Context-Generic Programming (CGP), which now includes support for extensible records and variants in Rust. For those of you…

(Slightly hijacking this thread to share about my comment for the same post on Reddit [1]) It's great to see you exploring some foundational patterns that closely align with the pr…

Coincidentally, I released a DSL last week called Hypershell [1], a Rust-based domain-specific language for shell scripting at the type level. While writing the blog post, I found …

Hello everyone! I'm excited to share Hypershell, a modular, type-level DSL for writing shell-script-like programs directly in Rust! It's powered by Context-Generic Programming (CGP…

Shameless plug: I am working on a solution in Rust that solves the coherence problems discussed in this post. I call it Context-Generic Programming (CGP), which makes it possible t…

I'm excited to announce the release of v0.3.0 of the `cgp` crate, along with several new chapters of the CGP Patterns book! Check out the linked blog post for more details. I also …

Hello Hacker News community! I would like to announce and share my work on Context-Generic Programming [1], a new programming paradigm for writing modular code in Rust. CGP allows …