Oak: An infinitely portable language powered by brainf*% inspired technology

栏目: IT技术 · 发布时间: 4年前

内容简介:An infinitely more portable alternative to the C programming language.For those of you that remember

Oak

An infinitely more portable alternative to the C programming language.

Oak: An infinitely portable language powered by brainf*% inspired technology

Why Oak?

For those of you that remember "free" , oak is essentially a more robust and high level version of that project. The goal of oak is to be as high level as possible in the frontend, but as small and low level as possible in the backend.

About the Author

I'm a freshly minted highschool graduate and freshman in college looking for work. If you enjoy my projects, consider supporting me by buying me a coffee!

Oak: An infinitely portable language powered by brainf*% inspired technology

Intermediate Representation

The key to oak's insane portability is its incredibly compact backend implementation. The code for Oak's backend can be expressed in under 100 lines of C. Such a small implementation is only possible because of the tiny instruction set of the intermediate representation. Oak's IR is only composed of 13 different instructions . That's on par with brainfuck !

The backend of oak functions very simply. Every instruction operates on a memory tape . This tape is essentially a static array of double-precision floats.

let x: num = 5.25;    ...     let p: # = &x;  `beginning of heap`
          |                             |                      |
          v                             v                      v
[0, 0, 0, 5.25, 0, 0, 0, 0, 0, 0, 0, 0, 3, 0, 0, 0, 0, 0, 0, ...]
                                                       ^
                                                       |
                          `current location of the stack pointer`

When a variable is defined, it's given a static location on the memory tape. Then, the compiler just replaces the variable with its address in the rest of the code!

Additionally, the memory tape functions as a stack and a heap . After space for all of the program's variables is assigned, the memory used for the stack begins. The stack grows and shrinks with data throughout the program: when two numbers are summed, for example, they are popped off of the stack and replaced with the result. Similarly, the heap grows and shrinks throughout the program. The heap, however, is used for dynamically allocated data: information with a memory footprint unknown at compile time .

Now that you understand how oak's backend fundamentally operates, here's the complete instruction set!

Instruction Side Effect
push(n: f64); Push a number onto the stack.
add(); Pop two numbers off of the stack, and push their sum.
subtract(); Pop two numbers off of the stack. Subtract the first from the second, and push the result.
multiply(); Pop two numbers off of the stack, and push their product.
divide(); Pop two numbers off of the stack. Divide the second by the first, and push the result.
allocate(); Pop a number off of the stack, and return a pointer to that number of free cells on the heap.
free(); Pop a number off of the stack, and go to where this number points in memory. Pop another number off of the stack, and free that many cells at this location in memory.
store(size: i32); Pop a number off of the stack, and go to where this number points in memory. Then, pop size numbers off of the stack. Store these numbers in reverse order at this location in memory.
load(size: i32); Pop a number off of the stack, and go to where this number points in memory. Then, push size number of consecutive memory cells onto the stack.
call(fn: i32); Call a user defined function by it's compiler assigned ID.
call_foreign_fn(name: String); Call a foreign function by its name in source.
begin_while(); Start a while loop. For each iteration, pop a number off of the stack. If the number is not zero, continue the loop.
end_while(); Mark the end of a while loop.

Using only these instructions, oak is able to implement even higher level abstractions than C can offer !!! That might not sound like much, but it's very powerful for a language this small.

Compilation Process

So how exactly does the oak compiler work?

  1. Flatten structures into their functions

    • Structures in oak work differently than in other languages. The objects themselves are only arrays of memory cells: they don't have any members or attributes. Structures exclusively retrieve their data by using methods to return the addresses of their "members" . These methods are then flattened into simple functions. So, putnumln(*bday.day) becomes putnumln(*Date::day(&bday)) . This is a pretty simple process.
  2. Calculate the size of every operation's type

    • Because of the structure of oak's intermediate representation, the type of every expression must be known for compilation to continue. The compiler combs over each expression and find's the size of its type. From here on, the representation of the code looks like this:
// `3` is the size of the structure on the stack
fn Date::new(month: 1, day: 1, year: 1) -> 3 {
    month; day; year
}
// self is a pointer to an item of size `3`
fn Date::day(self: &3) -> &1 { self + 1 }

