Nah man, Rust has overplayed its hand and has been turned into a meme. We need a new Rust that's exactly like the old Rust before it was cool.

Yeah, come on, write it in Nim or don't write it at all.

Nim is too simple and lacks complex mathematics.

Lisp has joined the channel

I tried Rust a while ago (I do mainly Python) but not for long enough to get my head around it (the borrow checker).

Is it now past the peak hype cycle, or do people still love it?

I learned it a while back during some huge hype and put it down for a while after slow, minor, painful success. I recently came back and it feels much improved, and my troubles with the borrow checker seem to finally be something I have overcome. I think it will continue to be loved.

There was a real improvement to the borrow checker to make it use non-lexical-lifetimes. The practical implications were the borrow checker being much better at reasoning about mutually exclusive borrows between branches.

That beginner-level Rust code made Coq barf. Rewrite your POC in Haskell before reverting back.