gmane.comp.lang.ada.russian

Re: Ada-2012 + Linux

Sergey Kirkorov — 2013-05-24T12:00:49

Здравствуйте!
"Артем Н." очень похож на блогера или "кореспондента" откуда-то.
С уважением, Сергей.
mailto: ksiby< at >mediascan.by
           www.mediascan.by

----- Original Message ----- 
From: "Vasiliy Fofanov" <fofanov< at >act-europe.fr>
To: <ada_ru< at >yahoogroups.com>
Sent: Friday, May 24, 2013 12:14 PM
Subject: Re: [ada_ru] Ada-2012 + Linux



------------------------------------

Yahoo! Groups Links

<*> To visit your group on the web, go to:
    http://groups.yahoo.com/group/ada_ru/

<*> Your email settings:
    Individual Email | Traditional

<*> To change settings online go to:
    http://groups.yahoo.com/group/ada_ru/join
    (Yahoo! ID required)

<*> To change settings via email:
    ada_ru-digest< at >yahoogroups.com 
    ada_ru-fullfeatured< at >yahoogroups.com

<*> To unsubscribe from this group, send an email to:
    ada_ru-unsubscribe< at >yahoogroups.com

<*> Your use of Yahoo! Groups is subject to:
    http://docs.yahoo.com/

Re: Re: Ada-2012 + Linux

Sergey Kirkorov — 2013-05-24T11:57:30

Здравствуйте!
Читаемо в UTF-8
С уважением, Сергей.
mailto: ksiby< at >mediascan.by
           www.mediascan.by

----- Original Message ----- 
From: "Dmitry A. Kazakov" <alt< at >dmitry-kazakov.de>
To: <ada_ru< at >yahoogroups.com>
Sent: Friday, May 24, 2013 11:52 AM
Subject: Re: [ada_ru] Re: Ada-2012 + Linux


On Fri, 24 May 2013 05:41:46 -0000, you wrote:

[... помехи на линии передач ...]

Не могу ответить, т.к. не читаемо. Исправьте кодировку, это явно никак не
ISO-8859-1.

Re: Ada-2012 + Linux

Vasiliy Fofanov — 2013-05-24T09:14:45

(в сторону) И компания AdaCore, кстати, тоже... (с заменой "профессор" на "группу профессоров") :)


ВФ

ЗЫ - Дискуссия конечно любопытная, но уж очень сильно по касательной к Аде по-моему.



------------------------------------

Yahoo! Groups Links

<*> To visit your group on the web, go to:
    http://groups.yahoo.com/group/ada_ru/

<*> Your email settings:
    Individual Email | Traditional

<*> To change settings online go to:
    http://groups.yahoo.com/group/ada_ru/join
    (Yahoo! ID required)

<*> To change settings via email:
    ada_ru-digest< at >yahoogroups.com 
    ada_ru-fullfeatured< at >yahoogroups.com

<*> To unsubscribe from this group, send an email to:
    ada_ru-unsubscribe< at >yahoogroups.com

<*> Your use of Yahoo! Groups is subject to:
    http://docs.yahoo.com/info/terms/

Re: Re: Ada-2012 + Linux

Dmitry A. Kazakov — 2013-05-24T08:52:12

[... помехи на линии передач ...]

Не могу ответить, т.к. не читаемо. Исправьте кодировку, это явно никак не
ISO-8859-1.

Re: Ada-2012 + Linux

Dmitry A. Kazakov — 2013-05-24T08:50:47


Да


Есть SPARK

http://en.wikipedia.org/wiki/SPARK
 

Во-первых, я на Java не пересаживался, во-вторых, это совсем другое.
Генератор и компилятор очевидно разные вещи. Речь шла о генераторах.


Если Вы не огенераторе а о языке, то я так же не верю и в 5GL, 6GL и т.п.


Вы самолетами летаете? А как насчет автомобиля? Опять возвращаясь к Аде,
язык задумывался так, чтобы нефункциональный код не лез в серию.


Стоит вагон денег. Насчет позиции 5, не слышал.
 

Специализированные языки, если и полные, то имеют сильную тенденцию к тому,
что некоторые стандартные задачи в них хоть решаются, но соверш

