I’m working on Curv: a pure functional programming language, for procedural generation of 3D printable shapes, represented by signed distance fields, which are rendered by compiling Curv programs into GPU shader programs. https://github.com/curv3d