News for hackers. Stuff that matters.

A comment on First Rust Code Shows Up in the Windows 11 Kernel. Parent comment

Re:First Rust Code Shows Up in the Windows 11 Kernel by formerly_proven on Saturday May 13, 2023 @05:38AM (#35926916)
I'd rephrase this as Rust enabling reasoning about program validity locally, while many other languages (regardless of type system, e.g. C, C++ and Python/Ruby/JS are typical examples) don't allow you to reason about program validity in localized increments.
[ Parent | on HN ]
Re:First Rust Code Shows Up in the Windows 11 Kernel by kaba0 on Saturday May 13, 2023 @07:38AM (#35927425)
> enabling reasoning about program validity locally

About certain few properties only. It is impossible in the general case.

I agree regarding “change anxiety” compared to dynamic languages, but that’s just static typing. Due to lifetime annotations leaking into API boundaries, the rest is not true though.

[ Parent | on HN ]