Цитата Пола Грэма

Язык программирования предназначен для размышлений о программах, а не для выражения программ, о которых вы уже подумали. Это должен быть карандаш, а не ручка. — © Пол Грэм
Язык программирования предназначен для размышлений о программах, а не для выражения программ, о которых вы уже подумали. Это должен быть карандаш, а не ручка.
Установление формальных стандартов для доказательств программ... и предложение о том, что семантика языка программирования может быть определена независимо от всех процессоров для этого языка, путем установления стандартов строгости для доказательств программ на этом языке, кажется новым. .
Главный урок Emacs состоит в том, что язык расширений не должен быть просто "языком расширений". Это должен быть настоящий язык программирования, предназначенный для написания и поддержки содержательных программ. Потому что люди захотят это сделать!
Большая часть моей работы появилась из-за лени. Мне не нравилось писать программы, и поэтому, когда я работал над IBM 701 (первый компьютер) и писал программы для расчета траекторий ракет, я начал работать над системой программирования, чтобы упростить написание программ.
Но активное программирование состоит в разработке новых программ, а не в созерцании старых программ.
Как только мы начали программировать, мы, к своему удивлению, обнаружили, что создавать программы не так просто, как мы думали. Необходимо было обнаружить отладку. Я точно помню тот момент, когда я понял, что с этого момента большую часть своей жизни я буду тратить на поиск ошибок в своих собственных программах.
Когда вы говорите о программах предоставления прав, речь идет не просто о сокращении этих программ. Речь идет о сохранении этих программ. Эти программы находятся на пути финансовой неустойчивости.
Я думаю, что люди должны понимать, что такие программы, как социальное обеспечение, программы вроде Medicare, программы вроде Управления по делам ветеранов, программы вроде вашего местного парка и вашей местной библиотеки — это, если хотите, социалистические программы; они управляются [и] для публики, а не для зарабатывания денег. Я думаю, что во многих отношениях мы должны расширить эту концепцию, чтобы американский народ мог пользоваться теми же благами, которыми в настоящее время пользуются люди во всем мире.
Есть племена, я бы сказал нации, которые до движения AIM имели только десять или пятнадцать сотрудников, а теперь имеют свыше 2000. Есть образовательные программы, которых раньше не было, есть жилищные программы, программы здравоохранения, пенсионные программы, культурные программы и этот список можно продолжить. Это все потому, что некоторые люди встали и заявили, что суверенитет — это наше право по договору, а конституция говорит, что договорное право — это высший закон страны.
Многие композиторы используют программное обеспечение для написания музыки — такие программы, как Finale или Sibelius. Есть программы для записи. Я должен сказать, что я все еще очень старомоден, я все еще пользуюсь карандашом и бумагой. Но почти каждый композитор, которого я знаю, делает это «по-новому».
Язык программирования является низкоуровневым, когда его программы требуют внимания к несущественным.
Единственный способ выучить новый язык программирования — писать на нем программы.
Но некоторые люди скажут, что вы только что сделали эти программы. Что ж, да, программы важны, и я горжусь ими, но больше всего я горжусь тем, как Симфонический оркестр Сан-Франциско играет эти программы.
Мы думаем о создании совета экспертов по секторам промышленности, чтобы определить успешные программы и дать рекомендации о программах, которые работают и не работают.
Но когда другие предположили, что бедные должны быть не просто объектами этих программ, но и субъектами — что они должны активно участвовать в формировании программ, принятии решений о том, как тратить деньги и т. д. — некоторые из предыдущих сторонников пересмотрели свое мнение.
В настоящее время в Британии мы сталкиваемся с такими огромными сокращениями образовательных программ, музыкальных и художественных программ, что вы чувствуете, что бьетесь головой о кирпичную стену.
Языки фон Неймана не обладают полезными свойствами для рассуждений о программах. Аксиоматическая и денотационная семантика — точные инструменты для описания и понимания обычных программ, но они только говорят о них и не могут изменить их неуклюжие свойства. В отличие от языков фон Неймана, язык обычной алгебры пригоден как для формулировки своих законов, так и для преобразования уравнения в его решение, и все это внутри «языка».
Этот сайт использует файлы cookie, чтобы обеспечить вам максимальное удобство. Больше информации...
Понятно!