Craft: A Programming Language

Wed, 21 Oct 2026 17:00:00 +0000

A modern programming language that supports the most used paradigms, and has all the features you need to write elegant solutions.

Features

Multiplatform
Syntax inspired by C#
Proof, parallelism and speed inspired by Bend

Roadmap

Develop a minimal version
Develop and test more features on top of the minimal version
Once we have a first stable version, start to develop simple programs in it
Develop more features, as we test and identify requirements
Build more complex programs and develop the language as we go
After having a stable programming language, with complex projects written on it, create a compiler written in Craft itself
Build an Operating System using the language

Technology stack

A language is two things: the design people write in, and the compiler and runtime that make it run. The stack is mostly the second, but three design choices shape it so much that they come first: how parallelism works, how memory is managed, and what “proof” means. The background on how a compiler is structured is in Compilers, and the way C# itself runs is in How C# Runs.

What Is a Compiler? How Source Code Becomes a Running Program

Tue, 20 Oct 2026 16:00:00 +0000

What Is Programming? ended with high-level languages taking over from machine code, and What Is a Processor? described the machine instructions a CPU actually runs. Between the two sits the compiler: the program that turns one into the other. This article explains what a compiler is, where compilers came from, how each of their phases works, how a C file becomes an executable on a real system, and how to build a small compiler of your own. Every compiler output shown here was produced by running the tools on Ubuntu 22.04 with GCC 11.4 and Python 3.10, not written by hand.

Programming Languages on Artur Rios Lab

Craft: A Programming Language

Features

Roadmap

Technology stack

What Is a Compiler? How Source Code Becomes a Running Program