OberonCore

Библиотека  Wiki  Форум  BlackBox  Компоненты  Проекты
Текущее время: Четверг, 28 Март, 2024 15:38

Часовой пояс: UTC + 3 часа




Начать новую тему Ответить на тему  [ Сообщений: 94 ]  На страницу Пред.  1, 2, 3, 4, 5
Автор Сообщение
СообщениеДобавлено: Четверг, 02 Апрель, 2009 17:10 

Зарегистрирован: Суббота, 26 Ноябрь, 2005 18:38
Сообщения: 1857
Trurl писал(а):
И что изменится если вместо "безупречного математического доказательства" будет длинный список пройденных тестов?


Ничего не изменится. Но вероятность получить такую фигню будет меньше. Просто потому, что тестирование является еще одним кругом обороны от багов - наряду с математическим доказательством, а не вместо.
Да что там баги... Конкретно юнит тестирование благотворно влияет на дизайн системы в целом. Вот одна из любимых тем оберонщиков и предмет гордости - модули. Динамические модули :) Так вот, само по себе их наличие никак не помогает правильному дизайну системы (ну ладно, чуть-чуть помогает - хотя бы явные циклические зависимости контролируются). А вот юнит тестирование - помогает непосредственно. Потому что очень сложно покрыть тестами монолитную систему. А если еще и изначально писать неразрывно с тестированием (что и происходит в нормальном случае), то для монолитности просто не остается шансов.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Четверг, 02 Апрель, 2009 18:58 
Аватара пользователя

Зарегистрирован: Пятница, 25 Ноябрь, 2005 12:02
Сообщения: 8500
Откуда: Троицк, Москва
Самое главное в том, что стиль написания программ "под доказательство" дает программы с существенно более регулярной, четкой и простой структурой. При этом приходится искать и находить способы упростить код.
Просто так сказать "упрощай" не всегда доходит.
А "докажи" дает другую точку отсчета.


Последний раз редактировалось Info21 Пятница, 03 Апрель, 2009 09:33, всего редактировалось 1 раз.

Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Четверг, 02 Апрель, 2009 19:15 
Модератор
Аватара пользователя

Зарегистрирован: Понедельник, 14 Ноябрь, 2005 18:39
Сообщения: 9459
Откуда: Россия, Орёл
Точно. И вариантов для раздумий "а написать вот тут так, или вот так, ведь одно и то же... а шут его знает... красивше так..." остаётся гораздо меньше. Как только получена обоснованная доказательством "мысль об алгоритме", она очень гладко отливается в код.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Пятница, 03 Апрель, 2009 07:36 
Аватара пользователя

Зарегистрирован: Суббота, 29 Март, 2008 19:27
Сообщения: 1053
Откуда: Россия, Чебоксары
Модель и алгоритмический слой далеко не всегда составляют главный объём программного проекта!

Опять продолжаем решать частные задачи...

В общем кто будет анализировать?

см. http://forum.oberoncore.ru/viewtopic.php?p=26835


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Пятница, 03 Апрель, 2009 09:46 
Аватара пользователя

Зарегистрирован: Пятница, 25 Ноябрь, 2005 12:02
Сообщения: 8500
Откуда: Троицк, Москва
Info21 писал(а):
... стиль написания программ "под доказательство" дает программы с существенно более жесткой, четкой и простой структурой. ...
В посте заменил "жесткой" на "регулярной".
"Жесткой", хотя в одном глубоком смысле правильно, в другом (жестко > хрупко) -- неправильно.

Жестко-хрупкими как раз бывают "ополченческие" программы.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Суббота, 04 Апрель, 2009 19:00 

