01 SEGURIDAD
Si es maliciosa, no compila
La seguridad no la vigila un anillo de hardware: la impone el compilador. Con efectos algebraicos, cada función declara sus capacidades — una pestaña no puede tocar el disco si no declara el efecto que lo permite — y todo se valida en tiempo de compilación.
- capabilities
- efectos algebraicos
- compile-time
02 MEMORIA
Cero GC, cero pausas
Sin recolector de basura y sin congelaciones. Ownership estricto con regiones de memoria (arenas) acopladas a las fibers del scheduler, y savepoint/rollback en O(1). La latencia deja de ser una lotería.
- ownership
- arenas
- fibers
- O(1)
03 LENGUAJE
Su propio compilador: Norbic
Norbic convierte el lenguaje del sistema en IR y de ahí a máquina: lexer, parser, tipos, lowering AST→IR, optimizador y emisión JIT (Cranelift) o AOT a binario nativo. Escrito en Rust, con 284/284 tests en verde.
- AST→IR
- JIT Cranelift
- AOT
- Rust