Цитата Роберта У. Флойда

Установление формальных стандартов для доказательств программ... и предложение о том, что семантика языка программирования может быть определена независимо от всех процессоров для этого языка, путем установления стандартов строгости для доказательств программ на этом языке, кажется новым. .
Язык программирования предназначен для размышлений о программах, а не для выражения программ, о которых вы уже подумали. Это должен быть карандаш, а не ручка.
Языки фон Неймана не обладают полезными свойствами для рассуждений о программах. Аксиоматическая и денотационная семантика — точные инструменты для описания и понимания обычных программ, но они только говорят о них и не могут изменить их неуклюжие свойства. В отличие от языков фон Неймана, язык обычной алгебры пригоден как для формулировки своих законов, так и для преобразования уравнения в его решение, и все это внутри «языка».
Главный урок Emacs состоит в том, что язык расширений не должен быть просто "языком расширений". Это должен быть настоящий язык программирования, предназначенный для написания и поддержки содержательных программ. Потому что люди захотят это сделать!
Во-первых, мы хотим утвердить идею о том, что компьютерный язык — это не просто способ заставить компьютер выполнять операции, а скорее новое формальное средство для выражения идей о методологии. Таким образом, программы должны быть написаны для чтения людьми и лишь случайно для выполнения машинами.
Единственный способ выучить новый язык программирования — писать на нем программы.
Язык программирования является низкоуровневым, когда его программы требуют внимания к несущественным.
Я принадлежу к старой школе, где считаю, что чистота языка должна быть сохранена. Но английский — это постоянно развивающийся язык, в словарь которого добавляются новые слова, поэтому я не вижу никакого вреда в экспериментах с языком. Только плохие стандарты редактирования нуждаются в улучшении.
Разработчики языков хотят разработать идеальный язык. Они хотят иметь возможность сказать: «Мой язык совершенен». Он может все». Но просто невозможно разработать идеальный язык, потому что есть два взгляда на язык. Один из способов — посмотреть, что можно сделать с этим языком. Другой — посмотреть, как мы себя чувствуем, используя этот язык — как мы себя чувствуем во время программирования.
Я не ненавижу язык. У меня есть свой собственный язык, но я также наслаждаюсь английским языком. Очевидно, вы мало читаете литературы и не заботитесь о языке.
XML — это не язык в смысле языка программирования, а эскизы на салфетке — язык.
Язык фотографии — это формальный язык. Любой фотограф делает что-то формальное. Если это формально, то это должен быть эстетический способ общения.
Мы верим, что можем также показать, что слова не имеют точно такого же психического «веса» в зависимости от того, принадлежат ли они к языку грез или к языку дневной жизни, к языку покоя или к языку под наблюдением, к языку естественной поэзии. или к языку, выработанному авторитарной просодией.
Самым ранним языком был язык тела, и, поскольку этот язык является языком вопросов, если мы ограничим вопросы, и если мы будем обращать внимание или придавать значение только устному или письменному языку, то мы исключаем большую область человеческого языка. .
Между партиями в скоростные шахматы я прочитал достаточно инструкций по программированию, чтобы научиться писать программы на школьном мэйнфрейме DEC на языке Basic.
Мощный язык программирования — это больше, чем просто средство указания компьютеру выполнять задачи. Язык также служит структурой, в которой мы организуем наши представления о процессах.
C нельзя назвать чистым — в языке много подводных камней и ловушек, и, хотя его семантика в каком-то смысле проста, он ничуть не чище, чем дизайн языка ассемблера, на котором он основан.
Этот сайт использует файлы cookie, чтобы обеспечить вам максимальное удобство. Больше информации...
Понятно!