Risk is a purely functional, strongly typed language.

Roadmap

• Lexer
• Parser
• Semantic analysis
• Typechecker
• Codegen
• VM

Features

• Purely functional : no side effects, pattern matching, parametric polymorphism and so on.
• Portability : Risk is compiled in bytecode and interpreted by our virtual machine, so it can be run anywhere.
• Ligh : as Risk is not a very advanced language, its source code is extremely light.

Fib

fib :: Integer -> Integer
f 0 = 0
f 1 = 1
fib n = fib (n - 1) + fib (n - 2)

How To Use

git clone https://github.com/lokasku/risk
cargo run <file.rk>

Nix

nix run github:lokasku/risk <file.rk>