fn main() -> 0 {
    let bday: 3 = Date::new(5, 14, 2002);
}
  1. Statically compute the program's memory footprint

    • After totalling all the statically allocated data, such as the overall memory size of variables and string literals, the program preemptively sets aside the proper amount of memory on the stack. This essentially means that the stack pointer is immediately moved to make room for all the data at the start of the program.
  2. Convert Oak expressions and statements into equivalent IR instructions

    • Most expressions are pretty straightforward: function calls simply push their arguments onto the stack in reverse order and call a function by it's ID, references to a variable just push their assigned location on the stack as a number, and so on. Method calls, however , are a bit tricky.

    There are many different circumstances where a method call is valid. Methods always take a pointer to the structure as an argument . However, an object that calls a method is not required to be a pointer . For example, the following code is valid: let bday: Date = Date::new(); bday.print(); . The variable bday is not a pointer, yet the method .print() can still be used. Here's why.

    When the compiler sees a flattened method call, it needs to find a way to transform the "instance expression" into a pointer. For variables, this is easy: just add a reference! For instance expressions that are already pointers, it's even easier: don't do anything! For any other kind of expression, though, it's a bit more verbose. The compiler sneaks in a hidden variable to store the expression, and then compiles the method call again using the variable as the instance expression. Pretty cool, right?

  3. Assemble the IR instructions for a target

    • Because oak's IR is so small, it can support several targets. Even better, adding a target is incredibly easy. In oak's crate, there's a trait named Target . If you implement each of the IR's instructions for your language using the Target trait, then oak can automatically compile all the way down to your new programming or assembly language! Yes, it's as easy as it sounds!

Syntax and Flags

The syntax of oak is heavily inspired by the Rust programming language.

// Flag to include another file in this directory
// If this file contains a "main" method, it will be overridden.
#[include("str.ok")]

// An optional flag to set the exact number of memory cells to use for the heap.
// This makes Oak an extremely suitable language for embedded development!
#[heap(128)]

// The `1` here is the size of the type on the stack
type bool(1) {
    fn true()  -> bool { 1 }
    fn false() -> bool { 0 }

    fn val(self: &bool) -> # { self }

    fn not(self: &bool) -> bool {
        if *self { bool::false() }
        else { bool::true() }
    }
}

fn main() {
    putnumln(square(5));

    let b: bool = bool::false();
    putboolln(b);
    // assign to b's "val" attribute
    b->val = 1;
    putboolln(b);

    b = bool::true();
    putboolln(b);
    
    let size: num = 32;
    // Allocate 32 cells
    let addr: &char = alloc(size);
    // Free those 32 cells
    free addr: size;
}


fn putbool(b: bool) {
    if b { putstr("true") }
    else { putstr("false") }
}

fn putboolln(b: bool) {
    putbool(b); putchar('\n');
}

// Functions can be ordered independently
fn square(x: num) -> num {
    putstr("Squaring the number '"); putnum(x); putcharln('\'');
    // The last statement in a body doesn't require brackets
    x * x
}

Sample Output

Now it's time to show you the fruits of my labor! Here's an example program.

fn fact(n: num) -> num {
    if n - 1 { n * fact(n-1) }
    else { 1 }
}

fn main() {
    prn!(fact(5))
}

Here is the same program compiled to C.

void fn0(machine* vm);
void fn1(machine* vm);

void fn0(machine* vm) {
    machine_push(vm, 0);
    machine_store(vm, 1);
    machine_push(vm, 0);
    machine_load(vm, 1);
    machine_push(vm, 1);
    machine_subtract(vm);
    machine_push(vm, 1);
    machine_store(vm, 1);
    machine_push(vm, 1);
    machine_push(vm, 2);
    machine_store(vm, 1);
    machine_push(vm, 1);
    machine_load(vm, 1);
    while (machine_pop(vm)) {
        machine_push(vm, 0);
        machine_load(vm, 1);
        machine_push(vm, 0);
        machine_load(vm, 1);
        machine_push(vm, 1);
        machine_subtract(vm);
        fn0(vm);
        machine_multiply(vm);
        machine_push(vm, 0);
        machine_push(vm, 1);
        machine_store(vm, 1);
        machine_push(vm, 0);
        machine_push(vm, 2);
        machine_store(vm, 1);
        machine_push(vm, 1);
        machine_load(vm, 1);
    }
    machine_push(vm, 2);
    machine_load(vm, 1);
    while (machine_pop(vm)) {
        machine_push(vm, 1);
        machine_push(vm, 0);
        machine_push(vm, 1);
        machine_store(vm, 1);
        machine_push(vm, 0);
        machine_push(vm, 2);
        machine_store(vm, 1);
        machine_push(vm, 2);
        machine_load(vm, 1);
    }
}

void fn1(machine* vm) {
    machine_push(vm, 5);
    fn0(vm);
    prn(vm);
}

int main() {
    machine *vm = machine_new(3, 515);
    fn1(vm);

    machine_drop(vm);
    return 0;
}

