Lenguaje de programación → humano → máquina se convierte en Lenguaje humano → natural → IA → lenguaje de programación → máquina A la IA no le importa el bombo ni la belleza, solo sus requisitos. Los lenguajes de programación seguros, explícitos y listos para LLM gañan. Rust y Move encajan en este modelo. Move también añade corrección demostrable (con IA escribiendo las especificaciones del demostrador) y operaciones nativas de trading.