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 done my first Rust compiler hacking, and fortunately it is rather simple for me to get the compiler to spit out additional error messages that I needed to help debugging context-generic programming!

In the screenshot below prints the extra help that shows `Person: Serialize`!

Well at least by using proc macros with continuation-passing-style, I am able to "concatenate" multiple lists of component names as syntax, and then use that to generate new component wiring in #CGP.

My parents in law have come from China to visit us in Germany. It is crazy how much many issues I can finish in one Saturday evening, if I can just stay in my room and code without having to take care of my daughter, cook meal, and do house chores.

Unfortunately it looks like my CGP magic broke the Rust compiler. Seems to be a deep normalization bug that involves deref, blanket traits, two associated types with constraints that refer to each other, and link error when computing the ABI of a struct.

My time availability is so pathetic that I can only write GitHub issues on tasks that I still need to complete for my cgp crate before it is ready for official release.. And yet just that alone took 2 hours which is all the time I got for a weekend.

github.com/contextgener...