Lambda Calculus?
for 1.0.2 version
Main = { $call = { id = test } }
Event = {
id = test
$local = { x y }
$call = { id = MakeTrue }
$assign = { $local.x data = { $to_quoted_str2 = { $return_value = { } } } }
$call = { id = MakeFalse }
$assign = { $local.y data = { $to_quoted_str2 = { $return_value = { } } } }
$call = { id = AND x = { $local.x } y = { $local.y } } # x <- value($local.x)?
$print = { data = { $return_value = { } } }
$print = { enter = { \n } }
$_getch = { }
}
# BOOL
Event = { id = MakeTrue # x, xy, xyz ... # ' abc = "abd" ' : wrap "" or wrap data??
$return_data = { Event = { id = TRUE $parameter = { x y } $return = { $parameter.x } } }
}
Event = { id = MakeFalse
$return_data = { Event = { id = FALSE $parameter = { x y } $return = { $parameter.y } } }
}
Event = { id = AND $parameter = { x y }
$print = { data = { $parameter.y } }
$return = { $lambda = { $parameter.x $parameter.y $parameter.x } }
}
Event = { id = OR $parameter = { x y }
$return = { $lambda = { $parameter.x $parameter.x $parameter.y } }
}
Event = { id = NOT $parameter = { x }
$local = { False True }
$assign_local = { name = { $local.False } data = { $to_quoted_str2 = { $event_result = { id = { MakeFalse } } } } }
$assign_local = { name = { $local.True } data = { $to_quoted_str2 = { $event_result = { id = { MakeTrue } } } } }
$return = { $lambda = { $parameter.x $local.False $local.True } }
}
Last updated