[MS] Checked C

[goyalyashpal]

hi again!

i just restumbled upon a new extension to C

Checked C (expand me)

- By MicroSoft

An extension to C for making existing C code more secure
Checked C extends C with bounds checking and improved type-safety. It helps programmers retrofit existing C code to be more secure. ... and eliminate entire classes of errors.

Language Overview

For a comprehensive description, see the PDF of the Checked C specification.

• New checked pointer and array types
• Bounds declarations
• Conversion operations
• Interoperation support
• Bounds-safe interfaces
• Checked scopes
• Generic functions
• Generic structures (to be filled in)
• Existential structs

c3lang already does many of these, if memory serves me right:

• bounds checking
• generic functions
• interoperation support

anyhow, did u know about this 😃 ? any thoughts or comments?