The OpenNET Project / Index page

[ новости /+++ | форум | теги | ]



"Google выпустил язык программирования Dart 1.0, созданный дл..."
Версия для распечатки Пред. тема | След. тема
Форум Разговоры, обсуждение новостей
Исходное сообщение [ Отслеживать ]
Присылайте удачные настройки в раздел примеров файлов конфигурации на WIKI.opennet.ru.
. "Google выпустил язык программирования Dart 1.0, созданный дл..." +/
Сообщение от Аноним (-), 15-Ноя-13, 18:10 
Из вики про типизацию:

"Static type-checking is the process of verifying the type safety of a program based on analysis of a program's text (source code). If a program passes a static type-checker, then the program is guaranteed to satisfy some set of type-safety properties for all possible inputs."

Про статическую типизацию в Dart из его спецификации:

Static type annotations are used in variable declarations (including formal
parameters, in the return types of functions and in the bounds of
type variables. Static type annotations are used during static checking (!) and
when running programs in checked mode.

Ответить | Правка | Наверх | Cообщить модератору

Оглавление
Google выпустил язык программирования Dart 1.0, созданный дл..., opennews, 14-Ноя-13, 20:24  [смотреть все]
Форумы | Темы | Пред. тема | След. тема



Партнёры:
PostgresPro
Inferno Solutions
Hosting by Hoster.ru
Хостинг:

Закладки на сайте
Проследить за страницей
Created 1996-2024 by Maxim Chirkov
Добавить, Поддержать, Вебмастеру