OberonCore

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

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




Начать новую тему Ответить на тему  [ Сообщений: 2 ] 
Автор Сообщение
СообщениеДобавлено: Понедельник, 29 Июнь, 2015 10:49 

Зарегистрирован: Четверг, 17 Ноябрь, 2005 11:51
Сообщения: 2935
Откуда: г. Ярославль
"Арифметика синтаксиса" была написана в 1998 году. Прошло 17 лет. Выросло новое поколение, открывающее для себя новые горизонты: http://habrahabr.ru/post/261339/


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Понедельник, 29 Июнь, 2015 11:48 

Зарегистрирован: Пятница, 13 Март, 2009 16:36
Сообщения: 987
Откуда: Казань
Простота языка - это, конечно, хорошо. Но в основном аргументация в спорах между любителями простых языков и сложных языков сводится к следующим аргументам: "в простых языках мало ключевых слов и мало синтаксических конструкций, поэтому и вероятность совершить ошибку меньше", "а я выучил 50 ключевых слов и 200 синтаксических конструкций и не совершаю ошибок, связанных с синаксисом". При этом аргументы любителей простых языков выглядят не очень убедительными.
Значительное отличие между простыми и сложными языками выявляется если проводить формальное доказательство корректности программ, тогда тот, кто программирует на простом языке, с определенными трудностями, но сможет провести доказательство. А провести доказательство для сложного языка просто не будет возможности, так как даже придумать правила доказательства для некоторых конструкций языка будет затруднительно.


Вернуться к началу
 Профиль  
 
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 2 ] 

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


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

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


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

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