News for hackers. Stuff that matters.

A comment on You can't Rust that. Parent comment

Re:You can't Rust that by gmueckl on Saturday March 31, 2018 @10:58PM (#16726449)
I needed to make a distinction in the dedinition I gave. And I stand by it, even if the wording comes across as snarky. There are software engineering methods that are proven to work. They do not involve just diving in and changing the code. But I also think that there are valid reasons to not apply these rigid development practices to certain kinds of projects. For the rest, we might well get mandatory development standards forced on us to

I am well aware of the pressure on developers to get requested feature done quickly. But the vast majority of bugs that get shipped would be easily prevented by more thorough processes. All those projects writing highly reliable software demonstrate this. But the price tag has a few zeroes appended as a result.

[ Parent | on HN ]
Re:You can't Rust that by pohl on Saturday March 31, 2018 @11:56PM (#16726621)
There are software engineering methods that are proven to work.

Rust’s type system is arguably one of them.

[ Parent | on HN ]
Re:You can't Rust that by gmueckl on Sunday April 01, 2018 @06:45AM (#16727658)
I was talking about processes, not tools. Rust is just tool. But good software comes from thorough processes.
[ Parent | on HN ]
Re:You can't Rust that by kibwen on Sunday April 01, 2018 @10:35AM (#16728484)
Good software comes from processes that aren't afraid to adopt tools to automatically enforce those processes in order to guard against human oversight.
[ Parent | on HN ]
Re:You can't Rust that by gmueckl on Monday April 02, 2018 @05:14AM (#16733278)
Tools come from processes. You need to know what the tool needs to do (the process) before you can write it.
[ Parent | on HN ]
Re:You can't Rust that by pohl on Sunday April 01, 2018 @10:59AM (#16728595)
Type systems are applied mathematics. You can’t get more engineering-y than that.
[ Parent | on HN ]
Re:You can't Rust that by gmueckl on Monday April 02, 2018 @05:17AM (#16733281)
See my reply to the other comment.

Type systems are tools that simply the process of checking that you do not mangle data by applying the wrong instructions to them. They didn't come out of nowhere.

[ Parent | on HN ]
Re:You can't Rust that by pohl on Monday April 02, 2018 @02:25PM (#16737571)
Math is a tool, too, yet applying mathematical methods is one of the defining characteristics of engineering.
[ Parent | on HN ]