Roadsend PHP Compiler is an open source, native compiler for the PHP language. It compiles PHP source code to stand alone, native binaries which do not require an interpreter. Roadsend Compiler can build online web applications with Fast/CGI, offline web applications with an embedded web server (MicroServer), desktop GUI applications with PHP-GTK, and console applications. It is available on Linux, Windows, and FreeBSD.

Download the full prepackaged version of Roadsend Compiler for FREE now!

Roadsend PHP Compiler is now Open Source: a full license for current users now available online for free

* безопасный. Т.е. либо работающий на какой-нибудь виртуальной машине, либо компилируемый в нативный код, но с тотальными проверками (в частности, указателей и индексов на валидность) -- поскольку не всегда указатели там проверяются, насколько мне известно, особенно в Release режиме;
* с поддержкой исключений (крайне желательно с поддержкой stack trace "из коробки") -- в стандартной версии DMD до сих пор нет поддержки stack trace для исключений, эта поддержка реализуется в дополнительных библиоеках (Flectioned и Tango);

Прежде замыкания никогда не являлись серьезным приоритетом для Java-разработчиков. Разработчики Java не поддерживали замыкания, потому что Java-пользователи сдержанно относились к выделению памяти в куче для переменных без явного new (см. раздел "Ресурсы"). Сегодня очень много говорится о включении замыканий в основной язык. За последние годы практический интерес к таким динамическим языкам как Ruby, JavaScript, и даже Lisp привел к широкой поддержке пользователями идеи включения замыканий в язык Java. Все идет к тому, что мы, наконец, получим замыкания в Java 1.7. Хорошие вещи происходят, если вы продолжаете пересекать границы.

© Пересекая границы: Замыкания. Больше, чем просто лестные слова

E>Сеньор c-smile, бросание камешков в огород Java это одно из моих любимых занятий. Зачем же лишать меня такой маленькой радости?

E>Что из себя представляет замена C++ на Java я представляю, C# вместо C++ так же не сложно представить. А вот что еще (если не брать в расчет махровую функциональщину )?

PS. Про Scala и Nemerle я знаю

class TreeNode
{
    int    item;
    ?TreeNode left = null;
    ?TreeNode right = null;

}

int itemCheck( ?TreeNode self )  
{
    if( null != self )
    {
        if( null != self.left )
            return self.item + itemCheck(self.left) - itemCheck(self.right);
        else
            return self.item;
    }
    return 0;
}

TreeNode bottomUpTree( int item, int depth )
{
    if( depth > 0 )
        return new TreeNode(
                item: item,
                left: bottomUpTree( 2 * item - 1, depth - 1 ),
                right: bottomUpTree( 2 * item, depth - 1 ) );
    else
        return new TreeNode( item: item );
}

void main( String[] args )
{
    let N = 1 == args.length ? Integer.parseInt( args[0] ) : 1;

    let minDepth = 4;
    let maxDepth = minDepth + 2 > N ? minDepth + 2 : N; 
    let stretchDepth = maxDepth + 1; 

    let startTime = System.currentTimeMillis();

    let stretchTree = bottomUpTree( 0, stretchDepth );
    println( "stretch tree of depth " stretchDepth "\t check: "
            stretchTree.itemCheck );

    let longLivedTree = bottomUpTree( 0, maxDepth );

    for( int depth = minDepth; depth <= maxDepth; depth += 2 ) 
    { 
        var check = 0;
        let iterations = 1 << (maxDepth - depth + minDepth);

        for( int i : 1..iterations )
        { 
            var tempTree = bottomUpTree( i, depth );
            check += tempTree.itemCheck;

            tempTree = bottomUpTree( -i, depth );
            check += tempTree.itemCheck;
        } 

        let totalTrees = iterations * 2;
        println( "" totalTrees "\t trees of depth " depth "\t check: " check ); 
    } 

    println( "long lived tree of depth " maxDepth "\t check: "
            longLivedTree.itemCheck );

    let stopTime = System.currentTimeMillis();
    let duration = stopTime - startTime;
    println( "" duration "ms" );
}