That's quite a bit of output code for such a small program. How did our code get turned into this? First, our fact function was renamed as fn0 .

Next, the function stores a number on the stack in the variable n :

// `n` is stored in address 0
// store a number in address 0
machine_push(vm, 0);
machine_store(vm, 1);

Then, compute n-1 by loading the value n , pushing the value 1 , and executing the subtract function.

// `n` is stored in address 0
// load a number from address 0
machine_push(vm, 0);
machine_load(vm, 1);

machine_push(vm, 1);
machine_subtract(vm);

Store the result of n-1 in a variable to use in the "if else" statement code, and 1 in another variable to determine if the "else" branch will run.

// store `n-1` in address 1
machine_push(vm, 1);
machine_store(vm, 1);
// store `1` in address 2
machine_push(vm, 1);
machine_push(vm, 2);
machine_store(vm, 1);

Then, load the condition variable for the if statement and start the conditional branch.

// load `n-1` off of the stack as the condition
machine_push(vm, 1);
machine_load(vm, 1);
// begin a while loop
while (machine_pop(vm)) {
    // load `n`
    machine_push(vm, 0);
    machine_load(vm, 1);

    // push `n-1` onto the stack
    machine_push(vm, 0);
    machine_load(vm, 1);
    machine_push(vm, 1);
    machine_subtract(vm);

    // call `fact` with `n-1`
    fn0(vm);

    // multiply the result of `fact(n-1)` with `n`
    machine_multiply(vm);

    // store zero in the while loop's condition variable
    // to stop the if statement's body from looping
    machine_push(vm, 0);
    machine_push(vm, 1);
    machine_store(vm, 1);

    // store zero in the "else" branch condition
    // so the else branch will not execute
    machine_push(vm, 0);
    machine_push(vm, 2);
    machine_store(vm, 1);

    // this loads the condition for the while loop, which
    // has been set to zero.
    machine_push(vm, 1);
    machine_load(vm, 1);
}
// end the if case

Then, check for the "else" case of the "if else" statement.

// load the "else" case condition variable.
// if the "if" case executed, then this is zero
machine_push(vm, 2);
machine_load(vm, 1);
// begin else case conditional branch
while (machine_pop(vm)) {
    // push 1 onto the stack
    machine_push(vm, 1);

    // store zero in the if case condition variable
    machine_push(vm, 0);
    machine_push(vm, 1);
    machine_store(vm, 1);


    // store zero in the else case condition variable
    machine_push(vm, 0);
    machine_push(vm, 2);
    machine_store(vm, 1);

    // this loads the condition for the while loop, which
    // has been set to zero.
    machine_push(vm, 2);
    machine_load(vm, 1);
}

Lastly, in the entry point, our fact function is called with the argument 5 .

void fn1(machine* vm) {
    machine_push(vm, 5);
    fn0(vm);
    // print the result of `fact(5)`
    prn(vm);
}

Usage

The best way to install Oak is with the Rust package manager.

# Also works for updating oakc
cargo install -f oakc

Then, oak files can be compiled with the oakc binary.

oak -c examples/hello_world.ok
main.exe

Dependencies

C backend- Any GCC compiler that supports C99

Go backend- Golang 1.14 compiler


以上就是本文的全部内容,希望本文的内容对大家的学习或者工作能带来一定的帮助,也希望大家多多支持 码农网

查看所有标签

猜你喜欢:

本站部分资源来源于网络,本站转载出于传递更多信息之目的,版权归原作者或者来源机构所有,如转载稿涉及版权问题,请联系我们

让创意更有黏性

让创意更有黏性

[美] 奇普·希思、[美] 丹·希思 / 姜奕晖 / 中信出版社 / 2014-1-8 / 49.00元

你或许相信在太空中唯一能看到的人工建筑就是万里长城,可乐能腐蚀人体骨骼,我们的大脑使用了10%;与此同时,你却记不得上周例会上领导的安排,昨天看过的那本书里写了什么,上次参加培训的主要内容…… 为什么? 这就引发出《让创意更有黏性》的核心问题:什么样的观点或创意具有强有力的黏性,能被他人牢牢记住? 国际知名行为心理学家希思兄弟根据大量的社会心理学研究案例,揭示了让创意或观点具有黏......一起来看看 《让创意更有黏性》 这本书的介绍吧!

JSON 在线解析
JSON 在线解析

在线 JSON 格式化工具

html转js在线工具
html转js在线工具

html转js在线工具

HEX HSV 转换工具
HEX HSV 转换工具

HEX HSV 互换工具