Torturing rustc by Emulating HKTs, Causing an Inductive Cycle and Borking the Compiler Discussion | lobsters | Author: WeetHet

Torturing rustc by Emulating HKTs, Causing an Inductive Cycle and Borking the Compiler

I just wanted higher kinded types. I borked the compiler instead.

harudagondi.space

How to stop fighting with coherence and start writing context-generic trait impls in Rust contextgeneric.dev/blog/rustlab... This blog post contains the slides and transcript for my presentation of Context-Generic Programming at RustLab 2025.

How to stop fighting with coherence and start writing context-generic trait impls - RustLab 2025 transcript | Context-Generic Programming

This blog post contains the slides and transcript for my presentation of Context-Generic Programming at RustLab 2025.

contextgeneric.dev

My RustLab presentation on **How to stop fighting with coherence and start writing context-generic trait impls** is now available on YouTube: www.youtube.com/watch?v=gXIf...

How to stop fighting with coherence and star writing context-generic trait impls - Soares Chen

YouTube video by RustLab Conference

youtube.com

Supercharge Rust functions with implicit arguments using CGP v0.7.0 🚀 contextgeneric.dev/blog/v0.7.0-...

Supercharge Rust functions with implicit arguments using CGP v0.7.0 | Context-Generic Programming

CGP v0.7.0 has been released, bringing a major expansion to the CGP macro toolkit. The centerpiece of this release is a suite of new annotations — #[cgpfn], #[implicit], #[uses], #[extend], #[useprovi...

contextgeneric.dev

Context-Generic Programming (CGP) now has a new website! We have now migrated from Zola to Docusaurus. This blog post explains the reasons behind the move. contextgeneric.dev/blog/2026/02...

We're excited to announce the release of cgp v0.6.1, which brings several quality-of-life improvements to Context-Generic Programming in Rust. contextgeneric.dev/blog/v0-6-1-...

CGP v0.6.1 Release: Improving Ergonomics and Debugging | Context-Generic Programming

contextgeneric.dev

We have some bittersweet news: Lambda Days will take a break in 2026. But - we’re releasing something special 💛 🎥 All Lambda Days 2025 talk recordings are now public! 👉 youtube.com/playlist?lis...

Lambda Days 2025 - YouTube

youtube.com

The Call for Proposals for RustWeek 2026 is now open! If you’d like to give a talk, please submit your proposal via sessionize.com/rustweek-2026/ The CFP closes Dec 31. #rustweek2026 #rustlang

Rust Week 2026: Call for Speakers