Зарегистрирован: Четверг, 02 Апрель, 2009 13:42
Сообщения: 23
Oleg писал(а):
У BB лицензия дурацкая :( А хотелось бы сразу изучить хороший язык, чтоб потом не пришлось переходить на новый (тоесть без промежуточного этапа)


Ну вот, млин, все зря... :(


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Суббота, 04 Апрель, 2009 22:37 

Зарегистрирован: Четверг, 17 Ноябрь, 2005 11:51
Сообщения: 2935
Откуда: г. Ярославль
Есть какие-то конкретные претензии к лицензии?


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Воскресенье, 05 Апрель, 2009 11:05 

Зарегистрирован: Понедельник, 05 Июнь, 2006 09:49
Сообщения: 327
Откуда: Ленинград, Емельянов Алексей Николаевич
Цитата:
Есть какие-то конкретные претензии к лицензии?

Вот - вот. В чем проблема с лицензией? Я тоже плохо понимаю.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Воскресенье, 05 Апрель, 2009 19:05 
Модератор
Аватара пользователя

Зарегистрирован: Среда, 16 Ноябрь, 2005 00:53
Сообщения: 4625
Откуда: Россия, Орёл
SanekSunshine писал(а):
Oleg писал(а):
У BB лицензия дурацкая :( А хотелось бы сразу изучить хороший язык, чтоб потом не пришлось переходить на новый (тоесть без промежуточного этапа)


Ну вот, млин, все зря... :(
Зато хороший пример того как отрицательное мнение воспринимается с гораздо большим доверием нежели положительное... Один пришел - ляпнул, другой пришел-прочитал и сразу поверил.

Мораль: надо бы серьезнее относиться к модерированию таких категоричных высказываний (например, viewtopic.php?p=26967#p26967). Обязать что ли - пусть хотя бы ИМХО в начале ставят.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Воскресенье, 05 Апрель, 2009 19:53 
Аватара пользователя

Зарегистрирован: Пятница, 25 Ноябрь, 2005 12:02
Сообщения: 8500
Откуда: Троицк, Москва
Евгений Темиргалеев писал(а):
... Зато хороший пример того как отрицательное мнение воспринимается с гораздо большим доверием нежели положительное... Один пришел - ляпнул, другой пришел-прочитал и сразу поверил.
Да, это проблема. Только я бы сказал не "ляпнул", а "соврал".


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Вторник, 07 Апрель, 2009 10:07 

Зарегистрирован: Четверг, 17 Ноябрь, 2005 11:51
Сообщения: 2935
Откуда: г. Ярославль
Сам пробовал ББ на школьниках. Осваивается влёт (я не имею в виду внутреннее устройство фреймворка, которое нужно для совершенно особых вещей).


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Вторник, 07 Апрель, 2009 10:13 
Аватара пользователя

Зарегистрирован: Суббота, 29 Март, 2008 19:27
Сообщения: 1053
Откуда: Россия, Чебоксары
Кстати, раз пошла такая пьянка...
На чём проще всего под WinCE софтину написать (и быстрее)?

Пробовал PellesC (но все виндовые дела руками писать надо), Lazarus - работает, как ни странно, только генерит очень толстый .exe, а в KOL/MCK половина не работает :)

Упоминалось тут про Оберон для ARM - как дела обстоят?


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Вторник, 07 Апрель, 2009 10:18 

Зарегистрирован: Вторник, 29 Август, 2006 12:32
Сообщения: 2662
Откуда: Россия, Ярославль
Да, есть в WinAOS(A2) у компилера спец бэкенд, коомпиляет в ARM. Но конечно, ни о каком WinCE и речи нет. Посему - дотНет, как максимально эффективный и совместимый по фичам.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Среда, 12 Август, 2009 10:23 
Модератор
Аватара пользователя

Зарегистрирован: Понедельник, 14 Ноябрь, 2005 18:39
Сообщения: 9459
Откуда: Россия, Орёл
Уважаемые коллеги,

тема про HiAsm вынесена в отдельную ветку:

viewtopic.php?f=26&t=1758&start=0


Вернуться к началу
 Профиль  
 
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 94 ]  На страницу Пред.  1, 2, 3, 4, 5

Часовой пояс: UTC + 3 часа


Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 5


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Вся информация, размещаемая участниками на конференции (тексты сообщений, вложения и пр.) © 2005-2024, участники конференции «OberonCore», если специально не оговорено иное.
Администрация не несет ответственности за мнения, стиль и достоверность высказываний участников, равно как и за безопасность материалов, предоставляемых участниками во вложениях.
Без разрешения участников и ссылки на конференцию «OberonCore» любое воспроизведение и/или копирование высказываний полностью и/или по частям запрещено.
Powered by phpBB® Forum Software © phpBB Group
Русская поддержка phpBB