Оберон-клуб «ВЄДАsoft»

double foo(double a, double b) {
    Func<double, double> square = (double z) => { return z * z; };
    return square(a) + square(b);
}

static double foo(double a, double b) {
    double square(double z) { return z * z; }
    return square(a) + square(b);
}

fib m = let f a b n = if n == 0 then a else f b (a+b) (n-1)
        in f 0 1 m
 
fib = λm -> let f = λa -> λb -> λn -> if n == 0 then a else f b (a+b) (n-1)
            in f 0 1 m

ProcedureDeclaration  =  ProcedureHeading ";" ProcedureBody ident. 
ProcedureHeading  =  PROCEDURE identdef [FormalParameters]. 
ProcedureBody  =  DeclarationSequence [BEGIN StatementSequence] 
[RETURN expression] END. 
DeclarationSequence  =  [CONST {ConstDeclaration ";"}] 
 [TYPE {TypeDeclaration ";"}] [VAR {VariableDeclaration ";"}] 
 {ProcedureDeclaration ";"}.