Skip to content
kata / a language workbench

blog

Thinking through a language.

Design notes on KataScript, its implementation, and the choices behind it.

Subscribe via RSS ↗
Design

A closure keeps a binding

A small counter reveals what a function carries out of the scope where it was created.

Design

Three ways to name a type

Why KataScript separates product types, sum types, and interfaces into kind, enum, and type.