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