Perhaps what we need is a dialect which compiles to typescript and supports (or ...

johnday on July 13, 2021 | parent | context | favorite | on: Elm Compiler Written in Elm

Perhaps what we need is a dialect which compiles to typescript and supports (or better, enforces) the immutability you suggest.