Sabitlenmiş Tweet
So long Twitter. If you can see my tweet, find me on #BlueSky at bsky.app/profile/maybev…
English
Soares Chen
2.4K posts
Soares Chen
@soareschen
Find me on #BlueSky at https://t.co/UWKMDbv9aJ ∘ Haskell ∘ Rust ∘ @MaybeVoid ∘ Programming Language Theory
Leipzig, Germany Katılım Haziran 2008
2.3K Takip Edilen2K Takipçiler
How to stop fighting with coherence and start writing context-generic trait impls in Rust
contextgeneric.dev/blog/rustlab-2…
This blog post contains the slides and transcript for my presentation of Context-Generic Programming at RustLab 2025.
English
My RustLab presentation on **How to stop fighting with coherence and start writing context-generic trait impls** is now available on YouTube:
youtube.com/watch?v=gXIfP-…
YouTube
English
Supercharge Rust functions with implicit arguments using CGP v0.7.0 🚀
contextgeneric.dev/blog/v0.7.0-re…
English
In short, cgp-serde extends Serde’s original Serialize and Deserialize traits with CGP, making it possible to write overlapping or orphaned implementations of these traits and thus bypass the standard Rust coherence restrictions.
English
I am excited to announce the release of cgp-serde, a modular serialization library for Serde that leverages the power of Context-Generic Programming (CGP).
contextgeneric.dev/blog/cgp-serde…
English
Soares Chen retweetledi
⚙️ Coherence rules getting in your way?
@soareschen introduces Context-Generic Programming — a paradigm to write truly generic trait impls without breaking Rust’s rules.
🕐 12:15 | 📍 Deep Ocean
#RustLab2025
English
Soares Chen retweetledi
No more fighting the compiler! 😄
@soareschen showed how Context-Generic Programming lets Rust devs go beyond coherence limits — safely and elegantly.
#RustLab2025 #RustLang
English
I’m excited to announce the release of CGP v0.6.0! This version introduces major ergonomic improvements that make provider and context implementations simpler and more intuitive to write.
contextgeneric.dev/blog/v0-6-0-re…
English
I am thrilled to announce the release of CGP v0.5.0! This new release includes many exciting features, including auto dispatchers, extensible datatype improvements, monadic computation, emulation of RTN, sneak preview of cgp-serde, and more. contextgeneric.dev/blog/v0-5-0-re…
English
I will be presenting at RustLab on how to stop fighting with coherence and start writing context-generic programs with CGP. Use the discount code SP20FR to attend the conference with 20% discount!
🦀 RustLab@rustlab_conf
Tired of fighting Rust’s coherence rules? @soareschen introduces Context-Generic Programming: a new way to write flexible trait impls without breaking the rules. 🧩 How to Stop Fighting with Coherence and Start Writing Context-Generic Trait Impls #rustlang #rustlab2025
English
This also enables safe enum upcasting and downcasting, as well as modular builder and visitor patterns in Rust. Check out the blog post to find out more!
English
I'm excited to share the release of CGP v0.4.2, with new support for extensible records and variants! contextgeneric.dev/blog/extensibl…
In short extensible data types allows us to read, construct, and deconstruct a *generic* struct or enum without needing access to the concrete type.
English
I have created Hypershell as a proof of concept to showcase how CGP can be used to build highly modular and extensible DSLs, with the DSL programs expressed as Rust types!
English
Announcing Hypershell: a modular, type-level DSL for shell-scripting in Rust, powered by Context-Generic Programming!
contextgeneric.dev/blog/hypershel…
English
Announcing Context-Generic Programming (CGP) - a new modular programming paradigm for #RustLang!
#CGP allows strongly-typed Rust components to be implemented and composed in a modular, generic, and type-safe way. Check out contextgeneric.dev to learn more.
English
Soares Chen retweetledi
For the last 2 years, I have been working on a new specification language called Quint, based on TLA.
Today, we are doing a first general announcement because we finally feel that it is good enough for people to use it and enjoy it :)
github.com/informalsystem…
English
Soares Chen retweetledi
Remember #Quint?
Quint is a tool created by @informalinc that helps developers design and check if distributed applications work correctly, especially programs running on blockchains.
Here is an update 🧵
Informal Systems@informalinc
Heard about #Quint? 🤔 In simple terms: Quint is a tool created by @informalinc that helps developers design and check if distributed applications work correctly, especially programs running on blockchains.
English
The Rust async fn and return-position impl Trait in trait PR has passed through review and in its final comment period. Looking forward for it to get merged soon!
#issuecomment-1745478473" target="_blank" rel="nofollow noopener">github.com/rust-lang/rust…
English
Soares Chen retweetledi
Stumbled upon this fantastic (& underrated) Youtube playlist covering the details of Hindley-Milner type inference (eg. unification).
Loads of examples on paper & in code, they even go through the notation in the original HM paper -- would recommend!
youtube.com/playlist?list=…
English