| Like ESC/Java, it includes a static checking tool based on a theorem prover that is able to statically verify many of these invariants. |
Как и ESC/Java, язык содержит инструмент статической проверки, основанный на доказательстве теорем, позволяющий статически проверять большинство таких инвариантов. |
| The servant for each object can be chosen either statically (once) or dynamically (for each remote invocation), in both cases allowing the call forwarding to another server. |
Обслуживающий сервис для каждого объекта может быть выбран как статически (единоразово), так и динамически (для каждого удалённого вызова), в обоих случаях позволяя перенаправление запроса на другой сервер. |
| The parallelism is statically defined by the programmer. |
Параллелизм статически определяется программистом. |
| It is implemented as an interpreter written in OCaml, and supports statically typed distributed programming, transparent remote communication, agent-based mobility, and some failure-detection. |
Он реализован как интерпретатор, написанный на OCaml, и поддерживает статически типизированное распределённое программирование, прозрачную удалённую связь, мобильность на основе агентов и обнаружение сбоев. |
| In as much as the Common Language Runtime (CLR) provides a common platform for statically typed languages like VB.NET and C#, the Dynamic Language Runtime provides a common platform for dynamically typed languages like JavaScript, Ruby, Python, and even legacy COM components. |
Поскольку общеязыковая среда исполнения (CLR) обеспечивает общую платформу для таких статически типизированных языков, как VB.NET и C , динамическая языковая исполнимая среда(DLR) обеспечивает общую платформу для таких динамически типизированных языков, как JavaScript, Ruby, Python и даже наследование COM компонентов. |