checkCondition() : bool
    def a = this.взятьОткудаТоМассив
    a.Exists(_ & 0b1000 != 0)

module IsBitSetExt
    // в Nemerle есть ограниченное неявное приведение целочисленных типов
    // поэтому определяем только две перегрузки - для типов со знаком и без
    public IsBitSet(this val : ulong, n : int) : bool
        val & (1u << n) != 0
    public IsBitSet(this val : long, n : int) : bool
        val & (1 << n) != 0

checkCondition() : bool
    def a = this.взятьОткудаТоМассив
    a.Exists(_.IsBitSet(3))

bool checkCondition()
{
    int[] a = this.взятьОткудаТоМассив; 
    return Array.Exists(a, delegate bool(int x){ return (x & 8) != 0; })
}

bool checkCondition()
{
    var a = this.взятьОткудаТоМассив;
    return Array.Exists(a, x => x.IsBitSet(3));
}

check
  |a prevItem|
  a:= self getDataArray.
  a do: [ :each| 
    (prevItem<>nil) ifTrue: [
      (prevItem*2=each) ifTrue: [^true]. "условие выполнилось прерываем обход и выходим из функции"
    ]. 
    prevItem:=each.
  ].
  ^false

P>Ну некотрые считают что ST, это нечитабельные "шифрограммы".

def x = { true };

P>А как сейчас будет на Nemerle, C# 2.0 C# 3.0

using System.Convert
// class Foobar
// ...
check() : bool
    mutable prevN
    DataArray.Exists(n =>
        if (prevN != null && (ToDouble(n) == ToDouble(prevN) * 2.0))
            true
        else { prevN = n; false })

check() : bool
    mutable prevN
    DataArray.Exists(n => (prevN != null && (ToDouble(n) == ToDouble(prevN) * 2.0)) || { prevN = n; false })

 
DataArray.Exists(n => (prevN && (n == prevN * 2)) || { prevN = n; false })

check() : bool
    def chk(_l)
        | x :: y :: _ when ToDouble(y) == ToDouble(x) * 2.0 => true
        | _ :: rest => chk(rest)
        | [] => false
    chk(DataArray.ToList())

check(data : list[double]) : bool
    | x :: y :: _ when x == y * 2.0 => true
    | _ :: rest => check(rest)
    | [] => false

module ExistsSeqExt
    // для двух значений
    public ExistsSeq[T](this a : list[T], f : T*T->bool) : bool
        match(a)
            | x :: y :: _ when f(x,y) => true
            | _ :: rest => ExistsSeq(rest, f)
            | _ => false

    // для трех значений
    public ExistsSeq[T](this a : list[T], f : T*T*T->bool) : bool
        match(a)
            | x :: y :: z :: _ when f(x,y,z) => true
            | _ :: rest => ExistsSeq(rest, f)
            | _ => false

[1.0,2.0,3.0].ExistsSeq((x,y) => y == x * 2.0) // true
[1,2,3].ExistsSeq((x,y) => x == y) // false
[2,6,5,4,1].ExistsSeq((x,y,z) => z == y-1 && y == x-1) // true

VD>usung System.Console;

VD>mutable x = 5;
VD>def add(a, b) { a + b }
VD>def addX(c) { add(c, x); }

VD>WriteLine(addX(2));
VD>

program Sample;

{$APPTYPE CONSOLE}

procedure Main;
var
  x : integer;
  tmpString : ANSIString;

  function add(const a, b: integer): integer;
  begin
    Result := a + b;
  end;

  function addX(const c : integer): integer;
  begin
    Result := add(c, x);
  end;

  const Cx = 5;

begin
  x := Cx;
  WriteLn(addX(2));
  ReadLn(tmpString);
end;

begin
  Main;
end.

VD>usung System.Console;

VD>mutable x = 5;
VD>def add(a, b) { a + b }
VD>def addX = add(x, _);
// Я думаю, надо def addX = add(_, x); ?

VD>WriteLine(addX(2));
VD>

FDS>> Опять же, в каком документе это описано? Этот язык, наверное, в несколько раз круче, чем я о нём думаю, и всё только потому, что документация чёрт знает как оформлена. Эх, ну почему они не из Microsoft?!

...
class C
{
    public static Method(i : ref int) : int
    {
        i = i + 1;
        i
    }
}
mutable x = 5;

WriteLine(C.Method(ref x));
_ = ReadLine();

...
class C
{
    public static Method(i : ref int) : int
    {
        i = i + 1;
        i
    }
}

def MM(i : ref int) : int
{
    i = i + 1;
    i
}

mutable x = 5;

WriteLine(C.Method(ref x));
WriteLine(MM(ref x));
_ = ReadLine();

