Ante

A Vision for Future Low-Level Languages I've had this vision in my head for quite a while now on what code written in a low-level language could look like. This vision has shaped my design of Ante and although I've alluded to it before, I've never explici

Introduction In my first blog post I introduced &shared mut references as a way to achieve safe, shared mutability in a language with unboxed types. For more information on those, start with the first blog post. As a brief summary though, &shared mut refe

Why Algebraic Effects Algebraic effects1 (a.k.a. effect handlers) are a very useful up-and-coming feature that I personally think will see a huge surge in popularity in the programming languages of tomorrow. They're one of the core features of Ante, as we

Ante's goal was always to be a slightly higher level language than Rust. I always imagined Ante to fill this gap in language design between higher-level garbage collected languages like Java, Python, and Haskell, and lower level non-garbage collected lang

Introduction Algebraic Effects are a useful abstraction for reasoning about effectful programs by letting us leave the interpretation of these effects to callers. However, most existing literature discusses these in the context of a pure functional langua

This is part of Ante's goal to loosen restrictions on low-level programming while remaining fast, memory-safe, and thread-safe. Update: The syntax of Ante code snippets has been updated to reflect Ante's current syntax. Background When writing low-level,

Ante is a low-level impure functional programming language. It is low-level in the sense that types are not boxed by default and programmers can still delve down to optimize allocation/representation of memory if desired. A central goal of ante however, i