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 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 ]