Effektive: Effect-TS Contracts Without the Ceremony
Effektive is a small functional language that compiles to Effect-TS, so you write direct code and the compiler writes the Effect plumbing.
Posts tagged Compilers
The Compiler Should Be the Boss of the AI Agent
ZigTS uses Pi based agent architecture as a compiler-guided coding agent, where the model drafts code but the compiler decides what survives.
Part-2: Memory Safety in Zig Without the Pain?
A practical allocator wrapper that adds Fil-style runtime safety checks where you need them, with zero language changes and minimal code churn. Opt-in, idiomatic, and surprisingly elegant.
Part-1: Memory Safety's Impossible Dream
Can you get complete memory safety at compile time with zero runtime cost? Turns out computation theory says no—but the hybrid approaches we can build are surprisingly interesting.