Comdiv писал(а):
Тогда теоретический вопрос - возможно ли установить полную семантику языка?
Знаю, что по сравнению с С можно сократить количество неопределённости. Но как это сделать полностью, если описание на неформальном языке требует уточнений, а уточнения своих уточнений?
Вторая часть вопроса заключается в том, не вредит ли излишняя определённость главному - недопущению ошибок? Я обдумывал, разные стратегии отлова ошибок и нахожу возможность предоставления выбора более оправданным, чем его отсутствие.
Я конечно многого не понимаю, но хорошо, что в ПДД не содержится неопределенности. Или может содержатся? Пока не доводилось сталкиваться с такими, как например в налоговом законодательстве. Хорошо также, что они вполне себе обозримы, и если их не нарушать, то вероятность аварий сократится до минимума (есть конечно и факторы непреодолимой силы, куда уж без них). Ну а если оставить неопределенности с возможностью выбора, то последствия очевидны. Также как, если привнести в них много лишних элементов. Помню как на заводе сдавали технику безопасности, чисто тесты гоняли, чтобы запомнить всю эту скукотищу, вряд ли есть польза от такого "знания".
Я пока не стал водителем, как пешеход ходил "весьма" неосторожно, а сейчас, если приходится идти пешком, очень опасаюсь, т.к. знаю, что водитель не всегда успевает заметить, особенно в темноте, при нашей всеобщей экономии "освещения". Сейчас такое же недоверие начинает возникать и по поводу всех этих запрограммированных авто (хотя бы даже только двигателя, или чего там программируется) и прочих опасных объектов, т.к. по себе знаю, что склонен к ошибкам, особенно если язык программирования этому весьма способствует, а время "как всегда", поджимает. И "доволен", что программирую на 1С, что хотя бы к людским жертвам не приводит (если не считать потерю их времени жизни на ожидание возможности работы).
Особенно "порадовало" про сертификацию, которая не такая уж и "сертификация".