LTstrange/SirenLanguage

A functional programming language designed to address the challenges of parallel and heterogeneous computing.

Siren Language

This a simple programming language called Siren Language.

It aims to gracefully address parallel and heterogeneous computing challenges using the power of a high-order type system.

features

• REPL
• Datatypes:
  • int, bool, fn, unit
• Arithmetic expressions:
  • + - * /
• compare operators:
  • == != < > <= >=
• let and set statements
• Functions:
  • They are first-class, meaning they can be treated as values and passed as arguments, returned from other functions, and assigned to variables.
  • All functions are pure from the outside, having no side effects on the external environment where they are called.
  • But, functions may have side effects internally. Like perform I/O operations.
  • Recursion is supported.

example

REPL: cargo r

> let a = 123 - 12 / 4
> a
120
> let b = (-a + 42) / 2
> b
-39
> !false
true
> true
true

File interpret: cargo r examples/fib.siren:

let fib = fn (n) {
    let ans = 0;
    if n <= 1 {
        return 1;
    } else {
        ans = fib(n - 1) + fib(n - 2);
    };
    ans
};

let a = fib(5);

output:

Content:
let fib = fn (n) {
    let ans = 0;
    if n <= 1 {
        return 1;
    } else {
        ans = fib(n - 1) + fib(n - 2);
    };
    ans
};

let a = fib(5);
Done.
Env:
=========================
Stack 0:
a = 8
fib = fn (n) { let ans = 0; expr if (n <= 1) { [return 1] } else { [set ans = (fib(n - 1) + fib(n - 2))] }; return ans; }
=========================

Todolist

1. REPL

• datatype: int, fn, bool, unit
  • tuple
  • array
  • float
  • string
• expressions:
  • Infix: + - * / == != < <= > >=
  • Prefix: - !
• variables(identifier): abc foo bar

2. interpreter for file

• variable type system
  • type annotations
    • type parser
  • type checking
• fn (function)
  • closure
• if expression
• for loop
• basic struct and enum
• input output