Re:Writing a Linux-compatible kernel in Rust
by pjmlp on Tuesday October 26, 2021 @08:41AM
(#28999658)
That is why SPARK exists, and RAII offers safe memory deallocation.
Ada never used GC, although Ada 83 allowed for optional implementation, that no compiler ever made use of, thus it was removed from Ada standard in the 2005 revision.
Ada never used GC, although Ada 83 allowed for optional implementation, that no compiler ever made use of, thus it was removed from Ada standard in the 2005 revision.