Programing language that can be used for reference

[C-BJ]

https://github.com/microsoft/verona and https://github.com/microsoft/BosqueLanguage is Microsoft research project
https://github.com/SerenityOS/jakt is a language with similar design to Rivet.

[C-BJ]

https://github.com/r0nsha/chili has some very good designs. You can check its readme or enter its Discord Channel to view the dialogue between me and the project manager

[C-BJ]

For the functional part, please also refer to Roc https://www.roc-lang.org/

[StunxFS]

Thanks for this, I also use Zig as a reference language.