CobaltC: ¿El sucesor de C?

CobaltC – The Successor to C?

CobaltC es un lenguaje de programación de sistemas de tipado estático que promete la seguridad de Rust con la simplicidad de C. La especificación 1.0.0 define características como propiedad explícita, destrucción determinista, préstamos verificados por el compilador, vidas útiles inferidas, nulabilidad explícita, operaciones seguras de límites, manejo estructurado de errores y concurrencia segura. Sin recolección de basura, CobaltC está diseñado para software que requiere gestión predecible de recursos y fuerte seguridad de memoria. La especificación detalla sintaxis, tipos, semántica de propiedad y préstamo, y reglas de seguridad.