Un lenguaje de sistemas centrado en la iteración rápida, el control explícito de bajo nivel y una especificación de lenguaje lo suficientemente pequeña como para mantenerla en contexto.
Desarrollado por Aerun.ai.
use "io" fn main() -> result<i64, io_error> { println("Hello, world!")? result.ok(0) }
seed explora un diseño de lenguaje de sistemas compacto con compensaciones explícitas.
| Idioma | Compensación | seed |
|---|---|---|
| C/C++ | Rápido pero inseguro: errores de segmentación, desbordamientos de búfer, uso después de la liberación | Propiedad, recursos lineales, puntos de vista léxicos y explícitos inseguros. |
| Rust | Seguro y rápido, pero con una complejidad brutal: verificador de préstamos, vidas útiles, impuestos asíncronos | Sin sintaxis de por vida; Los movimientos, las vistas y la limpieza permanecen explícitos. |
| ir | Simple, pero GC se detiene, sin control de memoria, no apto para sistemas | Sin CG; limpieza determinista y efectos de asignación explícita |
| Pitón/JS | Productivo, pero de ejecución lenta, pesado, no apto para sistemas | Canalización nativa LLVM con líneas base medidas y específicas de la carga de trabajo |
| Java/C# | Robusto, pero detallado, VM pesado, calentamiento lento | Sin VM ni calentamiento; El perfil de tiempo de ejecución se selecciona por objetivo. |
| Todo lo anterior | LLM-hostile: especificaciones enormes, contexto lleno de casos extremos | Gramática compacta más una habilidad de agente versionada |
Los lenguajes existentes fueron diseñados antes del LLM era. seed está diseñado por ello — lo suficientemente simple como para que un LLM razonar en su conjunto, manteniendo al mismo tiempo el control explícito de los sistemas. el La habilidad registrada mantiene a los agentes en la misma sintaxis y contrato de propiedad. como compilador operativo.
Construido desde cero. Sin limitaciones externas.
LLVM IR es el backend canónico. El objetivo son bucles edit/check ajustados con compilaciones incrementales rápidas. Compilación a nivel de objeto para una iteración rápida.
Copiar escalares, recursos de solo movimiento, clonación explícita, vistas léxicas, linear t, limpieza exacta y sin GC.
Los perfiles alojados, independientes, de kernel y de tiempo de ejecución ninguno hacen visibles los servicios de plataforma y los límites inseguros.
Linux es primario; Windows x86-64 pasa bajo Vino, macOS x86-64 se ejecuta en Intel y otros objetivos publican sus datos exactos object/link/run nivel.
Cada construcción devuelve un valor. ADT, partido, ?T opcionales, propagación de resultados con ?. Simultaneidad estructurada con spawn.
Gramática compacta. Cabe en una única ventana contextual. Tanto los humanos como los agentes de IA pueden tener en mente todo el lenguaje.
252 Grove directorios de bibliotecas, 11 aplicaciones y 20 paquetes en etapa de compilación en el árbol actual. El recuento del directorio es inventario, no preparación.
Qué es operativo, qué es una base probada y qué viene después.
Fundación. G08 análisis portátil cerrado, ayuda, finalización, superficies, diseño e instantáneas. La propiedad interactiva del terminal/process sigue siendo la siguiente.
Cimentación/prototipo. Red y HTTP existen capas de políticas; el tiempo de ejecución web integrado y un verdadero window/renderer El ciclo de vida todavía está abierto.
Android porción operativa. Host JNI, marcos Canvas, entrada y trabajo de ejecución AVD para arm64/x86-64. Los widgets completos, la accesibilidad, la firma y iOS permanecen abiertos.
Activo v0.3. La base V3-G0-G13 está completa; V3-G14-G25 es propietaria de la expansión de producción local. La versión 0.2 P13 se renunció y no se informó como aprobada.
Prototipo. Existen paquetes de matemáticas, tiempo, diseño, entrada y UI. Los siguientes son el renderizador, el audio, los activos, el empaquetado y una línea base de juego ejecutable.
Fundación de metadatos. Existen tensores propios, conjuntos de datos, configuración de modelos y contratos de experimentos; Los núcleos numéricos, el entrenamiento y la ejecución de inferencias permanecen abiertos.
No node_modules inflar. No hay duplicados por proyecto.
Cada versión de cada biblioteca vive una vez bajo ~/.local/lib/seed. Diez proyectos que utilizan la misma versión de la biblioteca comparten una copia.
Enlace de compilación predeterminado contra .so archivos en el caché. seed build --static para binarios autónomos.
flock mutex + atómico rename(2). Dos proyectos en marcha seed install simultáneamente nunca corrompan la descarga de los demás.
seed uninstall Elimina los paquetes limpiamente. seed prune limpia el caché de origen. No hay gigabytes de departamentos muertos.
Una vez descargado, el caché sirve para todas las compilaciones sin acceso a la red. Bloquee los archivos y ancle las versiones exactas para que las compilaciones sean reproducibles sin conexión.
Cada versión almacenada en caché registra una suma de verificación en seed.lock. Se detecta manipulación o corrupción en cada compilación.
Conceptos familiares, cero ceremonia.
struct point { x: i32 y: i32 } fn point.distance_squared(other: point) -> i32 { let dx = self.x - other.x let dy = self.y - other.y dx * dx + dy * dy } fn main() -> i32 { let origin = point.{ x: 0, y: 0 } let target = point.{ x: 3, y: 4 } origin.distance_squared(target) }
use "task" fn main() -> i64 { let pair = channel_new<i32>(1).or_abort() let sender = pair.sender let receiver = pair.receiver spawn { let _done = sender.send(42) } let received = receiver.recv() match received.value { some(value) => if value == 42 { 0 } else { 1 } none => 2 } }
La omisión es diseño. Lo que omitimos define el idioma.
seed es actualmente propietario y está en versión preliminar. Los planes finales, precios y términos de soporte no se han enviado.
El compilador, la especificación, el libro, la habilidad del agente y la evidencia de entrada evolucionan juntos en torno a una implementación operativa.
El trabajo anterior a 1.0 se informa a través de puertas con nombre, niveles objetivo y líneas de base reproducibles. La disponibilidad del producto no se infiere de la presencia de la fuente.
Las pistas de lenguaje, CLI, TUI, web, móvil, Ridge, juegos, ML y sistemas publican su etapa actual y el próximo límite de evidencia.
El código que escribes es tuyo. Propiedad total. Sin restricciones. Sin regalías. Lo envías, lo posees, para siempre.
La concesión de licencias comerciales es la dirección actual. Disponibilidad concreta, Los compromisos de precios, compatibilidad y soporte se publicarán con la liberación que les proporciona.
seed se lanzará pronto. Deja tu correo electrónico y te avisaremos en el momento en que esté disponible.