Вариант для распечатки		Пред. тема | След. тема
Форум Разговоры, обсуждение новостей
Режим отображения отдельной подветви беседы		[ Отслеживать ]

Вышел GNAT GPL 2011 - набор средств разработки на языке прог..., opennews (ok), 17-Июн-11, (0) [смотреть все] я знал, она возродится , Аноним (-), 14:43 , 17-Июн-11, (2) Прошу, конечно, прощения Но слова типа Ада напоминают мне слова типа Кобол, Фор, Василий2 (ok), 14:55 , 17-Июн-11, (4) –4 // если вкратце, то да, йопт (??), 15:05 , 17-Июн-11, (6) Вам бы только хоронить , Аноним (-), 16:05 , 17-Июн-11, (8) +1 PL 1 скончался, а все остальное - живо и здорово, так как лучших инструментов дл, Петр (??), 17:00 , 18-Июн-11, (22) +3 // как бы между прочим, Фортран используется много где лишь потому,что накоплена бо, fr0ster (??), 12:07 , 20-Июн-11, (33) // ага, это значит от того знакомые физики на каждый новый стандарт фортрана чуть н, cobold (ok), 20:26 , 20-Июн-11, (35) В прошлом году был релиз GNAT GPL 2010 , Vitaliy (??), 15:21 , 17-Июн-11, (7) // Его, видимо, разрабатывали с 2007 , fr0ster (??), 17:02 , 17-Июн-11, (10) а на нем на наших просторах кто-то что реальное пишет интересно бы почитать о т, Аноним (-), 16:47 , 17-Июн-11, (9) Чем Ада лучше чем Си, С , FreePascal В чём заключается разница между Ада и эти, q (??), 17:24 , 17-Июн-11, (11) // Ada is a structured, statically typed, imperative, wide-spectrum, and object-ori, ander (??), 18:20 , 17-Июн-11, (12) FreePascal с Ada даже рядом не валялся Хорошо тем что имеет встроенные в язык , ImPressed (ok), 18:20 , 17-Июн-11, (13) // это верно, как можно сравнивать распространенный язык с нераспространенным и ниш, aninymous vulgaris (?), 23:21 , 18-Июн-11, (25) // умение вызвать createthread или подобное, даже через обёртку, никак не является , anonymous (??), 03:27 , 21-Июн-11, (38) Вы правда думаете, что при сравнении зрелых языков программирования из разных с, Ytch (?), 21:01 , 17-Июн-11, (15) В языке Ada заложено много всего для написания надежных, безопасных программ Сл, Дима (??), 23:00 , 17-Июн-11, (17)   // Да ладно вам, для сертификации кода как раз много всего никак не годится, все со, anonymous vulgaris (?), 02:26 , 18-Июн-11, (19)   // Даже близких аналогов нет, поскольку нет необходимых языковых и даже инструмента, коксюзер (?), 06:03 , 18-Июн-11, (20)   странный вы человек - эта ссылка как раз о том что мисра в иаровском компиляторе, aninymous vulgaris (?), 23:15 , 18-Июн-11, (24)   кстати все эти статически проверенные проги все равно работают под осями написа, grafsoft (ok), 00:05 , 19-Июн-11, (26)   о том и речь что хоть супер контроль одной малой части разработки мало чего дает, anonymous vulgaris (?), 00:53 , 19-Июн-11, (27)   Что-то есть, но за пределами стандартов, стандартных инструментариев особенно с, коксюзер (?), 02:10 , 19-Июн-11, (29)   вообще странно представить себе разработку софта для самолета или тачки на свобо, anonymous vulgaris (?), 23:08 , 19-Июн-11, (30)   А мне вот не странно GNAT Pro это по сути вариации GNAT GPL, с некоторыми допол, коксюзер (?), 23:58 , 19-Июн-11, (31)   С чего ты взял Ada Generic OS EAL2А вообще с соответствующими RTOS и жел, vasily_pupkin (ok), 10:43 , 20-Июн-11, (32)   В том что на сертифицированной аде можно писать софт для управления аэробусом на, anonymous vulgaris (?), 01:59 , 18-Июн-11, (18) +1 // скорее всего gcc безопаснее, потому что не допустят к сертификации Кто не лет, cobold (ok), 13:24 , 20-Июн-11, (34) В двух словах трудно описать Ада - прекрасный язык Если постараться в кратце об, Аноним (-), 18:25 , 17-Июн-11, (14) // Об этом можно поподробнее Все компиляторы и среды разработки, которые я видел, , umbr (ok), 22:42 , 17-Июн-11, (16) +1 // плохо смотрел или мало видел, grafsoft (ok), 22:09 , 18-Июн-11, (23) на самом деле речь не столько о хорошем, сколько не подверженным дурацким ошибка, anonymous vulgaris (?), 00:56 , 19-Июн-11, (28) // это perl , anonymous (??), 03:33 , 21-Июн-11, (39) Нормальный такой язык Я его увесистым томиком Язык Ада пугаю разного рода ре, Ян Злобин (ok), 12:55 , 18-Июн-11, (21) +3 И как у него с Qt биндингами , СуперАноним (?), 20:44 , 20-Июн-11, (36) // Легко и непренужденно взгляните на qtada com Разработана нашими соотечественник, Alexander (??), 22:03 , 20-Июн-11, (37) Все обыскалНо не могу найте способа интегрирувать это чудо в visual studio 2010С, Master_ATG (?), 18:59 , 11-Июн-12, (40) // Помочь вам вряд ли сумею, но на драйвер глянуть архиинтересно , dimss (?), 00:42 , 13-Июн-12, (41) 2,4,7,9,11,14,21,36,40

