[insanitybit]

> Adding something like this were people are inventing complexity in the language itself out of boredom is a recipe for disaster

Not really. This is a fun project to show what an effects system would look like. The consequences of this are pretty much strictly positive.

> and is much worse than the terrible things than can happen in C.

No. "Ugly code no one will use but that demonstrates a concept" is definitely not worse than "attacker has full control over the computer".

[ilovecaching]

Complexity is where bugs hide. Do you really think Rust protects you from every class of bugs? It doesn't even protect you from all memory bugs.

[sn9]

Rust just exposes the complexity an equivalent program in C leaves you to find at runtime. It doesn't have to prevent every bug, just substantially more than the languages it might replace.

You can write simple or complex code in any language.

The Obfuscated C contests exist so I really don't see what points you think you're making.

Some people have fun pushing their tools to their limits. That doesn't mean they do the same thing in production code.

[insanitybit]

Rust is a very obvious security win.