A detailed development log covering progress on Zest, a new programming language with staged evaluation and type inference. Key achievements include implementing namespaces with recursive functions, destination-based type inference similar to Zig, internal iterators with second-class references, reflection using type deconstruction, and a self-hosted runtime with generic printing. The post explores design decisions around staging annotations, reference counting for memory management, and compares approaches to generics and borrowing systems. Also includes brief commentary on SQL inconsistencies, Ruby's ZJIT compiler development, and book reviews.

23m read timeFrom scattered-thoughts.net
Post cover image
Table of contents
zest progressExistentialize Your GenericsA Lightweight Type-and-Effect System for Invalidation SafetyDo we understand SQL?ZJIT: Building a New JIT Compiler for Rubybooks

Sort: