Facilis - A Low Level Functional Language
CSharpIsGud (835)

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 (1504)

@DynamicSquid That is the general consensus, yes. Some people consider compiling to C (or a C-like language such as C++, C--) a "true" compiler as well, but others don't. (I do, since if you compile to C the C just compiles to x86, so you're basically compiling to x86 with two steps. If you don't consider this a true compiler, then Haskell is not compiled.)