NOVA

NOVA is an open source programming language created in 2026 by Hesara Perera.

NOVA is a constraint-native programming language unifying object-capability security and row-typed effect systems. Authority to touch the outside world (Runtime, Clock, Filesystem, Network) is an unforgeable token passed explicitly rather than granted by import, and a function's effects are checked as part of its type signature, so a closure cannot silently launder a captured capability into a context that expects a pure function. 0.2 research preview: the frontend (lexer, parser, Hindley-Milner type inference, effect and capability checking) and a reference interpreter are implemented and tested against a 49-case conformance suite, alongside a first-order native C backend for a subset of the language.

• Tags: programming language
• NOVA is developed on GitHub and has 7 stars
• NOVA is written in Python