Сообщения

[Сортировка по времени | RSS]

	17. "Вышел GNAT GPL 2011 - набор средств разработки на языке прог..."	+/–
	Сообщение от Дима (??), 17-Июн-11, 23:00
	В языке Ada заложено много всего для написания надежных, безопасных программ. Сложная, подробная система типов. Кроме этого, интересный подход к многозадачности. ООП к нему прикрутили позже, и оно отличается от C++, например, отсутствием классов как таковых. Дженерики работают иначе, чем темплейты C++. Однозначно стоит того, чтобы ознакомиться, даже если не будете на нем писать. Все же это ни разу не COBOL.
	Ответить | Правка | К родителю #11 | Наверх | Cообщить модератору

	19. "Вышел GNAT GPL 2011 - набор средств разработки на языке прог..."	+/–
	Сообщение от anonymous vulgaris (?), 18-Июн-11, 02:26
	> В языке Ada заложено много всего для написания надежных, безопасных программ. Да ладно вам, для сертификации кода как раз много всего никак не годится, все сомнительные возможности выкидываются нещадно, какие там ооп понимаешь, виртовский паскаль остается в сухом осадке http://www.cotsjournalonline.com/articles/view/100982 A set of related restrictions can be bundled into a profile, and the Ada 2005 standard includes the definition of the so-called Ravenscar Profile, which comprises a simple set of tasking features whose usage and run-time libraries are amenable to safety certification. A program using the Ravenscar Profile consists of a set of tasks, each of which loops forever on either a simple event or a time-out. Despite its simplicity, the Ravenscar Profile is rich enough to express the kinds of concurrent programs that come up in practice. такие правила кстати и для ц есть In 1998, the UK's Motor Industry Software Reliability Association established a set of 127 guidelines for the use of C in safety-critical systems. http://www.iar.com/website1/1.0.1.0/474/1/
	Ответить | Правка | Наверх | Cообщить модератору

	20. "Вышел GNAT GPL 2011 - набор средств разработки на языке прог..."	+/–
	Сообщение от коксюзер (?), 18-Июн-11, 06:03
	> такие правила кстати и для ц есть Даже близких аналогов нет, поскольку нет необходимых языковых и даже инструментальных средств. Профили в Ada - часть стандарта и реализованы во всех компиляторах. > http://www.iar.com/website1/1.0.1.0/474/1/ ... Some rules, however, can't be checked automatically. ... For example, MISRA C rule 118 forbids the use of dynamically allocated memory, rule 101 specifies that the use of pointer arithmetics is prohibited, and rule 102 says that no more than 2 levels of pointer indirection should be used. ... Rule 23 (advisory): All declarations at file scope should be static where possible Комментарии излишни.
	Ответить | Правка | Наверх | Cообщить модератору

	24. "Вышел GNAT GPL 2011 - набор средств разработки на языке прог..."	+/–
	Сообщение от aninymous vulgaris (?), 18-Июн-11, 23:15
	>> такие правила кстати и для ц есть > Даже близких аналогов нет, поскольку нет необходимых языковых и даже инструментальных средств. странный вы человек - эта ссылка как раз о том что мисра в иаровском компиляторе есть >> http://www.iar.com/website1/1.0.1.0/474/1/ аналогично PC-Lint Version 8 includes support for MISRA, the Motor Industry Software Reliability Association, and the MISRA-C standard. PC-Lint detects and reports on numerous MISRA rule violations. You may use PC-Lint with the Keil Development Tools for ARM, C51, C251, and C166 microcontrollers. а что качество проверки хуже будет для ц чем для паскалеподобного языка так это ясно как ясно что ада в итоге все равно сольет питону, поскольку квалифицированных ада программеров не найти кстати все эти статически проверенные проги все равно работают под осями написанными на ц, так что какая разница
	Ответить | Правка | Наверх | Cообщить модератору

	26. "Вышел GNAT GPL 2011 - набор средств разработки на языке прог..."	+/–
	Сообщение от grafsoft (ok), 19-Июн-11, 00:05
	"кстати все эти статически проверенные проги все равно работают под осями написанными на ц, так что какая разниц" А все это работает на процессорах архитектура которых не проще чем ось, и тоже подвержены багам, и что? Тут говорится об языке и его возможностях, что он дает к тому же на GNAT есть для Atmega256 например Если бы усилия перло-моно-питонщиков например направились бы на создание открытых компилятора/среды разработки/библиотек для ADA ..., а не  неадекватных и тормознутых созданий инопланетного разума.
	Ответить | Правка | Наверх | Cообщить модератору

	27. "Вышел GNAT GPL 2011 - набор средств разработки на языке прог..."	+/–
	Сообщение от anonymous vulgaris (?), 19-Июн-11, 00:53
	> А все это работает на процессорах архитектура которых не проще чем ось, > и тоже подвержены багам, и что?  Тут говорится об языке и его возможностях, что он дает о том и речь что хоть супер контроль одной малой части разработки мало чего дает в плане общей надежности системы, сделанной с основном на малонадежных языках. потому и все равно в общем то на чем писать. потому никто по возможности с малораспространенными языками и не парится, как бы хороши они сами по себе не были. > Если бы усилия перло-моно-питонщиков например направились бы на создание открытых компилятора/среды  разработки/библиотек для ADA ..., а не  неадекватных и тормознутых созданий инопланетного разума. да ладно мечтать то. реально то аду в критических системах заменит жаба
	Ответить | Правка | Наверх | Cообщить модератору

	29. "Вышел GNAT GPL 2011 - набор средств разработки на языке прог..."	+/–
	Сообщение от коксюзер (?), 19-Июн-11, 02:10
	>>> такие правила кстати и для ц есть >> Даже близких аналогов нет, поскольку нет необходимых языковых и даже инструментальных средств. > странный вы человек - эта ссылка как раз о том что мисра > в иаровском компиляторе есть Что-то есть, но за пределами стандартов, стандартных инструментариев (особенно свободных) и большинства областей применения. Это не "такие правила", не аналог. Слишком широкое обобщение вы сделали. > а что качество проверки хуже будет для ц чем для паскалеподобного языка > так это ясно Не столько качество хуже. Главное, что эти правила налагают неприемлемые и не сопоставимые с Адой ограничения. Запрет на использование динамической памяти - ну что тут скажешь... > как ясно что ада в итоге все равно сольет питону, поскольку квалифицированных > ада программеров не найти Яблоки апельсинам наверно тоже сольют, когда-нибудь. :) > кстати все эти статически проверенные проги все равно работают под осями написанными > на ц, так что какая разница Странные вопросы у вас. :) От себя могу сказать, что разница большая. :)
	Ответить | Правка | К родителю #24 | Наверх | Cообщить модератору

	30. "Вышел GNAT GPL 2011 - набор средств разработки на языке прог..."	+/–
	Сообщение от anonymous vulgaris (?), 19-Июн-11, 23:08
	> Что-то есть, но за пределами стандартов, стандартных инструментариев (особенно свободных)   вообще странно представить себе разработку софта для самолета или тачки на свободном софте. а стандартный инструментарий для этого дела к нему близко не лежит и конечно всем чем надо оснащен. а ссылка то как раз на свободный линт. или вы его не пользуете? тогда к чему разговоры об автопроверках? ну а линт за деньги понятно получше бесплатного > Не столько качество хуже. Главное, что эти правила налагают неприемлемые и не > сопоставимые с Адой ограничения. Запрет на использование динамической памяти - ну > что тут скажешь... Часть запретов рекомендательные. Но в аде в таких же применениях будет то же самое. И чем больше правил не нарушите тем легче будет сертифицировать. а динамическая память в серьезном встраиваемом приложении понятно и так не нужна. стандарт писали понимающие люди >> кстати все эти статически проверенные проги все равно работают под осями написанными на ц, так что какая разница > Странные вопросы у вас. :) От себя могу сказать, что разница большая. > :) где тут вопрос? повторю еще раз - надежность системы определяется ее самым слабым звеном. отсюда малая конечная эффективность от применения самых лучших средств но только в одном месте
	Ответить | Правка | Наверх | Cообщить модератору

	31. "Вышел GNAT GPL 2011 - набор средств разработки на языке прог..."	+/–
	Сообщение от коксюзер (?), 19-Июн-11, 23:58
	> вообще странно представить себе разработку софта для самолета или тачки на свободном > софте. а стандартный инструментарий для этого дела к нему близко не > лежит и конечно всем чем надо оснащен. А мне вот не странно. GNAT Pro это по сути вариации GNAT GPL, с некоторыми дополнительными библиотеками и сертифицированные на соответствие различным промышленным и государственным стандартам. Со SPARK ситуация аналогичная. То есть существенная разница по сути только в сертификации, за счёт которой AdaCore коммерциализирует GNAT. Во-вторых, профили (не только Ravenscar) для Ады можно варьировать и применять для решения любых задач, а не только для написания ПО под куцый (без динамической памяти и т.п.) embedded. Можно даже вовсе не использовать профили, и при этом типобезопасность останется при Аде, в отличие от Си, где для удостоверения таких простых свойств программы нужно применять инструменты формального моделирования и доказательства. > а ссылка то как раз на свободный линт. или вы его не > пользуете? тогда к чему разговоры об автопроверках? ну а линт за > деньги понятно получше бесплатного Да, PC-Lint я не использую, и как-то гугл не согласен с вами на тему его свободности. Бесплатный, возможно - я не вникал. Но не свободный. >> сопоставимые с Адой ограничения. Запрет на использование динамической памяти - ну >> что тут скажешь... > Часть запретов рекомендательные. Но в аде в таких же применениях будет то Данный конкретный запрет обязателен. > же самое. И чем больше правил не нарушите тем легче будет > сертифицировать. Откуда вы взяли, что то же самое? Где в Ravenscar или SPARK запрет на использование динамической памяти? Если вы знаете такой профиль, назовите его. > а динамическая память в серьезном встраиваемом приложении понятно и так не нужна. > стандарт писали понимающие люди Несусветные глупости говорите. Запрет для Си придумали потому, что ручное управление памятью там чревато ошибками, которых в Аде не бывает (кроме явных случаев unchecked) даже без профилей и правил. Что во встраиваемых системах, что в любых других. > где тут вопрос? повторю еще раз - надежность системы определяется ее самым > слабым звеном. отсюда малая конечная эффективность от применения самых лучших средств > но только в одном месте Ах, это не вопрос был! Мда. Знаете, мне лень вам что-либо объяснять, потому как по вашей расстановке акцентов видно, что суть и детали вас не волнуют. Я лучше задам вам вопрос: как ваше (доведённое до абсурда) утверждение о слабых звеньях согласуется с такой общепринятой в сфере ИБ парадигмой, как многоуровневая безопасность?
	Ответить | Правка | Наверх | Cообщить модератору

	32. "Вышел GNAT GPL 2011 - набор средств разработки на языке прог..."	+/–
	Сообщение от vasily_pupkin (ok), 20-Июн-11, 10:43
	>> кстати все эти статически проверенные проги все равно работают под осями написанными на ц, так что какая разница С чего ты взял? :) Ada + Generic OS ~= EAL2 А вообще с соответствующими RTOS и железом можно доехать до EAL5
	Ответить | Правка | К родителю #24 | Наверх | Cообщить модератору

Архив | Удалить

Рекомендовать для помещения в FAQ | Индекс форумов | Темы | Пред. тема | След. тема