Re: Ada-2012 + Linux

cs_a994 — 2013-05-24T05:41:46


--- In ada_ru< at >yahoogroups.com, "Dmitry A. Kazakov" <alt< at >...> wrote:


ÐÐ¸ÐºÐ°ÐºÐ¾Ð¹ Ð¼Ð¸ÑÑÐ¸ÐºÐ¸, Ð²ÑÑ` ÑÑÐ³ÑÐ±Ð¾ Ð¼Ð°ÑÐµÑÐ¸Ð°Ð»ÑÐ½Ð¾. ÐÐµÑÐ°Ð½Ð¸Ð·Ð¼ ÑÑÐ½Ð¾ÑÐ½ÑÐ¹ Ð¸ Ð¿ÑÐ¸ÑÐ¾Ð»Ð¾Ð³Ð¸ÑÐµÑÐºÐ¸Ð¹ ( ÑÐ¾ÑÑ Ð¿ÑÐ¸ÑÐ¾Ð»Ð¾Ð³Ð¸Ñ Ð¸ ÑÐ¾ÑÐ¸Ð¾Ð»Ð¾Ð³Ð¸Ñ -- Ð»Ð¶ÐµÐ½Ð°ÑÐºÐ¸ !-) ). ÐÐ° ÑÑÐ½ÐºÐµ Ð²ÑÐ¶Ð¸Ð²Ð°ÑÑ ÑÐ°Ð¼ÑÐµ Ð´ÐµÑÑ`Ð²ÑÐµ Ð¸Ð· Ð¿ÑÐ¾Ð´ÑÐºÑÐ¾Ð², ÑÐ´Ð¾Ð²Ð»ÐµÑÐ²Ð¾ÑÑÑÑÐ¸Ðµ Ð¼Ð¸Ð½Ð¸Ð¼Ð°Ð»ÑÐ½Ð¾ Ð´Ð¾Ð¿ÑÑÑÐ¸Ð¼ÑÐ¼ ÑÑÐµÐ±Ð¾Ð²Ð°Ð½Ð¸ÑÐ¼, Ñ.Ðµ. ÑÑÐ´ÑÐ¸Ðµ.

ÐÐ° Ð¿ÑÐ¸Ð¼ÐµÑÐµ ÑÐ·ÑÐºÐ¾Ð² Ð¿ÑÐ¾Ð³ÑÐ°Ð¼Ð¼Ð¸ÑÐ¾Ð²Ð°Ð½Ð¸Ñ. Ð' C Ð½Ð

Re: Adastudio 2013

Артём Н. — 2013-05-23T18:56:58

А есть AdaStudio не под win32?
Под Linux?
Я поставлю на ВМ, конечно, ради любопытства, но это не очень подходит.

P.S.:
Да, сейчас качаю. Но объёмы впечатляют, особенно при ограничении скорости с
rapidshare. Что туда засунули на 3 Гб?

19.05.2013 12:12, Leonid Dulman пишет:


------------------------------------

Re: Ada-2012 + Linux

Артём Н. — 2013-05-23T18:56:47

22.05.2013 02:06, Dmitry A. Kazakov пишет:
Какие формальные методы вы имеете ввиду?
Автоматические доказательства?

Интересно было бы услышать про автоматическую/автоматизированную верификацию,
реализованных требований.
Есть такое?
Что используете, если есть?

Когда вы пересаживались с ассемблера на ЯВУ, вы так же говорили?
А серьёзно?

Чем плохо то, что он "пролезет в конечный продукт"? А эволюционное прототипирование?

Я пытаюсь интересоваться темой (как ничего не делать, но, чтобы всё, что
захотел, делалось).
Пока сложно разобраться с инструментарием. К примеру, хотелос

Анонс: Матрёшка 0.5.0

Vadim Godunko — 2013-05-22T21:21:39

Доброго времени суток!

Вышла в свет новая версия Матрёшки - 0.5.0. В ней добавлены

 - обработка данных в формате JSON;
 - поддержка MySQL.

