Axolotl: un poderoso lenguaje de programación basado en la seguridad

Axolotl es, hipotéticamente, un lenguaje de programación basado en la seguridad de sistemas.

Se inspira, hipotéticamente, en lenguajes de programación modernos como Ballerina, Go y Rust.

De tipado estático.

Compilado.

Con gestión automática de la memoria y recursos del sistema.

Enfocado a la seguridad y rendimiento.

Al igual que lenguajes como Ada, un programa en Axolotl no debe fallar.

Debe ser seguro. Seguro.

El lenguaje posee, hipotéticamente, una sintaxis similar a la de lenguajes como Ballerina, Go y/o Rust.

Un poco de historia sobre Axolotl

La mascota oficial es un Ajolote. Un anfibio que es es famoso por su capacidad de regenerar extremidades y órganos.

Un programa hecho en este lenguaje tiene la extensión *.xtl.

La herramienta para crear un proyecto y construirlo es ``axoc``.

AVM (Axolotl Virtual Machine) es el motor que permite ejecutar programas desarrollados en este lenguaje.

Conociendo Axolotl

Conozcamos algunos aspectos del lenguaje.

Paradigma

Al igual que Go es un lenguaje multiparadigma basado principalmente en la programación imperativa y estructurada.

Además, permite la programación funcional y concurrente.

Enfoque

Un programa en Axolotl debe ser compilado.

Un programa compilado es más rápido que uno interpretado.

Un ejecutable hecho en este lenguaje puede ser ejecutado en cualquier SO que tenga una Virtual Machine (Axolotl Virtual Machine, AVM) de Axolotl. Siguiendo el ejemplo de Java.

Tipado

Es un lenguaje de programación fuertemente tipado.

Aquí no aplica lo de "una variable es una variable".

Si necesitas un valor booleano debes usar un tipo bool. Si necesitas un resultado numérico entero deberás usar un tipo int.

Los tipos de datos básicos son:

• Numéricos: byte, int, float, double o real.
• Booleanos: bool.
• De cadena: string, char.
• Comodín: any.

Bucles

Y no pueden faltar las sentencias de control como los bucles.

package main

func main(args: Array<string>){
  var conteo:int = 0;
  val numeros: Array<double> = {1.0.2.0,3.0,4.0,5.0,null,6.0,7.0};
  for i in 0..numeros 
  {
    println("Hola, numero {numeros[i].to_int}");
    conteo+=numeros[i].to_int;
    
    if numeros[i] == null {
     continue;
    }
    
    if conteo == 21 {
       break;
    }
  }
}

Funciones y procedimientos

Una función devolverá valores.

package main

func main(args: Array<string>){
  var a:int = 8;
  var b:int = 3;
  println("Suma de {a} + {b} es {suma(a,b)} ");
  println("Resta de {a} - {b} es {resta(a,b)} ");
}

func suma(x:int, y:int): int = x + y;
func resta(x:int, y:int): int = x - y;

Un procedimiento no devolverá valores, solo ejecutará acciones.

package main

func main(args: Array<string>){
  var a:int = 8;
  var b:int = 3;
  mostrar_producto(a,b);
}

proc mostrar_producto(x:int, y:int): void =
{
  
  if x == 0 or y == 0 
  {
      println("El resultado es: 0");
  }

  var prod:int = x*y;
  
  println("Producto de {a} * {b} es {prod} ");
};

Hola, mundo en Axolotl

1. Debemos abrir una terminal y teclear:

$ axoc new holamundo --type console
$ cd holamundo

Esto creará un proyecto y nos ubicará en el directorio creado.

Así luciría la estructura del proyecto:

holamundo/
   main.xtl
   axoc.toml
   axoc.json
   .gitignore
   README.md 

Observemos el contenido de los archivos (omitiendo el README.md y el .gitignore):

main.xtl

package main

func main(args: Array<string>){
  println("Hola, mundo");
}

Este es el programa principal del proyecto.

axoc.toml

[description]
name: "Hola Mundo"
version: 0.0.1
date: "2026-06-16"

[dependencies]
# nothing

Este archivo sirve para describir el proyecto y sus dependencias.

axoc.json

{
  "author": "Alquimista",
  "name": "holamundo",
  "version": "0.0.1",
  "date": "2026-06-16"
}

Este archivo sirve para algunas configuraciones especiales.

2. Construimos y ejecutamos:

$ axoc build
$ axoc run

Esto compilará el proyecto y lo ejecutará.

Salida:

Hola, mundo

Nota aclaratoria: Este lenguaje aún no existe. Está en fase "experimental".

Continuaremos en próximas entregas.

Enlaces:

https://codemonkeyjunior.blogspot.com/2024/02/lo-que-conforma-un-lenguaje-de.html