nested ref/out type found E:\Prg\temp\070906\ConsoleApplication3\Main.n 22 1 ConsoleApplication3

needed a writable location for assignment target, got a reference to local symbol `a function parameter i', which is read-only E:\Prg\temp\070906\ConsoleApplication3\Main.n 24 1 ConsoleApplication3

in argument #1 of +.s, needed a int, got void: void is not a subtype of int E:\Prg\temp\070906\ConsoleApplication3\Main.n 24 5 ConsoleApplication3

expected int, got void in function return type: void is not a subtype of int E:\Prg\temp\070906\ConsoleApplication3\Main.n 22 1 ConsoleApplication3

wrong number of parameters in call, needed 0, got 1 E:\Prg\temp\070906\ConsoleApplication3\Main.n 31 11 ConsoleApplication3

FDS>>public static void ForEach<T>(T root, Action<T> action)
FDS>>  where T: IRecursible<T>
FDS>>{
FDS>>  action(root);
FDS>>  CRT Child = root.LoadFromDataBaseChildAndLock();
FDS>>  foreach(T Child in root)
FDS>>{

FDS>>      ForEach(Child, action);
FDS>>}
FDS>>Child.Unlock();
FDS>>}
S>>>

FDS>>public static void ForEach<T>(T root, Action<T> action)
FDS>>  where T: IRecursible<T>
FDS>>{
try{
FDS>>  action(root);
FDS>>  CRT Child = root.LoadFromDataBaseChildAndLock();
FDS>>  foreach(T Child in root)
FDS>>{

FDS>>      ForEach(Child, action);
FDS>>}
FDS>>Child.Unlock();
}
cath(super return event E)
{
  Child.Unlock();
  super return E;
}
FDS>>}
S>>>

public static ResultAction ForEach<T>(T root, Action<T> action)
  where T: IRecursible<T>
{
    ResultAction RA = action(root);
       if (RA.isExecuted)
          return RA;

  CRT Child = root.LoadFromDataBaseChildAndLock();

  foreach(T Child in root)
  {
      RA = ForEach(Child, action);
        if (RA.isExecuted)
          break;
  }
  Child.Unlock();
  return RA;
}

Database accessibility
For example, using Nemerle macros for SQL you can write:

ExecuteReaderLoop ("SELECT firstname, lastname FROM employee WHERE firstname = $myparm", dbcon,
{
  System.Console.WriteLine ("Name: {0} {1}", firstname, lastname) 
});

instead of

string sql = "SELECT firstname, lastname FROM employee WHERE firstname = :a";
NpgsqlCommand dbcmd = new NpgsqlCommand (sql, dbcon, dbtran);
dbcmd.Parameters.Add("a", myparm);

NpgsqlReader reader = dbcmd.ExecuteReader();

while(reader.Read()) {
  string firstname = reader.GetString (0);
  string lastname = reader.GetString (1);
  System.Console.WriteLine ("Name: {0} {1}", firstname, lastname) 
}
reader.Close();
dbcmd.Dispose();

ExecuteReaderLoop ("SELECT firstname, lastname FROM employee WHERE firstname = $myparm", dbcon,
{
  System.Console.WriteLine ("Name: {0} {1}", firstname, lastname);
    return;
});

FDS>А по Nemerle у меня уже десяток вопросов (на которые я сам не знаю ответа), которые возникли просто после написания простейших функций. [я бы сказал, что на уровне простейших функций Scheme гораздо легче для изучения, чем Nemerle ]

#pragma indent
using System.Console

module Main
    Foo(f : void->int) : void
        WriteLine(f())

    Bar() : void->int
        mutable x : int
        def closure() { x++; x }
        WriteLine(closure())
        Foo(closure)
        WriteLine(x)
        closure

    Main() : void
        mutable closure = Bar()
        def foo() { WriteLine(closure()) }
        foo()
        closure = Bar()
        foo()

using System.Console;
using System.Collections.Generic;

module Main
{
    Strashilka[A,R](dump : A*A*(A->A)->R) : A->(A->((A->A)->R))
    {
        x => y => f => dump(x,y,f)
    }

    Main() : void
    {
        def ops = List();

        foreach(i in [1..3])
            ops.Add(_ * i);

        def dump(x, y, f) { WriteLine($"$x * $y == $(f(x))") }

        def data = $[(x,f(1),f) | x in [1..4], f in ops];
        data.Iter(dump);

        def xdump = (x,y,f) => $"$x * $y == $(f(x))";
        data.Iter((x,y,f) => WriteLine(Strashilka(xdump)(x)(y)(f)));
    }
}

FDS>Просто скопировал метод и он перестал компилироваться