metaxu
Metaxu es un lenguaje de programación de nivel bajo que compila a código nativo mediante LLVM. Se construye sobre tres ideas: efectos algebraicos como modelo de concurrencia y capacidades, modos en lugar de vidas lógicas para seguridad por memoria, e un intérprete como referencia semántica.
Ficha actualizada 22 sept 2026, 20:52 · upstream 22 sept 2026, 20:39 · release sin release detectada
Qué es metaxu
Descripción editorial construida a partir del repositorio, su documentación y sus señales de mantenimiento.
Metaxu es un lenguaje de programación de nivel bajo que compila a código nativo mediante LLVM, construido sobre tres ideas fundamentales: efectos algebraicos como modelo de concurrencia y capacidades, modos en lugar de vidas lógicas para seguridad por memoria, e un intérprete como referencia semántica. El lenguaje ofrece abstracciones cero-costo con referencias no desbordadas y movimiento de valores, seguridad por memoria mediante un sistema de borramiento simple inferido sin anotaciones manuales, efectos algebraicos con continuaciónes delimitadas nativas (try/catch), threads reales con inferencia de seguridad de hilos y guardias de escritura como permiso, subtiping algebraico SimpleSub, kernels GPU en tiles compilados a Metal para GPUs Apple vía MLX, patrones de coincidencia exhaustiva, una biblioteca estándar basada en modos donde los efectos son el idioma (std.stream, std.sync, std.gpu), y filosofía inspirada en Ante, Hylo, Sage, Oxidized OCaml, Rust, Zig y Python. El proyecto busca crear un lenguaje accesible para todos sin importar su experiencia, con el objetivo de que cualquiera pueda aprender a construir compiladores.
- Desarrollo de sistemas operativos y kernels de hardware
- Implementación de algoritmos matemáticos complejos con precisión numérica garantizada
- Sistemas distribuidos con modelos de concurrencia algebraicos
- Compiladores generados dinámicamente para múltiples arquitecturas
- Simuladores de hardware y emulación de sistemas operativos
- Desarrollo de motores gráficos con kernels GPU en tiles
- Modelo de efectos algebraicos que permite virtualizar cualquier efecto (threads, streams, GPU) mediante handlers sin cambios de código
- Seguridad por memoria basada en modos inferidos (localidad, mutabilidad, linealidad) sin necesidad de anotaciones manuales
- Interpretador como referencia semántica: cada backend se prueba diferentemente contra un intérprete estricto byte a byte
- Kernels GPU en tiles compilados a Metal Shading Language para GPUs Apple mediante MLX con checkeo de forma al tiempo de compilación
- Sistema de borramiento simple inferido que detecta errores de uso incorrecto de referencias cruzadas entre hilos
- Biblioteca estándar basada en modos donde los efectos son el idioma natural (std.stream, std.sync, std.gpu)
- Compilación nativa con LLVM a código C/C++ con rendimiento comparable o superior al C puro
- El sistema de borramiento es inferido y no soporta anotaciones manuales explícitas
- La seguridad por memoria se verifica dinámicamente para casos no provistos estáticamente, lo que puede generar errores en código mal escrito
- El soporte GPU está en desarrollo (Stage 1: kernels y emulación; Stage 2: layouts y SIMD)
- No tiene soporte nativo para tipos de datos complejos como estructuras de árbol o grafos
- La inferencia algebraica SimpleSub puede fallar con tipos que no admiten biunivocidad
- El rendimiento en entornos multi-hilo depende del hardware y puede variar entre plataformas
Perfil de infraestructura
Estimación inicial derivada del repositorio y de los servicios detectados.
Despliegue detectado
Qué señales reales de instalación hemos encontrado.
Para ejecutar Metaxu, se requiere Python 3.11+ y clang como compilador. Se recomienda usar el paquete de instalación uv para gestionar dependencias. El pipeline de desarrollo incluye pruebas unitarias (pytest), gate de ejecución (run_examples.py) y benchmarks alineados con la alineación del código. Para compilar kernels GPU a Metal, se ejecuta un script que genera un archivo .mx con los parámetros del kernel y el grid. Se recomienda ejecutar las pruebas completas antes de desplegar en producción para asegurar que todos los casos de uso son cubiertos.
Stack y dependencias
Componentes inferidos a partir de manifests, configuración y documentación.
Experiencia real de la comunidad
Ayuda a contrastar la estimación automática con instalaciones reales.
Todavía no hay datos comunitarios para este proyecto.