RustWeek is back!Two days of talks (Tue 19 and Wed 20) and one day with workshops (Mon 18),as well as social events and activities all week (Mon 19 - ...

sessionize.com

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-ser...

Announcing cgp-serde: A modular serialization library for Serde powered by CGP | Context-Generic Programming

contextgeneric.dev

No more fighting the compiler! 😄 Soares Chen showed how Context-Generic Programming lets Rust devs go beyond coherence limits — safely and elegantly. #RustLab2025 #RustLang @maybevoid.com

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. #RustLang contextgeneric.dev/blog/v0-6-0-...

CGP v0.6.0 Release - Major ergonomic improvements for provider and context implementations | Context-Generic Programming

contextgeneric.dev

I am thrilled to announce the release of CGP v0.5.0! This new release includes many exciting features and improvements, including auto dispatchers, extensible datatype improvements, monadic computation, emulation of RTN, sneak preview of cgp-serde, and more. contextgeneric.dev/blog/v0-5-0-...

CGP v0.5.0 Release - Auto dispatchers, extensible datatype improvements, monadic computation, RTN emulation, modular serde, and more | Context-Generic Programming

contextgeneric.dev

My observation of ML frameworks from the POV of a functional programmer: PyTorch tensors are actually some kind of monad, with the dimensions being the "type" of the contained values.

Today’s my last day at AWS working on the Rust compiler. Unfortunately, back in July I received notice that I had to choose between moving to Boston from NYC, or leaving the company due to RTO policy. I unfortunately couldn’t abandon the city I plan on being my long term home.

Tired of fighting Rust’s coherence rules? S@maybevoid.com 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

I will be presenting at @rustlab.it on how to stop fighting with coherence and start writing context-generic programs with @contextgeneric.dev. Use the discount code SP20FR to attend the conference with 20% discount! rustlab.it/talks/how-to...

🦀 We are proud to announce the Schedule for RustLab 2025! It’s not completed yet: there will be some minor changes or additions, especially in the workshops and social events areas, but this is it! Take a look at it and join us now! 🤗 👉 rustlab.it/schedule

Oh wow, so even Java has type classes now, or it looks more like Scala implicits. At least it is still good that Java is becoming more FP-friendly. Now when is Go's turn? www.youtube.com/watch?v=Gz7O...

Growing the Java Language #JVMLS

YouTube video by Java

youtube.com

The third and fourth parts of Extensible Data Types for Rust - the design and implementation of extensible records and variants - has been published! contextgeneric.dev/blog/extensi... contextgeneric.dev/blog/extensi...

Programming Extensible Data Types in Rust with CGP - Part 3: Implementing Extensible Records | Context-Generic Programming

contextgeneric.dev

Learn about how to build modular interpreters and visitors in Rust using CGP!

Context-Generic Programming@contextgeneric.dev · last yr.

I am excited to share the second part of my blog series on Extensible Data Types with CGP. This post dives into how CGP leverages extensible variants to elegantly solve the expression problem. contextgeneric.dev/blog/extensi...

Surprisingly, it turns out CGP already supports fully monadic computation in Rust! It is just that the CGP monads are in the form `a -> m b` instead of the usual `m a`.

CGP v0.4.2 has been released, with brand new support for extensible records and variants. Check out the blog post to find out more! contextgeneric.dev/blog/extensi...

Programming Extensible Data Types in Rust with CGP - Part 1: Highlights and Extensible Records Demo | Context-Generic Programming

contextgeneric.dev

Context-Generic Programming@contextgeneric.dev · last yr.

I'm excited to share the release of CGP v0.4.2, with new support for extensible records and variants! contextgeneric.dev/blog/extensi... In short extensible data types allows us to read, construct, and deconstruct a *generic* struct or enum without needing access to the concrete type.

Howdy all. I'm unfortunately not going to be with my employer for much longer due to team relocation. If anyone has any info on roles that would allow me to continue my Rust compiler work (in New York City), they'd be greatly appreciated.

Oh wow, since when did Firefox implement native integration with all major LLMs like ChatGPT? Did they get any funding from that integration? How come I never seen any such news or discussion on Hacker News?

Finally I can get back to hacking the core CGP implementation! This time with a new CGP builder pattern for constructing Rust structs!

Context-Generic Programming@contextgeneric.dev · last yr.

Now that Hypershell is finally published, it is finally time to go back to working on the core CGP implementation and add new features. The new CGP builder pattern is being developed pretty smoothly. Here is a snippet Rust code on the test code and macro expansion!

Damn.. I think I managed to get the Rust compiler to hang indefinitely when trying to write slightly more complex examples of Hypershell. 😅

Context-Generic Programming@contextgeneric.dev · last yr.

Announcing Hypershell: a modular, type-level DSL for shell-scripting in Rust, powered by Context-Generic Programming! contextgeneric.dev/blog/hypersh...

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!

Context-Generic Programming@contextgeneric.dev · last yr.

Announcing Hypershell: a modular, type-level DSL for shell-scripting in Rust, powered by Context-Generic Programming! contextgeneric.dev/blog/hypersh...

The vibe coding debate focused mostly on beginners who code with AI without understanding programming fundamentals, and experts who bash that the code generated by AI is incorrect. But why not we *train* the AI to be good at teaching beginners on *hard* topics, e.g. Rust and functional programming?

Here are some sneak previews of what I have been working on for the past 2 weeks. Hypershell is a compile-time DSL for writing shell-script-like programs as Rust types. It is powered by context-generic programming, and is highly customizable and extensible!

I have published my first new blog post in four years lexi-lambda.github.io/blog/2025/05...