MetsuOS

Construyendo la plena inclusión a través del videojuego

Curso e introducción técnica sobre MCL (MetsuOS Context Language) 🟡③

Curso e introducción técnica sobre MCL (MetsuOS Context Language)

KB

MCL (MetsuOS Context Language) es un lenguaje de programación de alto nivel con sintaxis natural que convierte el contexto en una entidad de primera clase a lo largo de todo el ciclo de vida del software: desde el diseño y la compilación hasta la ejecución.

Su propósito principal es resolver un problema muy real y persistente en la ingeniería de software actual: la dispersión y fragilidad del código que depende de condiciones contextuales (entorno, hardware, usuario, estado del sistema, modo operativo, restricciones en tiempo real, etc.). En vez de llenar el código de if, switch o decoradores por todas partes, MCL permite definir variaciones de comportamiento de forma limpia y modular mediante layers (capas contextuales). Estas capas se activan, desactivan y combinan dinámicamente, tanto en tiempo de compilación como en tiempo de ejecución.

Objetivo principal

Crear un paradigma y una herramienta universal que permita escribir una única especificación en MCL y generar código ejecutable para cualquier combinación de:

Conceptos centrales de MCL

Comparación técnica con ContextL y el paradigma COP clásico

Aspecto ContextL (Common Lisp, 2005) Paradigma COP clásico (Hirschfeld et al.) MCL (MetsuOS Context Language)
Objetivo principal Demostrar el paradigma en Lisp Convertir el contexto en abstracción de primera clase Lenguaje universal con contexto como elemento central en diseño, compilación y ejecución
Nivel Extensión de CLOS Paradigma (independiente de lenguaje) Lenguaje completo + IR neutral + múltiples backends
Sintaxis Lisp + operadores específicos No define sintaxis Pseudocódigo natural legible en español e inglés
Activación de layers Ámbito dinámico (runtime) Principalmente en tiempo de ejecución Tiempo de compilación + ejecución + reglas declarativas
Composición de layers Orden de activación Before/after/around Explícita + precedencia declarativa + optimización en compilación
Variables contextuales Layered slots (muy potentes) Sí Con shadowing, precedencia y ámbito definido en MCL
Partial methods Muy maduro Núcleo del paradigma Partial methods + sustitución completa
Multi-plataforma Solo Common Lisp Depende de cada implementación Universal: Python, C, Rust, JS, WASM, ASM desde un mismo .mcl
Compilación contextual No No Sí (genera variantes según --context mobile,low_battery)
Sobrecarga en tiempo de ejecución Baja (aprovecha el MOP) Variable Optimizada: eliminación de código muerto contextual
Self-hosting / bootstrap No aplica No aplica Sí (primer compilador en Python → self-hosted en MCL)
Fortaleza principal Reflexión extrema Modularización limpia Universalidad + compilación contextual + sintaxis natural

Conclusión de la comparación: ContextL fue una prueba de concepto excelente dentro de Lisp. El paradigma COP clásico sentó las bases teóricas. MCL no pretende ser otra implementación más, sino la evolución práctica y universal del paradigma, pensada para sistemas reales, multiplataforma y de alto rendimiento, con compilación contextual y bootstrap completo incorporados desde el diseño.

Arquitectura general del ecosistema MCL

