Add(Math,13782543,259,238)
{
 Op2=1
 link(Op1,13782543:Result,[(265,228)(249,228)(249,280)(265,280)])
}

func Linked(PointName)
  switch(PointName)
    case 'onEvent1':
        return(xxx)
    case 'onEvent2':
        return(xxx)
  end
end

Add(Memory,7804626,301,161)
{
 Default=Integer(197)
}
Add(Memo,7953861,259,147)
{
 Left=270
 Top=115
 Point(Handle)
}
Add(SendMessage,7469257,280,210)
{
 WParam=-1
 Point(Message)
 link(Handle,7953861:Handle,[])
 link(Message,7804626:Value,[])
}

Add(Memory,7389784,112,210)
{
 Default=String(Hello )
}
Add(StrCat,7085365,133,280)
{
 link(onStrCat,16684516:doMessage,[])
 link(Str1,7389784:Value,[(139,261)(118,261)])
 link(Str2,3687421:Value,[(146,261)(174,261)])
}
Add(Memory,3687421,168,210)
{
 Default=String(world!!!)
}
Add(Message,16684516,196,280)
{
}

echo "Hello world!!!";[/code]
не зря же всетаки заявленно, что код практически не отличается от того, который мог бы написать программист вручную...

[quote=Galkov]везде вариантные типы, отсутствие контейнеризации (имею ввиду интеллектуальную, конечно), супер-инлайн.[/quote]
из этого понятно только первое. Действительно вариантные, и посколько это скрипт, то они таковыми и остануться. В этом направление пока вижу такой выход:
ввести еще один атрибут данных - тип выражения. Т.е. указывать, что это: константа(можно читать), переменная(можно читать, писать и брать адрес) или выражение(ф-ция, действительное выражение из нескольких аргументов). Добавить два оператора typeof() - возвращает тип данных, expof() - возвращает тип выражения. В этом случае можно будет как в Delphi пакете написать ToString(), ToInteger() и прочие. Тогда все отличие от WEB будет состоять в том, что мы при считывание данных просто вставим спецификатор:
// так делается в WEB
func doMessage()
  println('MessageBox(', Handle, ',', Caption, ',', Text, ', MB_OK);')
end

// а так будет в Delphi
func doMessage()
  println('MessageBox(', ToInteger(Handle), ',PChar(', ToString(Caption), '),PChar(', ToString(Text), '), MB_OK);')
end

// где
func ToInteger(data)
  switch(typeof(data))
    case data_int:
       return(data)
    case data_str:
       return('Int2Str(' && data && ')')
    case data_real:
       return('Round(' && data && ')')
    ...
  end
end

вот и всего делов-то