design-pattern-review

This Skill benchmarks specific domains like error messages, type representation, and incremental compilation against prior art from established compilers such as Rust, Go, Zig, and Elm to evaluate your compiler design patterns.

Synthesizing compiler architecture involves analyzing effective patterns from leading compilers and proposing hybrid designs tailored to unique language constraints like ARC, effects, and expression-based syntax.

Improving compiler error messages involves analyzing how compilers like Elm and Rust handle diagnostics, then synthesizing a more informative error reporting system tailored to your language.

Yes, you can benchmark incremental compilation and ARC optimization strategies by leveraging research agents to study how existing compilers implement these specific domains.

The analysis covers established compilers including Rust, Go, Zig, Gleam, Elm, Roc, Swift, Koka, Lean 4, and TypeScript to identify best-of-breed solutions when reviewing language design patterns.

Yes, it generates detailed design proposals in Markdown format for specific domains including type representation, effect systems, pattern matching, and test infrastructure.