flowchart LR
    MCL["Código fuente\n**.mcl**"] 
    Specs["Especificaciones de contexto\n(máquina, hardware, entorno, usuario...)"]
    Parser["Analizador + Parser"]
    IR["MCL-IR\n(AST enriquecido con contexto)"]
    ContextEngine["Motor de Resolución de Contextos\n(composición de layers, partial methods, variables contextuales)"]
    BackendPy["Backend Python\n+ Runtime Py"]
    BackendC["Backend C99\n+ Runtime C"]
    BackendRust["Backend Rust\n+ Runtime Rust"]
    BackendJS["Backend JavaScript\n+ Runtime JS"]
    BackendWASM["Backend WebAssembly"]
    BackendASM["Backend ASM (x86/ARM)"]
    OutputPy["Código Python ejecutable\n+ Runtime"]
    OutputC["Código C → Binario nativo"]
    OutputRust["Código Rust → Binario"]
    OutputJS["Código JavaScript"]
    OutputWASM["Módulo WebAssembly"]

    MCL --> Parser
    Specs --> Parser
    Parser --> IR
    IR --> ContextEngine
    ContextEngine --> BackendPy
    ContextEngine --> BackendC
    ContextEngine --> BackendRust
    ContextEngine --> BackendJS
    ContextEngine --> BackendWASM
    ContextEngine --> BackendASM

    BackendPy --> OutputPy
    BackendC --> OutputC
    BackendRust --> OutputRust
    BackendJS --> OutputJS
    BackendWASM --> OutputWASM

    subgraph Bootstrap ["Bootstrap y Auto-compilación"]
        PyCompiler["Compilador inicial\n(en Python)"]
        SelfHost["Compilador MCL escrito en MCL\n(self-hosted)"]
    end
    PyCompiler -.-> Parser
    ContextEngine -.-> SelfHost

Características técnicas clave

Alcance del proyecto

MCL constituye la base técnica de la capa de programación contextual de MetsuOS. Gracias a él, tanto el sistema operativo como sus aplicaciones podrán adaptarse de forma nativa y eficiente a cualquier contexto sin perder claridad ni rendimiento.

Contenidos del Curso

«MCL – MetsuOS Context Language:
Construyendo el Paradigma Universal de Programación Orientada a Contextos
Desde el bootstrap en Python hasta la auto-compilación total»

Módulo 0: Fundación y Preparación del Proyecto

0.1 Motivación real: por qué PyContext, COP clásico y los LLMs actuales no bastan
0.2 Visión completa del ecosistema MCL
0.3 Definición formal y precisa de «contexto» en MCL
0.4 Arquitectura del compilador bootstrap (Python) y plan de self-hosting
0.5 Estructura de repositorio y herramientas base
0.6 Convenciones de nombrado, versiones y licencia
0.7 Plan de desarrollo paso a paso

Módulo 1: Paradigma Context-Oriented Programming en Profundidad

1.1 Historia real y papers fundamentales
1.2 Los cuatro pilares de COP
1.3 Diferencias con DCI, Context-Aware Computing y Context Engineering
1.4 El «entorno» como un contexto más
1.5 Reglas de composición, precedencia y desactivación
1.6 Ejemplos reales en Lisp, Smalltalk, Java, Kotlin y Python
1.7 Ventajas y limitaciones conocidas

Módulo 2: Diseño del Lenguaje MCL

2.1 Objetivos de diseño
2.2 Gramática completa (BNF + ejemplos)
2.3 Sintaxis natural y pseudocódigo genérico
2.4 Palabras clave y constructores
2.5 Sistema de contextos, activación y composición
2.6 Variables contextuales
2.7 Especificación del formato intermedio MCL-IR
2.8 Representación de cualquier nivel de abstracción

Módulo 3: "I"mplementación del Compilador Bootstrap (en Python)

3.1 Arquitectura general
3.2 Parser de archivos .mcl
3.3 Motor de resolución de contextos
3.4 Generación de código Python
3.5 CLI completa
3.6 Errores y diagnóstico contextual
3.7 Tests exhaustivos
3.8 Optimizaciones iniciales

Módulo 4: Motor Universal de Contextos (Runtime MCL)

4.1 Diseño del runtime
4.2 Layers y partial methods
4.3 Variables contextuales con precedencia
4.4 Activación dinámica vs estática
4.5 Bindings para Python, C, Rust y JavaScript
4.6 Optimizaciones de rendimiento
4.7 Inclusión automática del runtime

Módulo 5: Uso Avanzado y Patrones en MCL

