kovirobi / cpp-toy-interp Goto Github PK

$ nix shell . # If you have nix installed, otherwise make # sure you have
              # CMake, C compiler etc installed
nix-shell$ cmake -B build -G Ninja
nix-shell$ cmake --build build

$ ./build/tiny-interp
> let inc = fn x x + 1
fn x ( x ) + ( 1 )
> let x = 1
1
> inc x
2
> inc ( inc x )
3

> let Y = fn f { ( fn x { f ( fn a { ( x x ) a } ) } ) ( fn x { f ( fn a { ( x x ) a } ) } ) }
fn f { ( fn x { ( f ) ( fn a { ( ( x ) ( x ) ) ( a ) } ) } ) ( fn x { ( f ) ( fn a { ( ( x ) ( x ) ) ( a ) } ) } ) }

> let sum_n = Y ( fn sum_n { fn n { if n == 0 then 0 else n + sum_n ( n - 1 )  } } )
fn n { if ( ( n ) == ( 0 ) ) then ( 0 ) else ( ( n ) + ( ( sum_n ) ( ( n ) - ( 1 ) ) ) ) }

> sum_n 10
55