An ML derivative written in rust.

git clone https://github.com/shifterbit/mloxide.git
cd mloxide

cargo build --release # omit --release for debug build
./target/release/mloxide <path to source fille> # ./target/debug/mloxide for debug builds

Install Nix

Make sure flakes are enabled

nix build
./result/bin/mloxide <path to source file>

2 + 2 == 4

if (2 + 2) == 4 
then 2 
else 9

val x = 2;
val y = 10;
let
  val z = y + 1;
in if z <= x
   then x + y
   else y + z

• Ints
• Booleans
• Strings
• Lists
• Tuples
• Let Expressions
• Arithmetic Expressions
• Equality Expressions
• Grouping Expressions
• Comparison
• If Expressions
• Assignment
  • Global Variables
  • Local Variables
• Pattern Matching
• Type Checking
• Type System
  • Type Inference
  • Sum Types
  • Type Declarations
• Proper Error Handling and Reporting
  • Syntax Errors
    • Error Reporting
    • Error Recovery
  • Type Errors
    • Error Reporting
• Module System/Imports