5.1 Patrones comunes (logging adaptativo, algoritmos hardware-aware, etc.)
5.2 Inyección de contexto, herencia de layers y despliegue multi-contexto
5.3 Depuración contextual
5.4 Integración con MetsuOS
5.5 Migración automática de código existente
5.6 Ejemplos reales que construiremos juntos

Módulo 6: Bootstrap Avanzado y Auto-Compilación Total

6.1 Compilar el compilador con MCL (self-hosting)
6.2 Generación automática de compiladores para nuevos targets
6.3 Cadena completa .mcl → C → binario nativo
6.4 Versionado y compatibilidad
6.5 Distribución y empaquetado
6.6 Hoja de ruta futura (GPU, FPGA, quantum…)

Anexos

A. Glosario oficial de MCL
B. Plantillas de archivos .mcl
C. Suite completa de tests
D. Ejemplos reales para MetsuOS
E. Comparativas de rendimiento
F. Referencias bibliográficas

Referencias bibliográficas que apoyan este contenido

  1. Hirschfeld, R., Costanza, P. y Nierstrasz, O. (2008). Context-oriented Programming. Journal of Object Technology, 7(3), 125-151. 🟡③🌐 .- Artículo fundacional que presenta la Programación Orientada al Contexto (COP) como técnica para adaptar dinámicamente el comportamiento del software.
  2. Costanza, P. y Hirschfeld, R. (2005). Language Constructs for Context-oriented Programming: An Overview of ContextL. En Proceedings of the 2005 Symposium on Dynamic Languages (DLS ’05). ACM. 🟡③🌐 .- Descripción técnica de ContextL, la primera extensión de lenguaje diseñada específicamente para soportar los conceptos de la programación orientada al contexto.
  3. von Löwis, M., Denker, M. y Nierstrasz, O. (2007). Context-Oriented Programming: Beyond Layers. En Proceedings of the 2007 Symposium on Dynamic Languages. ACM. 🟡③🌐 .- Investigación sobre mecanismos de composición en COP que van más allá del concepto de capas, explorando adaptaciones más granulares y dinámicas.
  4. Appeltauer, M., Hirschfeld, R., Haupt, M., Lincke, J. y Perscheid, M. (2009). A Comparison of Context-oriented Programming Languages. En COP ’09. ACM. 🟡③🌐 .- Estudio comparativo de diversas implementaciones de lenguajes orientados al contexto, evaluando sus abstracciones, diseño y rendimiento relativo.
  5. Karpathy, A. (2025). Deep Dive into LLMs like ChatGPT (minuto 56:40 aprox., donde explica la ingeniería de contexto como el nuevo núcleo de la computación con LLMs). 🟡③🌐 .- Vídeo educativo detallado donde se analiza el funcionamiento interno de los LLM y la importancia estratégica de la gestión del contexto en la computación moderna.

Referencias bibliográficas que refutan o cuestionan este contenido

  1. Salvaneschi, G., Ghezzi, C. y Pradella, M. (2012). Context-oriented programming: a software engineering perspective. Journal of Systems and Software (o versión completa en PDF). 🟡③🌐 .- Análisis exhaustivo del paradigma COP desde la ingeniería de software, identificando retos en adopción, rendimiento y herramientas de verificación.
  2. You, K. et al. (2025). The Impact of Context-Oriented Programming on Declarative UI Design in React. 🟡③🌐 .- Estudio sobre la integración de COP en React que revela beneficios limitados (15-20% de componentes) y un incremento en la complejidad semántica y estructural.
  3. Appeltauer et al. (2009) – misma referencia anterior, sección de evaluación de rendimiento. 🟡③🌐 .- Evaluación técnica que cuantifica la sobrecarga de rendimiento introducida por las construcciones de COP en comparación con sus lenguajes base respectivos.

One More Thing

Un escenario de retrocomputación del siglo 24

