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.
Las operaciones seguras de CobaltC NO DEBEN introducir comportamiento indefinido simplemente mediante el uso ordinario.
- ethin
Esto está tan obviamente escrito por ChatGPT por lo que puedo ver. Ni siquiera un intento de corregirlo, a menos que me haya perdido algo.
- pizlonator
Esto no parece ser significativamente diferente de Rust.
> no requiere recolección de basura con seguimiento
Solo llámalo recolección de basura.
(Se aplica de dos maneras: si piensas que la recolección de basura subsume el conteo de referencias, entonces este lenguaje no requiere recolección de basura en el sentido de que tampoco requiere conteo de referencias; si piensas que la recolección de basura no subsume el conteo de referencias, entonces no tiene sentido decir tres palabras cuando puedes decir dos.)
- ronsor
Antes de que lea esto, ¿qué hay de C3 [0] que no te gusta?