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.
I made a programming language called Salt.
Salt's core principles are:
I welcome any feedback at this early stage.
For further actions, you may consider blocking this person and/or reporting abuse
Top comments (0)