On Contracts and Safety -- Lucian Radu Teodorescu

T1Covered by 1 source · first reported by Language blogs: Rust / Go / TypeScript / Swift / Kotlin / Java / .NET / Ruby / PHP / Elixir / ISO C++ at 14 Oct, 19:36 UTC

Composing safe functions may not be safe. Lucian Radu Teodorescu explores how C++26 contracts help uncover problems. On Contracts and Safety by Lucian Radu Teodorescu From the article: If two operations are safe, is their composition safe too? At first glance, the answer ought to be yes. But a…

dev

Sources

• T1On Contracts and Safety -- Lucian Radu TeodorescuLanguage blogs: Rust / Go / TypeScript / Swift / Kotlin / Java / .NET / Ruby / PHP / Elixir / ISO C++14 Oct, 19:36