Hello everyone, I've been working solo on a little programming language called [Atlas77](https://github.com/atlas77-lang/atlas77), mostly to learn about compiler, VM, and everything that orbits around that.
Atlas77 is a statically typed language with:
- move/copy semantics that let the compiler insert proper `free`/`delete` deterministically. It's kind of a mix of Rust borrow checker and C++ move & copy semantics.
- A custom VM (currently in rework because it doesn't fit the language any more).
- Absolutely NO Garbage collector.
- Absolutely NO null pointers `optional<T>` & `expected<T, E>` exists for that
- Big dreams about:
- Having a strong FFI with Rust & C so it's easily embeddable in other people's project.
- Making a game engine with it.
- Bootstrapping the compiler.
- Having an LLVM or Cranelift secondary target for people who don't need to embed the language.
- Being the main language used in a friend's engine.
And yeah, that's about if for now. I am freaking proud of what I have done, the language is peak imho (unbiased btw). Hope you'll check it out and give your feedback on it.
Gipson62•18h ago
Atlas77 is a statically typed language with: - move/copy semantics that let the compiler insert proper `free`/`delete` deterministically. It's kind of a mix of Rust borrow checker and C++ move & copy semantics. - A custom VM (currently in rework because it doesn't fit the language any more). - Absolutely NO Garbage collector. - Absolutely NO null pointers `optional<T>` & `expected<T, E>` exists for that - Big dreams about: - Having a strong FFI with Rust & C so it's easily embeddable in other people's project. - Making a game engine with it. - Bootstrapping the compiler. - Having an LLVM or Cranelift secondary target for people who don't need to embed the language. - Being the main language used in a friend's engine.
And yeah, that's about if for now. I am freaking proud of what I have done, the language is peak imho (unbiased btw). Hope you'll check it out and give your feedback on it.