This blog post discusses the semantics of mutability and immutability in programming languages, particularly focusing on a new type of mutable reference called 'shape-stable mutable reference' (!stable t). The author compares this...
About:
Jake Fecher is the author of the website antelang.org, which is related to the Ante programming language.
Website:
Subscribe to RSS:
The article presents a vision for a new programming language called Ante, which aims to bridge the gap between high-level and low-level programming. It discusses the characteristics of low-level languages like C, C++, Rust, and Zi...
This blog post discusses the concept of mutable references in programming languages, particularly focusing on the new type of reference called 'shape-stable mutable reference' (!stable t) in the Ante language. It contrasts this wi...
6.4A Vision for Future Low-Level Languages
2025-10-24 •
The author discusses the vision for a new programming language called Ante, which aims to bridge the gap between low-level and high-level programming. Ante is designed to allow programmers to write code in a high-level style while...
Algebraic effects are a useful feature in programming languages, allowing for user-defined control flow, cleaner APIs, and a substitute for globals. They also enable writing in a direct style, guaranteeing purity, and capability-b...
0Simplification Through Addition
2024-03-17 •
The text discusses the changes and additions made to the Ante programming language to simplify its usage. It introduces a new shared mode, effect variable ellision, auto derives, trait objects, overloading, and recursive unions. T...
0Algebraic Effects, Ownership, and Borrowing
2024-02-20 •
The text discusses the introduction of algebraic effects into a language with ownership and borrowing, particularly Ante. It covers the restrictions needed to introduce algebraic effects, borrowing, owned reference parameters, res...
The text discusses the challenges of achieving safe, aliasable mutability in low-level programming, particularly in Rust. It introduces Ante as a language aiming to address these challenges by allowing safe, aliasable mutability w...
0Roadmap
2022-06-25 •
The text is an in-depth roadmap of ante to show what is currently implemented in the compiler. It includes information on literals, operators, functions and control flow, types, modules, compiler-specific LLVM backend, language se...
0Ideas
2021-11-02 •
The text discusses potential features for the programming language 'ante', including overloading, compile-time code execution and macros, custom allocators, traits as types, method forwarding, and allocator optimizations.
0Language Tour
2021-03-01 •
Ante is a low-level impure functional programming language that is safe like rust but tries to be easier in general. It has literals for integers, floats, booleans, characters, and strings. It supports string interpolation, variab...