Have you look at Austral?[0] It is a system language with affine type as the main selling point. I really, really like its specifications, in particular the des

Have you look at Austral?[0] It is a system language with affine type as the main selling point. I really, really like its specifications, in particular the design goals and rationale. [0]: https://austral-lang.org/ https://austral-lang.org/ [1]: https://austral-lang.org/spec/spec.html#goals https://austral-lang.org/spec/spec.html#goals