Re:Beads: Computer language and toolchain
by ModernMech on Thursday May 27, 2021 @05:26PM
(#27308764)
In what way is Rust declarative? When I think of a declarative language, I think of Prolog or SQL. Rust to me would seem to be explicitly imperative.
Point still stands. I've made plenty of bugs writing both sql and prolog (although i've only written a small amount of prolog)
Certain classes might be more or less likely, but no paradigm is magic and stops all bugs.
Re:Beads: Computer language and toolchain
by throwaway894345 on Thursday May 27, 2021 @09:05PM
(#27310625)
I guess I was confusing expression based or functional with declarative.
That one piqued my attention. It's one thing to say "fewer bugs" and quite another to say "almost none". Rust is a declarative language with one of the more rigorous static analysis checkers (for pedants: among mainstream languages) and I still write buggy code.