jarkonik / rocklang

JIT-compiled programming language. https://jarkonik.github.io/rocklang/

Rock

⚠️The project is at a very early stage, lots of things will not work.

JIT-compiled programming language.

Getting started

Linux

1. Copy and paste the following command in a shell:

sudo sh -c 'curl -L https://github.com/jarkonik/rocklang/releases/latest/download/rocklang-ubuntu-latest -o /usr/local/bin/rocklang && chmod +x /usr/local/bin/rocklang'

2. Create a file named main.rck in a directory of your choice, with following content:

print("Hello from rocklang")

3. While being in the same directory, that you've created the source file in, run rocklang main.rck from a shell.
4. You should see text Hello from rocklang printed in your terminal.

Windows

1. Download and run the installer.
2. Create a file named main.rck in a directory of your choice, with the following content:

print("Hello from rocklang")

3. While being in the same directory, that you've created the source file in, run rocklang main.rck from PowerShell or Command Prompt.
4. You should see text Hello from rocklang printed in your terminal.

MacOS

1. Copy and paste the following command in a shell:

sudo sh -c 'curl -L https://github.com/jarkonik/rocklang/releases/latest/download/rocklang-macos-latest -o /usr/local/bin/rocklang && chmod +x /usr/local/bin/rocklang'

2. Create a file named main.rck in a directory of your choice, with the following content:

print("Hello from rocklang")

3. While being in the same directory, that you've created the source file in, run rocklang main.rck from a shell.
4. You should see text Hello from rocklang printed in your terminal.

Example

Sample implementation of Sieve of Eratosthenes written in Rock

mem_set = (vec: vec, val: number, n: number): vec => {
	i = 0
	while i < n {
		vec_set(vec, i, val)
		i = i + 1
	}
	vec
}

sieve = (n: number): void => {
	v = vec_new()
	prime = mem_set(v, 1, n + 1)

	p = 2

	while p * p <= n {
		if vec_get(prime, p) == 1 {
			i = p * p
			while i <= n {
				vec_set(prime, i, 0)
				i = i + p
			}
		}

		p = p + 1
	}

	p = 2

	while p <= n {
		if vec_get(prime, p) == 1 {
			print(string(p))
			print("\n")
		}

		p = p + 1
	}
}

sieve(10)

Building from source

1. Install Rust compiler that supports Rust Edition 2021, along with cargo tool, in your favorite fashion.
2. Install llvm 13
3. Run cargo build to build binaries or cargo run examples/sieve.rck to run a sample program.

License

This project is licensed under the terms of the MIT license.

rocklang's Issues

Passing new vecs as args in one line doesnt work

f = (v: vec): void => {}
f(vecnew())

results in

Call parameter type does not match function signature!
  %vecnew = call double* inttoptr (i64 94312092171168 to double* ()*)()
 double**  call void @fun(double* %vecnew)
LLVM ERROR: Broken function found, compilation aborted!

Add REPL

Change .rc extension to .rck

.rc might be confusing as some Linux configuration files use it

Sign the windows installer

Dealloc vec and string when shadowing variable

a = vecnew()
a = vecnew()

and

a = string(123)
a = string(321)

should not cause memory leaks

Implment printing and string conversion in rust instead of using sprtinf/printf

should live in stdlib

LLVM JIT

Implement LLVM JIT

RUSTSEC-2020-0095: difference is unmaintained

difference is unmaintained

Details
Status	unmaintained
Package	difference
Version	2.0.0
URL	johannhof/difference.rs#45
Date	2020-12-20

The author of the difference crate is unresponsive.

Maintained alternatives:

• dissimilar

• similar

• treediff

• diffus

See advisory page for additional details.

Add installer

Passing lambdas with arguments and return type doesnt work

currently we only support passing lambdas with no arguments and no return value

Add FFI

Implement closures in the compiler

Unary operations are not implemented

Global variables cause LLVM errors when used multiple times in different functions

Add valgrind to test suite

Rename rocklang binary to rock

Some binary arithmetic operations are not implemented

Increase test coverage for parser

Copy vecs when assigning

not copying vecs when assigning causes double free, repro case:

mandelbrot = (): void => {
	acc = vecnew()
	if true {
		acc = acc
	}
}

mandelbrot()

Add webpage

Add online try-out page

Speed up CI

caching is needed

Allow underscores in names

Modulo operator not implemented in the compiler

All compiler tests should assert IR string

Add docs

Add proper error messages with line number etc.

Compiler should return errors instead of panicing

Dealloc when leaving scope

Break statement is not implemented in compiler

Increase test coverage for compiler

Make recursive functions work

Add generic syntax

Grouping expressions dont work

a = 1
b = (a * 1) + 2

returns

Error: SyntaxError { token: Asterisk }

Global string variables are not implemented

a = string(5) should work when in global scope