|
|
|
|
|
|
by astrange
1804 days ago
|
|
|
The language in my head has an effect system, a proof assistant, lets you run code at compile time iff you prove it to be total and pure, and lets you generate new code and proofs with it. This is just dependent types (and it's similar to Jai and Rust) but I think you could market them in a more imperative way to make them usable. Oh and typestates instead of OOP. |
|
|