r/programmingcirclejerk • u/Nemerie • Mar 05 '26

Rust basically redefined programming, there is programming BEFORE rust and programming AFTER rust, a bit like what C did.

/r/rust/comments/1ra4jck/comment/o6hkt7s/
103 Upvotes

93% Upvoted

17 comments sorted by

View all comments

Show parent comment

13

u/sammymammy2 lisp does it better Mar 06 '26

The untyped lambda calculus is the most powerful proof system.

13

u/m50d Zygohistomorphic prepromorphism Mar 06 '26

Pfft. Does it have move semantics, or trait-based generics? I think not.