maybevoid

4 ms·

1.
Supercharge Rust functions with implicit arguments using CGP v0.7.0(contextgeneric.dev)
3 points by maybevoid 7mo ago|0 comments
2.
Context-Generic Programming v0.6.1 Release: Improving Ergonomics and Debugging(contextgeneric.dev)
1 points by maybevoid 8mo ago|0 comments
3.
by maybevoid 11mo 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
4.
by maybevoid 11mo ago
Author here, glad to see this featured on HN! AMA about Context-Generic Programming or Rust traits!
5.
Cgp-serde: A modular serialization library for Serde powered by CGP(contextgeneric.dev)
16 points by maybevoid 11mo ago|3 comments
6.
by maybevoid 1y ago
Location: Leipzig, Germany Remote: Yes Willing to Relocate: No Technologies: Rust, Haskell, Functional Programming, Programming Languages Resume/CV: https://contextgeneric.dev/cv-soareschen-2025-07.pdf Email: soares.ch
7.
by maybevoid 1y ago
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 implementations for each CGP trait. As a consequence, when you
8.
by maybevoid 1y ago
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. I have a proof of concept implementation of example in the a
9.
by maybevoid 1y ago
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 traits in CGP that make extensible records possible, and exp
10.
The Design and Implementation of Extensible Records for Rust in CGP(contextgeneric.dev)
1 points by maybevoid 1y ago|1 comments
11.
by maybevoid 1y ago
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 coming from functional languages, this development effectiv
12.
by maybevoid 1y ago
(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 principles behind my work on Context-Generic Programming
13.
by maybevoid 1y ago
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 myself wondering: will this kind of DSL be easier for LLMs t
14.
by maybevoid 1y ago
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), which enables unprecedented modularity and exte
15.
Context-Generic Programming v0.4.0 Release: Improved Debugging and More(contextgeneric.dev)
1 points by maybevoid 1y ago|0 comments
16.
by maybevoid 2y ago
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 to write modular code that is generic over a context (Self) t
17.
Context-Generic Programming Updates: v0.3.0 Release and New Chapters(contextgeneric.dev)
3 points by maybevoid 2y ago|1 comments
18.
by maybevoid 2y ago
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 include here a summary of updates in this release: - Ne
19.
Context-Generic Programming: a new modular programming paradigm for Rust(contextgeneric.dev)
7 points by maybevoid 2y ago|2 comments
20.
by maybevoid 2y ago
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 strongly-typed components to be implemented and composed in