I made a programming language called Salt.
Salt's core principles are:
- Fast enough (targeting within 10% of C)
- Supremely ergonomic (avoiding Rust's syntax quirks)
- Formally verifiable (via an SMT solver)
I welcome any feedback at this early stage.
Salt Dev
Posted on
Salt Programming Language Version 0.5
For further actions, you may consider blocking this person and/or reporting abuse
Top comments (0)