I was thinking about making a language with Rust syntax that compiled to D. ("Compile your Rust programs 10x faster!") You can replace "let" with "const" to get

I was thinking about making a language with Rust syntax that compiled to D. ("Compile your Rust programs 10x faster!") You can replace "let" with "const" to get transitive immutability in D with type inference. As a programmer who first used Python than C++, I don't find types after or before any nicer or worse. As for Monads, you could write a template that wraps a pure function that creates side effects through its arguments into a Monad rather easily. As for pattern matching, you can do that by writing your own template too.