3 ms·
There are software engineering methods that are proven to work. Rust’s type system is arguably one of them.
by pohl 9y ago
There are software engineering methods that are proven to work.
Rust’s type system is arguably one of them.
- gmueckl 9y agoI was talking about processes, not tools. Rust is just tool. But good software comes from thorough processes.
- kibwen 9y agoGood software comes from processes that aren't afraid to adopt tools to automatically enforce those processes in order to guard against human oversight.
- gmueckl 9y agoTools come from processes. You need to know what the tool needs to do (the process) before you can write it.
- pohl 9y agoType systems are applied mathematics. You can’t get more engineering-y than that.
- gmueckl 9y agoSee 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.
- pohl 9y agoMath is a tool, too, yet applying mathematical methods is one of the defining characteristics of engineering.