A tour of the language

Hive

Hive is a compiled, memory-managed language with no runtime exceptions. There is no null, nothing is thrown, and every vector index is proved in bounds before the program runs — what other languages leave to run time is settled at compile time instead. A failure is a value you open, not something that sails past you.This very page is the proof: it is served by an HTTP server written in Hive, and its interface below the code samples is built entirely out of hive.ui views. There is no framework underneath either of them — both are the standard library, and neither is a dependency this program had to ask for.

Start the tour →Contents

Download the compiler View the repository

74 features, one at a time

No runtime exceptions — no null, nothing thrown, and every index proved before the program runs

Small enough to learn in a day — this tour is the whole language, one feature at a time

Built for distributed systems from the start — a service is addressed the same way on this machine or another

Secure by default — TLS between nodes, native encryption and JWTs, SQL values always bound as parameters, and nothing that reaches a shell

Testing and cost analysis are the compiler's — coverage with no framework, and a report on what a program will cost before it runs

One executable, and a standard library with HTTP, WebSockets, SQL, crypto, a UI and distributed actors in it