Facilis - A Low Level Functional Language
CSharpIsGud (636)

Facilis is a strongly typed functional language that aims to be low level. Facilis uses a hand-written recursive descent parser made with love.

Factorial Example

impure foreign putchar(c of u8) -> void
impure foreign tostr(num of void*) -> string

impure write(str of string, start of i32) -> void {

	if start != str.length() {
		write(str, start + 1)

pure fact(i of i32) -> i32 {
	if i == 1 {
		return i

	return i * fact(i - 1)

impure main() -> i32 {
    write(tostr(fact(6)), 0)

Demo: https://repl.it/@Facilislang/FacilisDemo#README.md
^ Has a user/password login program loaded by default. Read the README!

Source: https://repl.it/@Facilislang/Facilis
^ 2072 lines of C++!

@CSharpIsGud @Subarashi @xxpertHacker

You are viewing a single comment. View All
fuzzyastrocat (1195)

@CSharpIsGud True. But now what happens if other functions refer to the original object? You could end up with an impurity leak in pure functions. To do it correctly, you'd pretty much have to create a new object copy every time, but that leads to obvious problems.

So... extremely well-made garbage collector I guess?