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