An analysis of how to achieve first-class types in programming languages without requiring compile-time code execution, using Odin as an example of syntactic unification between type and value expressions. The author argues this approach is superior to separate type parameter syntax like generics in C++ because it avoids the complexity of a separate compile-time execution mode while providing cleaner, more flexible syntax.
A frontend developer built an entire programming language (Cutlet) in four weeks using Claude Code to generate 100% of the code without manually reviewing it, relying on automated test cases and guardrails as feedback. The experiment explores the capabilities and limitations of LLM-assisted development for deterministic, testable projects.