I've been working on a language that codifies a single abstract _situated_ unit of computation. It sits at the intersect of memory, process placement, callstack

I've been working on a language that codifies a single abstract _situated_ unit of computation. It sits at the intersect of memory, process placement, callstack, lifetime, and domain graph. Because it's the only unit of structure in the language, everything is layered recursively, which means the compiler can reason about the codebase at layers that we'd normally leave to third party tooling, ci, or other infra: https://hale-lang.org https://hale-lang.org