Ada 2012 Features / Введение в Ada 2012: Субтитры
| Английский оригинал | Перевод на русский | |
|---|---|---|
Сожалеем, но текст оригинала доступен только зарегистрированным пользователям. |
||
|
Первая категория - это разъяснения. Иногда спрашивают: действительно ли bewonid 02.01.13 в 00:14 |
+1 | |
|
вот это работает именно так? bewonid 02.01.13 в 00:16 |
||
|
Разъяснения устраняют неясные моменты спецификации. bewonid 02.01.13 в 00:19 |
||
|
Следующая категория - yeo 21.02.14 в 16:06 |
||
|
коррекции. bewonid 02.01.13 в 00:23 |
||
|
Это исправления пунктов справочного руководства, bewonid 02.01.13 в 00:29 |
||
|
которые оказались ошибочными. bewonid 02.01.13 в 00:31 |
||
|
Коррекция может звучать так: bewonid 02.01.13 в 00:38 |
||
|
где в руководстве написано "белое", читай "черное". bewonid 02.01.13 в 00:38 |
||
|
Грубо говоря, это признание ошибок в справочном руководстве. bewonid 02.01.13 в 00:40 |
||
|
И, наконец, дополнения. Это то, yeo 02.01.13 в 11:06 |
||
|
что хотелось бы видеть yeo 02.01.13 в 11:06 |
||
|
в следующей yeo 02.01.13 в 11:07 |
||
|
версии языка. yeo 02.01.13 в 11:07 |
||
|
И то, о чем я хочу рассказать сейчас, это, конечно, yeo 02.01.13 в 11:08 |
||
|
в основном, дополнения. yeo 02.01.13 в 11:09 |
||
|
При работе над новой версией языка, было рассмотренно около 300 вопросов yeo 02.01.13 в 11:11 |
||
|
и нет нужды говорить, что сейчас мы не охватим их все. yeo 02.01.13 в 11:12 |
||
|
Я постораюсь остановиться на наиболее важных yeo 02.01.13 в 11:13 |
||
|
новых возможностях языка. yeo 02.01.13 в 11:14 |
||
|
Вот наиболее интересные моменты, которые мы yeo 02.01.13 в 11:15 |
||
|
обсудим. yeo 02.01.13 в 11:16 |
||
|
Наиболее обширный из них касается вопросов корректности программ, yeo 08.01.13 в 20:43 |
||
|
затрагивает все то, что помогает убедиться, yeo 21.02.14 в 16:13 |
||
|
что программа делает именно то, что вы от нее хотите. yeo 02.01.13 в 11:21 |
||
|
Решение этих вопросов yeo 21.02.14 в 16:15 |
||
|
влечет в некоторые нововведения в синтаксисе yeo 02.01.13 в 11:26 |
||
|
и новые конструкции для описания желаемого поведения yeo 02.01.13 в 11:27 |
||
|
программы. Сейчас мы обсудим это более подробно. yeo 02.01.13 в 11:27 |
||
|
Следующий пункт, некоторые идеи, помогающие в программировании yeo 02.01.13 в 11:35 |
||
|
и делающие язык более выразительным. yeo 02.01.13 в 11:36 |
||
|
Они, возможно, уже есть в других языках, yeo 02.01.13 в 11:37 |
||
|
в частности, это вещи связанные с итераторами. yeo 02.01.13 в 11:37 |
||
|
Далее, значительно расширена стандартная библиотека. yeo 02.01.13 в 11:37 |
||
|
Всегда существовало мнение, что yeo 02.01.13 в 11:38 |
||
|
библиотека в Аде менее развита, чем yeo 02.01.13 в 11:38 |
||
|
библиотеки других языков. И теперь это, yeo 02.01.13 в 11:41 |
||
|
в некоторой степени, исправленно. yeo 02.01.13 в 11:41 |
||
|
Некоторое мелочи и новые конструкций yeo 02.01.13 в 11:44 |
||
|
которые, в часности, полезны yeo 02.01.13 в 12:07 |
||
|
и yeo 02.01.13 в 12:08 |
||
|
хорошо сочетаются с вопросом определения цели программы, yeo 02.01.13 в 12:15 |
||
|
как выразить yeo 02.01.13 в 12:15 |
||
|
назначение программы yeo 02.01.13 в 12:16 |
||
|
в плане доказательства корректности. yeo 02.01.13 в 12:16 |
||
|
Целое множество интересных дополнений yeo 02.01.13 в 12:18 |
||
|
касается параллельного программирования, yeo 02.01.13 в 12:18 |
||
|
в часности, для многоядерных систем. yeo 02.01.13 в 12:19 |