¡Desbloquea el poder de MetsuOS y descubre que la privacidad y la seguridad son la clave para desencadenar tu verdadero potencial en línea!

Contenido registrado en Safe Creative

Logo Safe Creative
¡Usa el código de promocional 7ZYM4Z y ahorrate unos eurillos en tu suscripcion de Safe Creative!

MetsuOS Needs You!

Apoyanos en este proyecto difundiendolo en tus redes, o mejor, haznos una donación a la cuenta paypal para poder dedicar más tiempo y recursos a el. No olvides comentarnos que parete te interesa más junto con tu donación.

En este momento, además de mantener los servicios, estoy centrado en crear la siguiente iteración del software que me permite hacer todo esto y creando una biblioteca personal física para poder contrastar contenido.

Sobre el sistema de validez de un contenido en MetsuOS

Empezando a incorporar los niveles de validación de un contenido (también llamada sabiduría o niveles de conocimiento) ⚫🔴 🟡 🟢 🔵⚪ ¿Qué són?

Sobre la categorización de los tipos de conocimiento

La Metsukeología (de Metsuke vision global y logos conocimiento) es la ciencia que estudia el conocimiento como un conjunto potencial de conocimiento del que podemos obtener, procesar o percibir partes concretas dentro de un marco contextual específico, y cuyo contexto general real está muy por encima de lo que somos capaces, como especie, de percibir, procesar e integrar de forma completa (definición en progreso).

La Metsucología (de Metsu aniquilación - en este contexto en forma de colapso - , logos conocimiento) es la ciencia que estudia como extraemos verdades percibidas - colapsadas - como conocimiento desde nuestra perspectiva real (tanto epistemológico como gnoseológico) al tomar una parte específica del conocimiento metsukeológico potencial enmarcado en un contexto concreto, obligando a colapsar el conocimiento potencial en conocimiento específico (definición en progreso).

Mas sobre el contexto

DISCLAIMER: Mi consideración de anticientífico respecto al consenso científico es una hipotesis de trabajo propia, que supone que toda asignación de validez, incluso aquella derivada de la conclusión por acumulación de evidencia NO debe ser supeditada a debate, ni acuerdo, debe ser algo probabilistico sin intervención del ego humano. Podría estar equivocado y, en este punto, es donde se aplicaría entonces ese mismo consenso que ahora considero no valido (incluso dañino)

Existen indicadores para algunas cuestiones adicoinales como los siguientes:

Cuando hablamos de un contenido que incluye un texto que hace referencia a otro.

También aplicaremos el Sistema de fiabilidad de fuentes y credibilidad de contenidos de la OTAN 🔴②, este sistema incluye una valoración de la fiabilidad de la fuente de A a F (siendo A la de mayor fiabilidad) y una varloración de credibilidad del contenido de 1 a 6 (siendo 1 la mayor credibilidad).

En MetsuOS la agregaremos al final uniendo amos valores como si fuera una coordenada. Por ejemplo: ⚫①-D4 o 🟡③-B2. Esto ayudarña a contextualizar la información sobre la solidez del conocimiento al que se hace referencia en cada momento.

Hay que tener en cuenta que, cuando hay elementos subjetivos o parcialmente subjetivos, el punto de referencia seré yo mismo. Quizá más adelante pueda objetivizar esto más (seria lo deseable), pero en tanto no tenga herramientas que me lo permitan, debo ceñirme al principio de honestidar intelectual, y esperar que mis sesgos dañen lo menos posible la información (en parte este es el nudo gordiano que pretendo resolver, y por ello es dificil resolverlo a priori).

Así de forma resumida, podríamos decir que esta definición es nivel 🔴② (Rojo2 xD) ¿Crees que me dejo algo? Si es así por favor ayudame a mejorarlo contactándome a través de X (Twitter) en mi cuenta, @metsuke 🌐

Consulta la versión completa de la descripcion en ⚫🔴🟡🟢🔵⚪ (🔴②) Un poco más de detalle