Ostrin
Un lenguaje de programación construido desde primeros principios.
Ostrin es un proyecto experimental de lenguaje de programación para computación científica. Está implementado en Rust y reúne sintaxis, ejemplos, pruebas y herramientas de release en un proyecto de código abierto.
¿Por qué Ostrin?
El trabajo científico depende de cómo se representan, calculan y comparten las ideas. Ostrin explora el diseño de lenguajes como un espacio donde pueden encontrarse el razonamiento numérico, la reproducibilidad y las herramientas de desarrollo.
Principios de diseño
- Partir de conceptos claros de lenguaje y computación.
- Mantener los ejemplos cerca de la implementación.
- Hacer inspeccionables los releases y los inventarios de pruebas.
- Explorar ideas de computación científica sin presentar un sistema en desarrollo como una solución terminada.
Lo que funciona actualmente
- Implementación pública en Rust con código fuente y ejemplos públicos.
- Licencia MIT y release pública
v0.1.0. - Inventario de pruebas de la release estable y un inventario separado de desarrollo.
- Documentación pública, historial del repositorio y artefactos de release.
Lenguaje y tooling
El repositorio público describe Ostrin como un compilador e intérprete de validación de diseño para computación científica. Su dirección documentada incluye:
- cantidades físicas como tipos, con comprobaciones dimensionales antes de ejecutar;
- estado inmutable por defecto, registros, enumeraciones, genéricos, traits y pattern matching;
- un compilador, checker e intérprete implementados en Rust;
- scheduling cooperativo determinista con soporte opcional para hilos nativos;
- diagnósticos JSON Lines e índices del compilador para tooling de editores;
- tooling LSP y debug adapter, además de una extensión para VS Code;
- un backend nativo experimental a C y un workflow reproducible de release para WASI.
Estas son capacidades y descripciones reportadas por el repositorio público. No son validación científica independiente, afirmaciones de preparación para producción ni resultados de benchmark. Consulta el README de Ostrin y la documentación de diseño como registro técnico canónico.
Herramientas y documentación
La documentación y los ejemplos canónicos están en el sitio del proyecto y el repositorio. Esta página ofrece contexto y enlaza esas fuentes.
Estado y validación
Experimental · público · código abierto
Implementación: Rust
Licencia: MIT
Release estable: v0.1.0
| Línea | Inventario de pruebas | Significado |
|---|---|---|
Estable v0.1.0 |
208 | 200 de integración/ejemplos, 2 unitarias y 6 diferenciales en el release etiquetado |
Desarrollo main |
246 | 238 de integración, 2 unitarias y 6 diferenciales en el inventario actual |
Snapshot de desarrollo verificado: 28 de septiembre de 2026, commit d22c54750710d18be95932bce40c7777fe8d4d3a. El conteo de main se lee del README público fijado al commit y puede cambiar conforme avance el desarrollo. Los inventarios de 208 y 246 pruebas describen la suite propia del repositorio. No son resultados de benchmark, validación científica independiente, afirmaciones de preparación para producción ni evidencia de adopción externa.
Historial de releases
| Referencia | Estado | Frontera de evidencia |
|---|---|---|
v0.1.0 |
Registro de release público estable | 208 pruebas en el release etiquetado; release en GitHub |
Snapshot de main |
Línea de desarrollo | 246 pruebas en el commit fechado arriba; la cifra es dinámica y puede cambiar |
Hoja de ruta
- Documentar un conjunto enfocado de ejemplos de lenguaje reproducibles.
- Definir un protocolo de benchmarks antes de publicar comparaciones de rendimiento.
- Añadir metadatos de citación y archivar una versión importante.
- Considerar un informe técnico o una publicación de software después de construir un registro de validación maduro.
Enlaces
El proyecto se presenta como software experimental y crecerá mediante releases, documentación y futuras notas de diseño.