The Onyx Programming Language

use core { printf, iter }

main :: () {
    for i in 1 .. 10 {
        fact := factorial(i)
        printf("{}! = {}\n", i, fact)
    }
}

factorial :: (n: i32) -> i32 {
    return iter.as_iter(1 .. n)
        |> iter.fold(1, (x, y) => x * y)
}

use core { printf }

main :: () {
    // Inferred variable type
    x := 10

    // Function with entirely inferred types.
    change_value :: x => x   10

    // Onyx figures out the types of
    // `change_value` when you call it.
    printf("Value: {}.\n", change_value(x))
}

$ onyx build -V build.onyx

File search path:
	/home/brendan/.onyx
	.

Type table size: 151092 bytes.
Foreign blocks size: 8 bytes.
Tagged procedure size: 840 bytes.
Tagged global size: 8 bytes.

Statistics:
    Time taken: 47.000000 ms
    Processed 22144 lines
    Processed 115240 tokens 

Outputting to WASM file:   site.wasm

# Compile and run directly.
$ onyx run hello.onyx
Hello, World!

# This time target 'WASI'.
$ onyx build -r wasi -o hello.wasm hello.onyx

# Run using Wasmer.
$ wasmer run hello.wasm
Hello, World!

use core {*}

// Using #dyncall dynamically loads
// the library at runtime using dlopen().
#foreign #dyncall "libc.so" {
    write :: (fd: i32, msg: [] u8) -> i32 ---
}

main :: () {
    msg: [] u8 = "Hello, libc!"

    write(1, msg)
}