Lambda Calculus?

for 1.0.2 version

It is Experimental!


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