Main module

The main program

A Lambda-Flow program always contains one and only one main program.

main := lambda in : int. begin

inst is filter (in) extract o;

out output inst;

end;

FEATURES

Lambda-Flow is a context free language

it supports a short syntax or a long syntax (is is identical to :=)

here, main is a typed abstraction: in must have the int type

The main module has inputs and outputs. They are connected to the IOs ports of the implementation

The main inputs are always typed. Without this indication, LambdaFlow cannot find alone the type of the inputs. The other abstractions can be or not typed.

Compilation of filter and main