Vision
August 22, 2026 ยท View on GitHub
Neva is a general-purpose, statically typed, compiled dataflow language.
Its core value is not a single feature, but a combination of properties that work together:
- Hybrid programming model (text + visual tooling).
- Concurrency-first execution model.
- Strong static semantics and reliability.
- AI-native development ergonomics.
Core Principles
1) Hybrid Programming (Text + Visual)
Neva source remains a first-class text language, but the language model is also optimized for visual programming workflows.
This is not "visual-only" positioning. It is a unified language that supports both manual coding and visual graph workflows without semantic mismatch.
Text and visual graphs are equal views of one program, and developers should be able to use both. People naturally understand computation as a process that transforms and routes data; a graph makes that shape much faster to inspect than an instruction stream. Visual-only tools lose the strengths of text for versioning, review, and generation, so Neva combines the two rather than treating visual programming as an auxiliary feature.
2) Concurrency-First By Design
Neva is designed around explicit node/edge dataflow, where concurrent execution is default behavior rather than an advanced add-on.
Goal: make scalable multi-core utilization natural at language level, while preserving predictable reasoning about program behavior.
3) Reliability Through Static Semantics
Neva prioritizes compile-time guarantees:
- strict static typing;
- semantic analysis before runtime;
- explicit data movement contracts;
- minimized surface for unsafe/implicit behavior.
The language should be easy to analyze and hard to misuse accidentally.
4) AI-Native, Without Sacrificing Human Authoring
Neva should be ergonomic for both:
- human-written code (readable, maintainable, explicit);
- AI-generated code (predictable, structurally consistent, easy to validate).
Neva is not an AI-first language: its core remains general-purpose and must remain good for people writing code directly. But the same qualities that help people understand and validate programs also help coding agents: a small, opinionated core; explicit dataflow; strong static semantics; predictable compilation; and useful diagnostics. They provide a clear feedback loop: generate, compile, diagnose, and improve.
Modern coding agents can produce hundreds or thousands of lines in minutes, shifting the bottleneck from writing code to reviewing it. An engineer still needs to reject incorrect output and maintain a mental model of the system; in Neva, they can inspect the generated program's dataflow as a graph before reading its details. Visual inspection complements compilation, tests, and code review, but makes structural mistakes and the overall shape of a program much faster to understand.
AI-native direction must not degrade manual development quality. It also does not mean adding GenAI-specific language features to the core.
5) Applied GenAI as a Library Domain
Using AI to write software is distinct from building software that uses generative AI. Neva should be a strong option for the latter as well: for applications that integrate models, providers, tokens, context management, long-lived memory, and agent protocols.
The standard library may eventually provide carefully designed, idiomatic packages for this domain, alongside facilities such as networking, JSON, and I/O. No particular API is promised today; any additions must be designed deliberately and preserve Neva's general-purpose character.
Product/Application Tracks
Neva targets multiple practical domains where dataflow and concurrency are valuable:
- Web development (frontend/backend/fullstack workflows).
- Streaming and event-driven processing.
- Data transformation pipelines, including ETL-style workloads.
- Network/distributed and integration-heavy systems.
- ML-adjacent workloads where static contracts and pipelines matter.
These tracks are complementary. No single track defines Neva alone.