OberonCore
https://forum.oberoncore.ru/

Подскажите какой язык программирования выбрать?
https://forum.oberoncore.ru/viewtopic.php?f=35&t=1391
Страница 5 из 5

Автор:  Vlad [ Четверг, 02 Апрель, 2009 17:10 ]
Заголовок сообщения:  Re: Подскажите какой язык программирования выбрать?

Trurl писал(а):
И что изменится если вместо "безупречного математического доказательства" будет длинный список пройденных тестов?


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

Автор:  Info21 [ Четверг, 02 Апрель, 2009 18:58 ]
Заголовок сообщения:  Re: Подскажите какой язык программирования выбрать?

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

Автор:  Илья Ермаков [ Четверг, 02 Апрель, 2009 19:15 ]
Заголовок сообщения:  Re: Подскажите какой язык программирования выбрать?

Точно. И вариантов для раздумий "а написать вот тут так, или вот так, ведь одно и то же... а шут его знает... красивше так..." остаётся гораздо меньше. Как только получена обоснованная доказательством "мысль об алгоритме", она очень гладко отливается в код.

Автор:  Alexey_Donskoy [ Пятница, 03 Апрель, 2009 07:36 ]
Заголовок сообщения:  Re: Подскажите какой язык программирования выбрать?

Модель и алгоритмический слой далеко не всегда составляют главный объём программного проекта!

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

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

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

Автор:  Info21 [ Пятница, 03 Апрель, 2009 09:46 ]
Заголовок сообщения:  Re: Подскажите какой язык программирования выбрать?

Info21 писал(а):
... стиль написания программ "под доказательство" дает программы с существенно более жесткой, четкой и простой структурой. ...
В посте заменил "жесткой" на "регулярной".
"Жесткой", хотя в одном глубоком смысле правильно, в другом (жестко > хрупко) -- неправильно.

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

Автор:  SanekSunshine [ Суббота, 04 Апрель, 2009 19:00 ]
Заголовок сообщения:  Re: Подскажите какой язык программирования выбрать?

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


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

Автор:  Иван Кузьмицкий [ Суббота, 04 Апрель, 2009 22:37 ]
Заголовок сообщения:  Re: Подскажите какой язык программирования выбрать?

Есть какие-то конкретные претензии к лицензии?

Автор:  Axcel [ Воскресенье, 05 Апрель, 2009 11:05 ]
Заголовок сообщения:  Re: Подскажите какой язык программирования выбрать?

Цитата:
Есть какие-то конкретные претензии к лицензии?

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

Автор:  Евгений Темиргалеев [ Воскресенье, 05 Апрель, 2009 19:05 ]
Заголовок сообщения:  Re: Подскажите какой язык программирования выбрать?

SanekSunshine писал(а):
Oleg писал(а):
У BB лицензия дурацкая :( А хотелось бы сразу изучить хороший язык, чтоб потом не пришлось переходить на новый (тоесть без промежуточного этапа)


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

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

Автор:  Info21 [ Воскресенье, 05 Апрель, 2009 19:53 ]
Заголовок сообщения:  Re: Подскажите какой язык программирования выбрать?

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

Автор:  Иван Кузьмицкий [ Вторник, 07 Апрель, 2009 10:07 ]
Заголовок сообщения:  Re: Подскажите какой язык программирования выбрать?

Сам пробовал ББ на школьниках. Осваивается влёт (я не имею в виду внутреннее устройство фреймворка, которое нужно для совершенно особых вещей).

Автор:  Alexey_Donskoy [ Вторник, 07 Апрель, 2009 10:13 ]
Заголовок сообщения:  Re: Подскажите какой язык программирования выбрать?

Кстати, раз пошла такая пьянка...
На чём проще всего под WinCE софтину написать (и быстрее)?

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

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

Автор:  Пётр Кушнир [ Вторник, 07 Апрель, 2009 10:18 ]
Заголовок сообщения:  Re: Подскажите какой язык программирования выбрать?

Да, есть в WinAOS(A2) у компилера спец бэкенд, коомпиляет в ARM. Но конечно, ни о каком WinCE и речи нет. Посему - дотНет, как максимально эффективный и совместимый по фичам.

Автор:  Илья Ермаков [ Среда, 12 Август, 2009 10:23 ]
Заголовок сообщения:  Re: Подскажите какой язык программирования выбрать?

Уважаемые коллеги,

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

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

Страница 5 из 5 Часовой пояс: UTC + 3 часа
Powered by phpBB® Forum Software © phpBB Group
https://www.phpbb.com/