E>Удалось оформить причины, вынудившие меня задать этот вопрос, в виде небольшого раздела моей home page

Пожалуй, двумя примерами языков, которые мне никогда не нравились, являются Java и Perl

* отсутствия null
* отсутствия адресной арифметики (большинство проблем с указателями С возникает именно здесь)
* строгой типизации указателей и отсутствия преобразования их типов
* gc

x <- action1
y <- action2(f(x))
z <- action3(g(x,y))

if h(x,y,z)
  then procedure1
  else procedure2

add_version str = if verbose
                    then str++" v2.0"
                    else str

или

add_version = verbose &&& (++" v2.0")

BZ>add_version str = if verbose
BZ>                    then str++" v2.0"
BZ>                    else str

BZ>или

BZ>add_version = verbose &&& (++" v2.0")
BZ>

(a, _) = partition( map( filter(seq, filter_lambda), map_lambda ), part_lambda )

template <class T>
struct Array
{
  virtual int size() {return 1;}
};

template <class T>
struct Stack : Array<T>
{
  virtual int size() {return 2;}
};

main()
{
  Array<int> *p = new Stack<int>;
  printf ("%d", p->size());
}

BZ>типа "не больно-то и хотелось"?

template< class G >
class vector_t
  {
  public :
    void append( const G & );
    const G & at( size_t index ) const;
    void insert( size_t index, const G & );
    void remove( size_t index );
    size_t size() const;
    ...
  };

template< class G >
class stack_t : protected vector_t< G >
  {
  public :
    const G & top() const { assert( size() ); return at( size() - 1 ); }
    void pop() { assert( size() ); remove( size() - 1 ); }
    void push( const G & item ) { append( item ); }
    using vector_t::size; // Не счет этого не уверен, давно не пользовался.
    using vector_t::capacity;
  };

class
  STACK [G]
inherit
  VECTOR [G]
    rename
      append as vector_append,
      insert as vector_insert,
      at as vector_at,
      remove as vector_remove
    export
      {NONE} vector_append, vector_insert, vector_at, vector_remove
    end
feature
  top: G is
    require
      non_empty: 0 < size
    do
      Result := vector_at (size)
    ensure
      one_more: (old size + 1) = size
    end

  pop is
    require
      non_empty: 0 < size
    do
      vector_remove (size)
    ensure
      one_less: old size = (size + 1)
    end

  push (item: G) is
    do
      vector_insert (item)
    ensure
      one_more: (old size + 1) = size
    end
end

BZ>но этот код работает видимо, я что-то понял неправильно. утверждение взято с 22-й страницы http://research.microsoft.com/~akenn/generics/TransposingFToCSharp.ppt

// C++
struct foo
{
  template <typename T> void f() {} // компилируется
  virtual template <typename T> void b() {} // а здесь ошибка
};

// C#
abstract class Base
{
   public abstract T F<T,U>(T t, U u) where U : T;
}

class Derived: Base
{
   public override X F<X,Y>(X x, Y y) // Ok
   {
      return y;
   }
}

let s = ref 0;;
let i = ref 0;;

while !i < 10 do
    s := !s + !i;
    i := !i + 1;
    done;;

Printf.printf "%d \n" !s;;

D>>Взять MPS от JetBrains, сделать на нем свой язык для своей предметной области и отобразить его хоть в Java, хоть в С++, хоть в C#. Да знаю, MPS ещё в бете, но думаю, его можно как один из вариантов рассматривать (покрайней мере решить на ней proof-of-concept точно стоит, )

Вообще говоря, любое создание иерархии классов (или набора функций), отражающих предметную область — и есть создание DSL'я (о чем вполне однозначно говорит Дмитриев в статье). Просто мы это "так не называем".

То есть вот это — тоже DSL (надуманный пример на несуществующем языке):
window = new Window
button = new Button
button.size = (100, 25)
button.caption = 'WTF?'
window.layout(button)

Другое дело — что Дмитриев считает необходимым создать кучу визуальных тулзов, явно поддерживающих такой подход; а мы с Владом внезапно сошлись на том, что достаточно одного языка с ОЧЕНЬ выразительным синтаксисом.