Posts by deeply involved developers about various aspects of FOSS technologies, Linux, programming, security, infrastructure solutions and DevOps practices
unsafe blocks in projects development as escape hatch from the guarantees of substructural type system and shared XOR mutable invariant of borrow and ownership checker in the Rust compiler.Rust Internals forum (https://internals.rust-lang.org), and really couldn't figuring out that unsafe is an escape hatch (to using raw pointers, for example) and this is really essential for Rust as a systems programming language, 'cause not every situation, task and program could have a good fit into model of shared XOR mutable invariant (especially imagine creating of double-linked list with mutable elements, for example).unsafe doesn't disable in a whole the main invariants of substructural type system of Rust, it's just weakening the hard restrictions of type system where there're no other possibilities in task resolutions (although, programmer always must be aware of misuse and malpractice of unsafe hatch), this gives the flexibility for systems development (for creation of OS kernels, compilers, for example) and in a more precise way gives the powerful possibility for localisation of errors and undefined behaviour in program code.unsafe code block in Actix-web, wich has led to undefined behavior and have had such insulting reaction of the haters of Rust, huh?unsafe in Rust gives this opportunity to developers, to get this work done as fast as possible!unsafe in his lectures upon Rust on YouTube!