Кроме этого был улучшены драйвер SQLite3 и транслятор WSDL в Ada;
добавлены текстовые кодеки для IBM-437, KOI8-R, KOI8-U; расширен API для
Universal_Character, Universal_String и Stream_Element_Vector; обновлена
база данных зарегистрированных кодировок.

Более полную информацию можно найти по ссылке:

http://forge.ada-ru.org/matreshka/wiki/ReleaseNotes/0.5

а скачать можно по ссылке:

http://forge.ada-ru.org/matreshka/wiki/Download


------------------------------------

Re: Ada-2012 + Linux

Dmitry A. Kazakov — 2013-05-21T22:06:23


Нет. Это существенно замедляет и осложняет. Формальные методы обеспечивают
качество и/или сертификацию. А это - редко когда требуется.


Если бы верил, то уволился и пошел бы учиться другому. Зачем нужны
программисты, если программы можно генерировать.


Не вижу в этом необходимости. Если каркас не компилируем, то куски, про
которые компилятор постоянно ругается, отвлекают внимание. Если компилируем
это еще хуже, т.к. может пролезть в конечный продукт.


Ученым надо публиковаться. Иначе - не дадут грантов. Менеджерам на эти
писульки - плевать. Процессы, на кот

Re: Ada-2012 + Linux

Артём Н. — 2013-05-21T18:53:12

Я не про клиента.
Вы лично, чтобы ускорить и облегчить разработку, что применяете?

А подробнее?
Почему?
Чем плоха генерация (хотя бы каркаса) по сравнению с написанием вручную?


20.05.2013 12:25, Dmitry A. Kazakov пишет:
Но для чего такой процесс разрабатывать учёным, которые не получат денег с
манаджеров?
Может, просто люди ищут оптимальный подход?

Причём тут Стругацкие? "Стругацкие писали свои книги в стиле XP парадигмы". :-]
Лучше взять тогда техническую литературу (хотя, опять же, как я представляю,
литература весьма далека от того, что хотел показать Кнут).
Книги Олиферов,

Re: Ada-2012 + Linux

Dmitry A. Kazakov — 2013-05-20T08:25:16


Потому, что не готовы платить за качество. Часто процесс призван дать
менеджеру ощущение того, что он контролирует ситуацию, при отсутствии
понимания, да и возможности. Но глупость большинства процессов не отменяет
сути.
 

Как бы там ни было на практике, это все равно лучше чем литература. Вы
видели, чтобы хорошие книги писал коллектив авторов? (На Стругацких и Ильфа
с Петровым просьба не ссылаться)


Возможно для него. Для нас TeX, как система редактирования текстов, являет
собой пример плохого, во многих отношениях, ПО. И принцип работы (язык), и
реализация (

Re: Ada-2012 + Linux

Артём Н. — 2013-05-19T19:20:43

Оффтопик оставлю, но перенесу вниз. :-)

18.05.2013 11:52, Dmitry A. Kazakov пишет:
Спасибо.

Угу, вот только, как пишут, не процесс, а процессы. Штук 100500 методик и
методов, и всё-равно, что-то всё новые и новые появляются (и говорят о сложности
работы с документацией)...
Почему?

Хм... Звучит, конечно, хорошо. А на практике?

Несколько выдернутых цитат Кнута на этот счёт:
"Что до меня, литературное программирование — это самая важная вещь,
которая вышла из проекта TeX. Оно не только позволило мне быстрее и
надежнее, чем когда-либо, писать и поддерживать программы, оно было
одним из самы

Re: Ada-2012 + Linux

Maxim Reznik — 2013-05-19T15:47:43

18.05.2013 21:52, Sergey Kirkorov пишет:

Пришлите, что нужно выложить на сайт, я выложу.

Adastudio 2013

Leonid Dulman — 2013-05-19T08:12:42

Adastudio 2013 is consist of two iso filese and contants
1. qt5ada
2. vtk5ada
3. vad
4 prebuilded QT5 (win32,x86)
5. Prebuilded VTK 5.10.1 with QT5 (win32,x86)
Attention !!! QT5 in win32 is configured
  E:\qt\5.0.0 - qt 5.0.2
  E:\qt\5.1   - qt 5.1.0.beta
             VTK5 in win32 is configured on
  E:\VTK\5.10    

