$\color{almond}\textit{fluent}$

I'm still working on this project, under a new repo

a language that is:

• as fast as C
• as typesafe as ML
• as metaprogrammable as Lisp

installation

fluent is built with latest stable release of zig. once you have zig installed, just clone this repo and zig build.

get started

• the working spec and examples are helpful for getting a rough idea of what fluent looks and feels like.
• try out fluent repl.

what makes fluent unique?

a typical AOT compiler for a language like C is organized something like this:

graph TD;
    src[Source Code]--Parsing-->
    cst([CST])--Semantic Analysis-->
    ast([AST])--Lowering-->
    ir([Low-Level IR])--Codegen-->
    target[Target Output];

fluent achieves its superpowers through the use of its novel compiler architecture. instead of a linear compilation model, fluent code is lazily executed as needed to semantically analyze source code.

this means that no expression in fluent is special. every piece of code (including types) is available to be evaluated in the same language as the statically compiled runtime.

this is what fluent's compiler looks like:

graph TD;
    src[Source Code]--Parsing-->sexprs;
    sexprs([S-Expressions])--Semantic Analysis-->texprs;
    texprs([Typed Expressions])--Lowering-->ssa;
    ssa([Low-Level IR])--Compiling---->target[Target Output];
    ssa--Compiling-->bc;
    bc([Bytecode])--Execution-->bytes;
    bytes([Values])--Resurrection-->texprs;