Ante es un lenguaje de programación de sistemas que apuesta por una idea ambiciosa: integrar el conteo de referencias y el borrow checking sin renunciar a la seguridad en tiempo de ejecución. En la práctica, eso significa que un programador puede declarar tipos compartidos y mutables con la palabra clave shared y obtener referencias mutables a sus campos sin recurrir a envoltorios que puedan provocar pánicos, como ocurre con Rc> en Rust o con las comprobaciones de acceso exclusivo en Swift.
El núcleo del enfoque es lo que su autor denomina shape-stability: una referencia a un dato cuya forma no puede cambiar permanece válida aunque se produzcan mutaciones en otros lugares. Gracias a esta propiedad, el compilador acepta código que en otros lenguajes sería ilegal o peligroso, como pasar la misma entidad dos veces a una función que toma referencias mutables, o mantener a la vez una referencia mutable al objeto completo y otra a uno de sus campos.
Ante se presenta como un Rust simplificado, con sintaxis concisa y única propiedad por defecto. Sus autores lo comparan con equivalentes en C++, Rust, Swift y Python y destacan que sus fragmentos son tan breves como los de Python y más cortos que los de Rust y C++. El artículo describe con detalle la función balance de un árbol rojo-negro, la función heal sobre entidades y un ejemplo con Spaceship y Engine, y explica por qué ninguna combinación de Cell, RefCell, QCell o GhostCell cubre el mismo espacio. El proyecto sigue en desarrollo y la documentación deja abierta la posibilidad de que la aplicación elija, en el futuro, entre conteo de referencias, recolector de basura u otro mecanismo de gestión de memoria.