6. Небольшое введение в программирование на ADA-2012        
You can download they from  

https://rapidshare.com/files/3231734174/Adastudio2013_1.iso
https://rapidshare.com/files/3110901306/adastudio2013_2.iso

Leonid

Re: Ada-2012 + Linux

Sergey Kirkorov — 2013-05-18T18:52:19

Здравствуйте!



Есть сторонники этой идеи - генерация HDL из Ada. Переодически я к ней сам возращаюсь (http://www.mediascan.by/index.files/lite-edit-papert.pdf , http://www.mediascan.by/index.files/issn_1814-4225_2012-6.pdf , http://www.mediascan.by/index.files/kh2009/doclad2009sim.pdf), но есть теоритические проблемы в частности автоматизация распаралеливания последовательных алгоритмов. VHDL - Язык описания параллельных процессов и как исключение последовательных, в то время как Ada наоборот.
На ВИТ-Ada 2013 которая пройдет в июне предполагается обсудить эту тему, в том числе и с заинтересованными представителями организаций.
К сожалению

Re: Ada-2012 + Linux

Dmitry A. Kazakov — 2013-05-18T07:52:17


Могу порекомендовать MiKTeX.

http://miktex.org


Есть такая вещь как процесс разработки софта. Документирование его 
интегральная часть. Когда говорят о сложности имеют ввиду писание 
документации потом, когда-нибудь, или что-то вроде того.


Не очень. Во-первых, программа, как литература имеет своей аудиторией 
слишком разные группы, это пользователи, машины, разработчики, поддержка, 
сервис. Во-вторых, разработка программ не искусство, а инженерная 
деятельность, во всяком случае должна бы ей быть. Ее задача не вызывать 
ассоциации и аллюзии, а выполнять конкретные

Re: Ada-2012 + Linux

Артём Н. — 2013-05-18T05:17:33

Dmitry A. Kazakov пишет:

http://www.texmacs.org/tmweb/home/screenshots.en.html
:-)
Я, правда, очень давно пользовался. Но просто и удобно.

В плане?

Говорят, что говорят вот про это:
http://www.literateprogramming.com/
1. Имеет ли смысл?
2. Имеет ли смысл, применительно к Ada?

<big><offtopic>
Здесь я с вами не соглашусь.
Насчёт популярности:

http://www.silicontaiga.ru/home.asp?artId=10750

http://orencode.info/forum/showthread.php?s=5cecf006dd23c1ba090154403e4a5ff1&mode=hybrid&t=3647

http://habrahabr.ru/post/137833/

BASIC там нет вообще. VisualBasic тянется не за счёт мифического "негативного
отбора", а исключительно за счёт платформы, которая на него завязана.

o.O Intel? В каком плане?

https://www.youtube.com/watch?v=e8M6S8EKbnU

Re: Ada-2012 + Linux

Dmitry A. Kazakov — 2013-05-17T19:51:04


Полностью программируемый (я например написал для него селекцию и
копирование колонок). Контекстный help. Поддерживал все языки
программирования. Расширял вызовы стандартных функций и системных вызовов.
Поддерживал интегрированный символический отладчик. Замечу что исполнение
до точки останова или до изменения переменной или локации шло со скоростью
работы программы без отладчика, т.к. было реализовано путем защиты памяти.
Имел журнал. Поддерживал 4 пользовательских сеанса в 1Мб оперативной
памяти.

Re: Ada-2012 + Linux

Dmitry A. Kazakov — 2013-05-17T19:43:34



Буквально. Бейсик - самый плохой язык, Интел - самая плохая архитектура.
Окошки - самая плохая ОС. Они же самые популярные.


Тезис 1. Специализированные языки не применимы в изоляции от областей где
они не работают.

Тезис 2. Среди универсальных языков должен быть лучший. Критерии я не
рассматриваю. Вот его и надо использовать.

Re: Ada-2012 + Linux

Alexey Veselovsky — 2013-05-16T19:25:21

А чем LSE был замечателен?