About:

Jake Fecher is the author of the website antelang.org, which is related to the Ante programming language.

Website:

Subscribe to RSS:
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...
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...
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...
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...
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...