Pull to refresh

Comments 288

UFO just landed and posted this here

Лет 30 пишу на Паскале, все никак не могу перейти на C++. Всё в Паскале нравится кроме begin-end — слишком засоряет код многословием, фигурные скобки в этом плане лаконичнее.

Замечательно, а удобная среда RAD типа Lazarus имеется? Чтобы разрабатывать GUI для Windows, Linux и MacOS?
И объявление переменных в начале функции меня прямо совсем вымораживало 15 лет назад. С тех пор что-нибудь поменялось?
В Delphi новых версиях переменные можно объявлять в блоках кода внутри метода.
Можно. Но редактор Rad студии это почему то не понимает и подчеркивает как ошибку, при том что компилятор переваривает. В последний раз пробовал в версии 10.1.

В свежерелизнутом 10.4.2 вроде пофикшено — для ErrorInsight сейчас задействован LSP (Language Server Protocol), использующий внутри тот же парсер, что и в компиляторе.

Может еще пофиксили ошибку когда периодически неверно показывает структуру открытого модуля в виде дерева?

Не могу сказать, это самому надо проверить на том же проекте. Но этот релиз выглядит довольно стабильным и работает быстро, даже без традиционных хот-фиксов.

Хот фиксы просто (наконец) вошли в саму станцию:
RAD Studio 10.4.2 integrates over 30 IDE Fix Pack changes!
Вообще общее впечатление от станции 10.4.2 очень положительные. Шустрая, стабильная, LSP сильно помогает.
UFO just landed and posted this here
Мне кажется, проблема в том, что это заставляет много думать ещё и ни в чём не повинных людей, которые будут потом читать и дорабатывать код :) Объявление на месте в современных языках позволяет сузить область видимости переменных и упрощает восприятие программы.
Совсем необязательно, что локальные переменные что-то упрощают. Я как javascript-ер утверждаю.

Попробуйте заинлайнить d из кода ниже и посмотрите, упростился код или нет.

Я думаю что так сделали потому что так компилятор писать было проще, ведь именно он реально сложная программа.

Ну кстати не только писать легче. Это позволило еще сделать его однопроходным, что сильно ускоряет компиляцию.

Проблема в том что при объявлении "на месте" можно задать контекст переменным. Например из раста:


let (x1,x2) = {
  let d = b*b-4*a*c;
  ((-b+d)/(2*a), (-b-d)/(2*a))
}

Сразу видны области видимости, переменная d не засоряет весь скоуп всей функции. Чем больше временных переменных (а их обычно дофига) тем лучше.


Просто для сравнения, из моей дрейней программы на паскале:


procedure InFile (var n0,k0:byte);
Var
    InRec0   :TInputRec;
    BufChar  :char;
    BufString:TString;
    C,CharCheck,DigitCheck,DelBool,IncorBool:Boolean;
    I,J,K,M,M1,M2,M3: Integer
  begin

да, студенческий код весьма некачественный и щас бы я написал лучше, но тем не менее если в теле функции используются всякие переменные цикла и т.п., то из-за отсутствия скоупов приходится все эти M1,M2,M3 переизобретать. Ну или переиспользовать одну переменную в разных контекстах, тогда нужно не забыть что i на третьей строчке это одно, а на седьмой — другое, при этом ни разу не использовав случайно i до обнуления.

(-b+-sqrt(d))/2a
Корень потерялся. А заодно проверка наличия корней в действительных числах.

Там много проверок. Нужно еще проверить, как минимум, что a<>0.
Проверка знака дискриминанта, да

Никогда не задумывался о том, что объявление переменных только в начале процедуры может создавать неудобства программисту. А сейчас подумал и вижу, что процедуры могут быть такими длинными, что каждый раз прыгать к их началу (пока сочиняешь процедуру) во первых забодаешься, а во вторых — внутри процедуры бывают такие внутренние блоки (в циклах или в ветвях условного ветвления), в которых нужны "локальные" переменные только этих внутренних блоков. А тут на тебе — объявляй локальные переменные для всей процедуры — во где ещё неудобство зарыто. Не так ли?

По задумке Вирта, каждый «внутренний блок» выносится во вложенную функцию со своим собственным списком var.
Это и есть академичность — формально правильно, а на практике делает код чрезмерно громоздким.
Зато и самодокументирующимся: у каждого «внутреннего блока» появляется название.
Это не просто неудобно — это увеличивает вероятность ошибочного использования этих переменных вне блока, в котором они должны использоваться, и потенциально может являться причиной сложноотслеживаемых проблем. Тогда как объявление переменных внутри блока позволяет такие ошибки устранять еще на этапе компиляции.

А по-моему так удобно. Сразу их все видишь и с самого начала знаешь, что есть что.

есть сомнения, что с Pascal можно перейти на Golang; у Golang синтаксис похож на Pascal, но фигурные скобки вместо begin/end, но Garbage Collection используется у Golang.
Чем это синтаксис Го похож на Паскаль?
Довольно многим, кстати.
Например объявлением функций и вообще, «орднунгом».

Перейти с Паскаля на Го — по моему вообще наилучший путь миграции для специалиста.
А можете какие-то примеры кода? Что-то я не могу уловить сходства, хотя несколько лет программировал на ТурбоПаскале и много лет программирую на Гоу.

А зачем С++? Есть много прекрасных языков которые не требуют 5 лет сидеть в обнимку с книгами чтобы начать писать без детских ошибок.

Примерно пяток, когда дело доходит до практического применения =)
И из них остается только 2, когда затем дело доходит до выбора языка, который умеет генерировать машинный код для создания GUI-программы — какой-нибудь диалект Паскаля Delphi/Lazarus или C++. Все остальные языки или не дозрели до GUI (Go, Rust), или генерят не машинный а байт-код (Java, C#), или же вообще являются чисто скриптовыми (Python).
Зачем нужен именно машинный код — отдельный вопрос, в частности для шароварных программ на машинный код защиту можно более качественную повесить.
Шароварщина еще в тренде? Я думал эта тема уже с начала нулевых не особо актуальна, сейчас все больше стараются сервис продавать вместо кода.
У шаровары есть своя ниша, и не все кастомеры любят онлайн сервисы. А мне шаровару нравится писать для души, т.к. по основной работе сервисы пишу, а «локальная» шаровара — это смена деятельности.

Возьмите хаскель: гц, компиляция в машинный код, компилируемый ассемблер такой что ни один реверс-инжинер не возьмется разбирать. Производительность чуть хуже плюсов (но скорее всего лучше паскаля), потребление памяти лучше чем у джавы.


Но шаровары в 2021 это действительно очень странно

  • Для начала, не стоит зацикливаться на локальном GUI, весь мир более или менее успешно, но массово переходит на Веб-интерфейсы, а там картина кардинально другая;
  • Далее, хороший выбор локального GUI у С, у С++, у D;
  • Сюда же записывается любой компилятор, имеющий биндинги к C-GUI библиотекам вроде GTK или Qt, это будет и Freebasic и Ada и Rust и Nim и много еще чего;
  • Еще, не так давно, чуть более года, C# научился компилировать в маш.код. Java, кстати, тоже;

Мир не стоит на месте, в отличие от Паскаля.
Впрочем, FreePascal хоть и медленно, но прилично подтянулся в части качества оптимизации за последние 10 лет.
Для начала, не стоит зацикливаться на локальном GUI, весь мир более или менее успешно, но массово переходит на Веб-интерфейсы, а там картина кардинально другая;

Представляю себе какой-нибудь 3D-принтер или там МРТ-сканер с веб-интерфейсом :-/
А в чем проблема? Допустим для сетевого принтера это может быть заметно удобнее чем использовать бинарные программки.
Да легко. У меня контролер 3d принтера на Duet2 WiFi. Очень удобно рулить им через браузер.
Upd. Уточнение. Хоть Java и научилась генерировать машинный код с jaotc, но для запуска все равно потребуются .class файлы, так что скрыть код от декомпиляции таким способом нельзя.
Если выполняется машинный код, а не содержимое .class — значит, этот файл можно просто набить мусором?
Нет, там контрольки сверяются. Маш код получается просто необязательный кэш.
Можно после компиляции подставить в машкод значения, подходящие мусорному .class :)
Нельзя. Он оставляет за собой право перекомпилировать код.
И когда это кого-нибудь останавливало?

Увы, не распарсил что написано

Это я понял, я скорее про вторую часть предложения.

Плохой тулинг, малое количество библиотек, слабая экосистема в целом приводит к отсутствию интереса у работодателей ко всяким малораспространенным языкам, даже возможно и неплохим.

Согласен, но даже у языков вроде расте есть довольно большое количество библиотек, и тулинг хороший, а местами даже отличный. Что уж говорить про условную джаву, под которую либ думаю побольше чем под плюсы будет.


И да, как это парсится из вашего предложения я честно говоря до сих пор не понял. Если убрать несущественные детали то диалог выглядел:


— Есть много языков которые не требуют 5 лет сидеть в обнимку с книгами
— Примерно пяток


Извиняюсь что к этому возвращаюсь, но то ли я дурак, то ли лыжи не едут.

Просто упускаешь ремарку «когда дело доходит до практического применения».

Потом смотрим рейтинги востребованных у работодателей языков и считаем те, «которые не требуют 5 лет сидеть в обнимку с книгами». Сколько получилось?

Да сколько угодно. За 5 лет можно стать гуру джавы которые знает все нюансы языка. Тоже для шарпа. То же для практически любого языка из топ-10 рейтингов.


Плюсы крутой язык, но им 40 лет уже. Это не проходит бесследно. А то так ещё придем к выводу что индустрия всё время стояла на месте и ничего лучше придумать не смогла за все это время.

Вот поэтому перебрался на C#.
И стал доволен ещё больше…

Так для C/C++ они написаны, а "другие языки" чаще всего повторяют всё одни и те же процессорные грабли.

Как будто-то Машина Тьюринга (чистая абстракция, полный фейк по факту) будет их интерпретировать, компилировать или выполнять!

Если умолчал о проблеме это решил проблему, то всё ясно с такими программистами.

много прекрасных языков которые не требуют 5 лет сидеть в обнимку с книгами чтобы начать писать без детских ошибок

Вы человек далёкий от каких-то серьёзных вычислений если такое говорите.

А у меня немецкая клавиатура. Ненавижу фигурные скобки. Так что begin...end forever.

Да, поэтому правильный компромисс: просто отступы. Скала3 хорошо показала, что этого вполне достаточно. Для компилируемого языка в отличие от того же питона нет проблем с тем что скрипт может неправильно проинтерпретироваться: у нас есть компилятор. Читается куда чище и проще чем скобки, ну и конечно на порядок лучше бегин/эндов

О, теперь я знаю, почему в части программ на ZX Spectrum у меня появлялись ÄаÜ. Спасибо :)

Фигурные скобки можно диграфами вводить. Я для смеха в последней своей программе на Си их использовал.

Можно, но зачем? Отступы и так являются обязательным элементом любого уважающего себя языка, за некорректные отступы в некоторых обществах можно даже услышать много нелицеприятного про себя. Делать же в языке 2 механизма для одного и того же (и отступы, и скобки) излишне.


Вся аргументация против отступов что я слышал — "а вдруг я со стаковерфлоу код скопирую, а он неправильно вставится". Что тут скажешь — обычно разработчики достаточно интеллектуальные, чтобы суметь нажать tab/shift+tab несколько раз чтобы выравнить код

Вы, кажется, не мне хотели ответить.
Лет 30 пишу на Паскале, все никак не могу перейти на C++

На Паскале программировать начал тоже 30 лет назад. На C немного в университете тоже попрограммировал немного. Но после окончания универа как на перл перешёл, так и не вылезаю из него. Паскаль-то хорош. Но мне ж нужно ваять сайты, ну и всякие скрипты для управления системой и контроля над ней.

Да, то, что на Перл можно написать за полчаса, на C или Паскале с 0 полгода будешь писать и ещё года 2 отлавливать ошибки. :-) Я лет 12 назад был монстром Perl regex и написал по нему курс лекций для intuit.ru и книжку «Perl для профессиональных программистов. Регулярные выражения», изд-во Бином. При этом сам был любителем. Несколько раз находил ошибки в Perl и в рег. выражениях, писал на bugs(a)perl.org (или как-то так), их исправляли. Раз, когда был Perl 5.8.1, написал программку
#perl -Mstrict -wc
map{while(1){}}@a;

которая завешивала компьютер и под Windows и Unix сервер при её трансляции(!) Было такое впечатление, как будто я первый, кто начал программировать на Perl. :-)
Как-то поспорил с одним профи, что смогу написать для Perl 5.8.x одно re, которое проверяет на правильность арифметич. выражения с неограниченным уровнем вложенности скобок и написал, дав пример, как можно по кирпичикам составлять такие re.
Будете ли вы переиздавать книгу в Википедии?
Да мне не жалко, надо узнать, как там издают книги, надо на всякий случай договор глянуть (а то возьмут и посадят...), а с налёта я на диске этой книги не нашёл, в 2007 г. она выходила. Тема больно узкая: на intuit.ru на курс моих лекций записалось 11 человек…

По поводу проверки арифм. выражений и другие мои продвинутые re можно глянуть в моём разделе на www.cronc.com/ru Жаль, я не нашёл, как на этом материале можно зарабатывать, пришлось оставить это дело…
С 2007 года прошло 14 лет. Неужели мог быть договор на четырнадцать лет?
Вас это може удивить, но типичные договора с издательствами бывают на 10 лет или 20.

Время, вне IT, течёт несколько медлненнее.

Раз, когда был Perl 5.8.1, написал программку ... которая завешивала компьютер и под Windows и Unix сервер при её трансляции(!) Было такое впечатление, как будто я первый, кто начал программировать на Perl. :-)

Perl это реально write-only язык. Как будто даже не выполняют потом!

вы думаете { } лучше? ну если только с точки зрения краткости набора :-)
Помню, на Turbo Pascal 5.5 написал программу для решения шахматных задач на обычный, обратный и кооперативный мат в любое число ходов без рекурсии (я тогда о ней, похоже, не знал). Работала без ошибок. Exe файл для ДОС имел размер 20 Кб. А для устранения begin-end можно было бы сделать директивы препроцессора, это ведь не сложно. Я использовал свои макросы клавиатуры для ускорения работы.

А месяц назад я решил вспомнить C, чтобы стать, как все, и переписал свой быстрый LZ компрессор с Delphi 7 на C (под GCC, пока только декомпрессор) и получил значительный выигрыш в скорости, я на асм пока такой скорости не достигал. Хотя, под Lazarus отлаживать программу удобнее, чем в GCC. Я вообще не пользовался отладчиком, когда переписывал… Теперь постараюсь превзойти zstd на быстрых уровнях сжатия с пом. своих типсов с триксами. :-)

В пень фигурные скобки! У меня немецкая раскладка. Мне в разы легче набрать begin/end.

А держать три разные раскладки - переключать замучаешься.

Всё это происходило без международных проектных организаций, без бюрократии и бюджетов на исследования. Сегодня это было бы невозможно.

Но почему сегодня невозможно работать без бюрократии и бюджетов? Почему запрещено работать за свой счёт? Я знаю людей, которые именно так и работают, «без бюрократии и бюджетов».
В школе: Рапира(?) → QBasic → Turbo Pascal → Delphi… И тут я понял, что разрабатывать интерфейсы мне нравится гораздо больше, чем программировать. К сожалению )
Ох, эти кнопочки с пиктограммами, отбрасывающими разную тень в зависимости от нажатия. Локализировать их, конечно, тот ещё геморрой, но выглядят — прекрасно!
Этот BWCC казался инородным включением еще во времена Windows 3.1, а уж чем дальше тем хуже. Но с ним успешно соперничал Lotus Notes / Domino. Хотя теперь, конечно, ностальгическая юность.
Turbo Pascal был моим первым языком программирования.
Все базовые вещи на нем выучил: структуры данных, алгоритмы (вычисления, линейную алгебру, графы), работу с файлами. Основы, без которых дальнейшее обучение программированию бесполезно.

Это останется навсегда:
uses Graph
Turbo Pascal был моим первым языком программирования.

И моим, нас ещё всякими формами Бэкуса-Наура мучили, синтаксом на диаграммах.
Кстати, странно что в статье Вирт обошёл вниманием Аду и VHDL, они вроде тоже если не дети, то внучатые племянники дедули Pascal-я.
Oberon2 и Component Pascal куда-то потерялись.

Модуль Graph и подключение egavga.bgi
Прямо так и говорили "подключить егавгу"

У нас в школе был очень популярен vga256.bgi, для визуализации и игрушек было гораздо полезнее ;)
А что cga,bgi никогда не подключали?! :-)
Неа, у нас стояли 286-ые IBM PS\2 — и в них стоял какой-то хитрый MCGA адаптер, который помимо стандартных VGA режимов умел 640х400(480?)х256 цветов, а в 16-цветных режимах умел вроде бы даже 1024*768 interlaced — хотя мониторы при этом аццки свистели.

Поэтому нам CGA/EGA было уже неинтересно совсем ;)

Даже в том месте, где я первый раз полапал Паскаль, адаптеры работали с EGA-драйверами, при этом игры (Dangerous Dave) их как EGA не видели. Прелюбопытные были железяки. А уж потом — какой CGA, вы о чем? 16 цветов красивее.

У нас в универе были Искры у которых был только CGA. Так что рисовали на драйверет cga.bgi. :-)

Зачем в этой программе в заголовке


uses crt, graph;

если ни то ни другое в коде не используется?

Чтоб утереть скупую слезу ностальгии.

Наверно, какая-то тётя так преподавала. :-)
Паскаль стал и моим первым языком программирования. После этого в кружке информатики я уже познакомился с Делфи. Но душа просила C++, добравшись до которого (найдя книгу по С++ в библиотеке) я был в огромном восторге.
До сих пор тошнит, когда вижу паскалевский код.
Рискую с Вами за компанию отхватить минусы, но подтверждаю.

В детстве нравился Паскаль, потом его и сам преподавал в школе, а ещё позже даже выполнил пару заказов на фрилансе с этим языком. Можно сказать, что именно детище Вирта и сформировало меня как программиста.

Но сейчас бы программирование на нём было бы лично для меня пыткой, я бы не стал на нём работать даже если бы предложили солидные деньги. Даже сам толком не понимаю почему так — ведь это же эталон структурированности и понятности в написании программ. Даже на богомерзком VBA я с огромным удовольствием делаю pet-проекты, но не на Паскале.
Я не уверен что это вина языка. Сегодня выбор языка обусловлен не только самим языком но и его «обвеской»: фрэймворки, библиотеки для доступа к другим системам, драйвера, IDE, средства статического анализа и прочая и прочая. Думаю с самим языком ничего такого страшного не случилось. Просто не успел в свое время набрать достаточной массы чтобы коммьюнити и монстры вложились в его разработку.
Почему так? Я вот наоборот, тоже вырос на Паскале, по основной работе использую Java, Python и прочюю байткодовую или скриптовую «богомерзость», а шаровары до сих пор пишу на Lazarus. Эта IDE очень хорошо воспроизводит «экспириенс» Дельфи. Иногда делаю попытки найти аналог ГУИшной разработки на C++, но пока безуспешно, то одно то другое не нравится во всех этих Qt, Gtk, wxWidget, Ultimate++ и прочих.
Был когда то Borlan C++ builder, очень похожий на Delphi. Но я его расцвет популярности не застал, по причине моего возраста.
Один из современных наследников Pascal также и язык Structured Text, который широко применяется в программировании АСУ ТП.

Первая статья в журнале Монитор, про баг в ТурбоВижн! За что получена 5ка по информатике автоматом в 11 классе :) Ностальгия.

Очень заинтересовали (именно как работа школьника). Нет ли ссылки или скана.

Ничего себе!!! Я думал журнальчик то все — почил в Бозе совсем и навсегда :) Спасибо! Не поленился — нашел заметочку :) 3.94 на 4й странице :)

По этому поводу был анекдот из конца 80х:


Знаете, почему Никлаус Вирт никогда не ездит в Испанию?


Потому что он один раз спросил у своих испанских коллег:


— Правда, что Паскаль — один из лучших языков программирования?
— Si!, ответили испанцы.


Обиделся Вирт, и с тех пор в Испанию ни ногой...


P.S Уже лет… дцать в своих проектах успешно применяю Паскаль совместно с
С++


Потому что каждый инструмент хорош, если его использовать по назначению.

Потому что каждый инструмент хорош, если его использовать по назначению.

А вот про это расскажите поподробнее, пожалуйста. Какой назначение у Pascal?

Если мыслить и писать алгоритмами — то паскаль тут идеально вписывается.
Ох, не сказал бы.
Если в алгоритме сказано «достань в таблице третий элемент», я могу написать table[3].
А вот «достань в записной книжке телефон Маши», написать phone[«Masha»] уже не получится, хотя с чего бы. Ну или «пройдись по всем элементам таблицы». Возможностей для построения абстракций там не хватало.
Вы говорите не про алгоритмы, а о некой лично Вам удобной фиче. В Паскале это реализуется, и не одним способом. Вас кавычки в Маше не царапают? А лично меня таки да. По мне запись phone.Masha, например, куда ближе сердцу.
Ассоциативный массив путаете с записью.
UFO just landed and posted this here
UFO just landed and posted this here

Можно реализовать через Variant. Такое используется, например, в подлибе mORMot для работы с JSON. Тормозить не будет.

В Дельфи, помнится, придумали мега-фичу для тех далёких времён, когда борланды ещё изобретали дельфи:


Для операции присваивания сделали возможность наваять свой метод write (точное название не помню), а для операции чтения значения из свойства (из переменной), соответственно, метод read.


Вот это была фича так фича!


Получалось, что я мог написать целую процедуру установки значения, которая вызывалась бы в момент обработки оператора присваивания:
a := b
`- а в это момент запускается написанная программистом процедура, которая реализует подарограмму установки значения. Поприменять эту фичу я:
а) тогда так и не успел
б) в других языках подобных фич больше нигде не видел

в других языках подобных фич больше нигде не видел

Для свойств — есть во всех языках, где есть свойства, хотя бы в C#
Для типов — перегрузка operator= есть в C++
Определяемые пользователем преобразования типов — есть в C++ и в Scala
UFO just landed and posted this here
Согласен, пусть будет функция get_phone(string name)
И как теперь в Паскале получить phone.name? Может, я чего-то путаю, но не помню такого синтаксиса.
Свойства есть в Дельфи-диалекте (поддерживается и в Фрипаскале).
Но вообще за переопределением операторов это в более продвинутые (и сложные!) языки.
В Паскале да, такого не было. Но теперь-то оба ваши предложения можно сделать на свежих версиях Delphi.
Ну сейчас у нас вообще конвергенция языков, и на всех языках можно сделать всё. Я с Бейсика начинал, но покажи мне тогда современный VB.NET, я бы и не догадался, что это Бейсик. И классы тебе, и наследование, и даже обработка исключений. Я так подозреваю, что Никлаус Вирт всё-таки не современный Delphi представлял себе.
А тут вот и думай — или считай паскаль таким, каким его видел Вирт, и тогда зови его устаревшим и никому не нужным, или смотри на его развитие в виде fpc и delphi.

А то в развитии и фичах С++ никто не отказывает, а на паскаль смотрят через призму 40-летней давности
Ну это на самом деле разные вещи. Потому что развитие C++ в целом соответствует представлениям его автора — он по-прежнему активен, обсуждает нововведения и т.п. Вирт же не хотел Delphi, он хотел Modula и Oberon. «Современный Паскаль» — это «язык по мотивам», который в чём-то ближе к C# (и отражает видение Хейлсберга), нежели к исходному Паскалю.

А можно минимальный пример программки на паскале, которая делает 3 вещи:


  1. определяет свою структуру данных типа MyArray, которая является оберткой над динамическим массивом некоторой длины (передается в конструктор аргумнетом)
  2. реализует возможность итерирования по всей структуре данных (for each), которая работает очевидным образом
  3. написать функцию foo, которая должна получить на вход MyArray и указатель на функцию-предикат. Задача найти элементы MyArray удовлетворяющие предикату из аргументов, отсортировать их и вернуть первые 3. Функция должна работать для массива любого типа, который поддерживает сравнение.
Уже начиная с «конструктор» мы переходим с классического паскаля на object pascal.

Не переходим. Можно сделать "конструктор"-функцию с тем же самым. Или по-вашему есть принципиальная разница между foo := new Foo(args) или foo := NewFoo(args)?

Я правильно понимаю, что вы хотите, чтобы я на классическом паскале реализовал ооп и что-то из разряда хаскелеподобия?

Нет, не хочу. Я предлагаю реализовать пару функций: создающую структуру с "контекстом" — небольшой оберктой над массивом. И функцию принимающую этот контекст и делающую некоторую работу.


Где тут ООП? Где тут хаскель?

Пару функций. А я про алгоритмы, ради которых вы хотите пару функций.
Да, можно. Но вы потом напишете, что в <подставьте ваш любимый язык> это делается в 4 строчки, не то что в вашем Delphi. )

Именно так, да.


Смысл же в том, чтобы писать поменьше, а получать побольше, чем меньше бойлерплейта тем лучше, нет?

Важно не меньше писать, важнее чтобы код был максимально понятен тем, кто будет его читать. Нужна золотая середина. Ниже я упомянул про Oxygene — диалект Паскаля со многими конструкциями, взятыми из других языков.
Если платят за количество строк кода, определенно, нет =)

Кстати, в Дельфи завезли лямбды, да и открытые массивы там давно, так что все это реализуемо. Только непонятно, зачем. «Смотри, как я могу» ??
Функциональные ЯП не снискали такой популярности как Паскаль.

Напомни, где там в Тиобе появляются чистые ЯП?

И да, писать ТЗ из области хотелок, просто смешно. Вам пуговицы, или…?
UFO just landed and posted this here
UFO just landed and posted this here
UFO just landed and posted this here
У каждого свои интересы. Я лишь указал на факт. Возможно, не там искал.
UFO just landed and posted this here
UFO just landed and posted this here
Вроде, если я ничего не путаю, классический паскаль ООП не поддерживает. ООП появился как диалект в поздних версиях Турбо-Паскаля.
UFO just landed and posted this here
Современные диалекты Пасаля имеют стуктуру для словаря, правда она не так лаконична как в современных языках, но использовать можно.
Есть диалект Паскаля Oxygene, так они синтаксис всех новомодных фич берут из C#, Java, Swift с минимальными изменениями.
var phones: TDictionary<String, String>;
...
phone := phones['Маша'];
Да, это я понимаю. Но это не совсем про исходную тему — «Паскаль хорош для описания алгоритмов». Данный листинг можно переписать с минимальными изменениями на любом родственном языке — C#/Java/C++, и в этом контексте «современный Паскаль» ничуть не лучше и не хуже альтернатив.
Судя по комментариям — весь текст можно было бы убрать, оставить только заголовок и КДПВ, и реакция была бы той же самой :-\

К слову, этот текст опровергает распространенную байку, что Паскаль изначально создавался как язык для обучения программированию. Судя по этому рассказу, Вирт сначала создал язык так, как ему представлялся хороший язык программирования, а уже потом он стал популярен в обучении.

Да вроде не опровергает: что является критерием «хорошего языка программирования» для профессора, чья работа — учить студентов программированию? «Pascal was easy to teach, and it covered a wide spectrum of applications» — обратите внимание на порядок приоритетов.
У вас в КДПВ отступы потерялись!
Когда учился в НГУ, то Н.Вирт пару раз приезжал читать лекции. Тогда он продвигал Oberon, который даже был в учебной программе. А паскаль еще в школе учили и программировали на нём.
А паскаль еще в школе учили и программировали на нём

В школе — в какие годы? Во 2-й половине 80-х в школах на "Информатике" учить начинали с Бейсиков.

В нашей школе не было ни паскаля ни бейсика, а был черепаший логоклон
да, был такой. Но вроде недолго.

Да, ностальгия сумасшедшая. Тоже начал с него постигать программерскую науку. Буквально на днях попались под руку две книжки по Паскалю, начала нулевых, полистал, повспоминал…
Сейчас, конечно, язык кажется тяжеловесным (впрочем, после JS/TS любой таковым кажется), особенно дико выглядит то, что после строки "uses что_то_там" в глобальную область сыпется всё содержимое модуля (привык поштучно импортировать и знать, что и откуда).

Это не из-за модульной структуры как таковой, а просто модули спроектированы неправильно. Правильное проектирование модулей тоже подразумевает инкапсуляцию того, что клиентам видеть не нужно (раздел implementation), и шару только интерфейсной части (раздел interface).
Первый Turbo Pascal 3.0 был для MSX2)
Покупал Turbo Pascal for Windows 1.0 на трех пяти дюймовых дискетах. Какая там была документация!)
А какой Turbo Pascal был быстрый на MSX, вжик и готово!
Не то что ASCII C, который долго жевал дискетки, прежде чем скомпилирует программу.
Так как раз Кан и поднялся на быстром компиляторе. Это немного определяется особенностью языка — у Паскаля формальный синтаксис более простой чем у C. К тому же для C еще нужно линковать модули. Turbo Pascal 2.0 помню на MSX/MSX2 )))
Да, программа на TP 5.5 транслировалась за полсекунды, а на TC 2.0 за полминуты. Библиотеки там, по-моему, раза 2 просматривались.

На СМ-2М был транслятор с Паскаля, но он транслировал не в код для ЦП, а в программу на ассемблере.
Это еще пол беды, он генерировал промежуточный код в asm 8080 с ошибками и не такой оптимальный как у Turbo Pascal.
Т.е. программы получалась не рабочей.
Приходилось его просматривать, исправлять, оптимизировать, после этого все работало)

Именно с тогои не заладилось у меня с C и С++.
Очень странно, кроме отсутствия поддержки чисел с плавающей точкой, я не помню никаких проблем с ASCII C. Коллеги на нём игру написали для MSX-1, например, не хуже чем у KONAMI была.
Какая там была документация!

Дома где-то лежит коробочный седьмой паскаль с турбовижном до кучи. По размерам — куб со стороной полметра, по весу килограмм так 10, и таки да, почти всё из этого — чисто документация %)

Так там все понятно написано.
Сколько раз исправлял ошибки именно по тому, что проситал фирменную доку!

Ностальгия:) школьные агаты и паскаль:)

Уж если ностальгировать, то у меня прямо по тексту Вирта — я начинал с Алгола 60 на машине БЭСМ-2, которая стояла в пристройке во дворе физфака МГУ. Поэтому у меня Алгол — типа, первая любовь и я его помню. Хотя, конечно, для радиофизических задач Фортран был более адекватен, но он стоял на недосягаемой для меня тогда БЭСМ-6. Начав работать, я таки прочно пересел на Фортран, а на Паскаль меня «пробило» только в начале 90-х. Помню, я купил и торжественно приволок в лабораторию кубик BP-7. Меня заворожила строгость языка в сравнении с анархическим Фортраном. С другой стороны, используя ассемблерные вставки как часть текста, можно было гулять, как вздумается. Если Фортран и его библиотеки были удобны для численного моделирования, то Паскаль очень сгодился для систем автоматизации эксперимента и для организации взаимодействия со всякими железками на низком уровне. Вплоть до написания систем реального времени с разделением этого же времени для возможности параллельной обработки данных оператором. Разумеется, все то же самое можно было делать на Турбо Си, например. Но вот тут, на мой непросвещенный взгляд, царила чистая вкусовщина. Меня эти фигурные скобки бесят. А begin...end; — греют. А кому-то ровно наоборот.
Паскаль создан как язык для обучения. Он находится на более высоком уровне чем C, что делает последний более универсальным, что, в конечном счете, привело его к популярности.
Не совсем так. В конце 70х-начале 80х Pascal был гораздо популярнее C. Уже тот факт, что в момент выхода IBM PC для неё выпускался MS Pascal, а вот C появился сильно позже — говорит о многом. Да и MacOS тоже изначально на Pascal была написана.

А потом… потом разные диалекты начали разбредаться. А как раз у C началась стандартизация (ANSI C89, который, в отличие от Pascal, разработчики компиляторов реально старались поддерживать, потом C++, где вначале диалектные фичи появлялись, но потом их все дружно изводили). И популярность Pascal начала стремительно падать.

Думаю эти вещи связаны друг с другом, но всё равно непонятна причина. Почему разработчики C стремились поддерживать стандарты. Почему разработчики Pascal на них плевали?
Всего лишь потому, что настоящий ANSI/ISO Pascal для реального программирования не подходил никоим образом. То есть вообще. У Pascal был международный Стандарт, но на этом стандартном Pascal никогда и ничего не было написано (студенческие “ввести два числа, вывести их сумму” не считаем). Но многим хотелось. В результате появилась куча Pascal-подобных языков. Некоторые из них даже назывались Pascal'ями, но при этом Pascal'ем с точки зрения ANSI/ISO Стандарта они не являлись. Не в том смысле, что шибко расширяли Стандарт, а в том, что вообще не реализовывали его. Apple, кстати, была в этом плане хорошей честной компанией, и не называла свой язык Pascal'ем, а в Object Pascal их Clascal превратился уже много позже (они вроде даже как с Виртом перетирали эту тему).

А у C хоть и не было международного (ANSI/ISO) стандарта, но был Unix. И этого оказалось более чем достаточно для всеобщего признания K&R C как Стандарта, который надлежит соблюдать. А потом уже ANSI/ISO подтянулись.
А потом уже ANSI/ISO подтянулись.
Вот в том-то и дело, что не “потом”. Многие фишки были добавлены в разные компиляторы C синхронно, одновременно и совместимо в конце 80х. А стандарт вышел только в 1989м.

Это уже потом Microsoft “забил” на C и поддержку более новых стандартов, чем C89 не добавлял десятилетиями (я не издеваюсь: до 2020го года он только C89 поддерживал… в 2020м наконец-то ситуация изменилась).
Однако “забив” на C Microsoft и другие разработчики компиляторов вложились очень сильно с поддержку стандарта C++ (использование разных вендоро-специфичных вещей постепенно уменьшалось).

А вот в Pascal мире над идеями стандартизации и поддержки ISO все откровенно смеялись. Ну и досмеялись почти до полного забвения, по итогу.

В мире Паскаля стандартом де-факто стал Turbo Pascal, а затем Delphi. Другие известные компиляторы, такие как FPC и Oxygene, умеют работать в режиме совместимости.


Проблема в том, что Delphi как язык очень консервативен и медленно развивается. Smart Pascal (Smart Mobile Studio), Oxygene — диалекты Pascal/Delphi, которые получили разные классные фичи, и они продолжают улучшаться. Но в этой части им приходиться жертвовать совместимостью.

Дык нет никакого «мира Паскаль». В том-то и дело.
Все библиотеки и все разработки затачиваются под конкретный комплиятор.
Поддерживающих хотя бы пару — крайне мало.
А вот в мире C/C++ — это было нормой уже в 80е.
Почему так получилось?
Борланда уже 11 лет как нет. Есть ли по-прежнему мир Паскаля?
Delphi как язык очень консервативен и медленно развивается

Сложно развиваться, когда ближайший конкурент играет грязно и жёстко. Майки перекупили двух главных идеологов, Хейлсберга и Гросса, и сделали всё, чтобы развитие остановилось. Наверняка читали все эти истории про скупку акций через подставные фирмы, своего человека от MS в совете директоров Борланда, передачу технологий и другое. Проблема не в идеологии Делфи и не в технологиях. Большая политика и большие деньги всё предрешили. Компанию просто съели, раздавили. www.sql.ru/blogs/ozka/360

Но сейчас дела бодро идут в гору :)

Майки перекупили двух главных идеологов, Хейлсберга и Гросса, и сделали всё, чтобы развитие остановилось.
А много эти
“главные идеологи” наразвивали в C++?

Главная проблема Pascal — в том, что в какой-то момент Pascal стал восприниматься только как Turbo (потом Borland) Pascal. Так что как только у этой одной фирмы начались проблемы — сразу всё и посыпалось.

А вот в случае с C++ идеолог хотя и работал, формально, на одного из вендоров, однако Sun никогда не был лидером в мире C/C++. И даже когда Sun исчез — это не привело к катастрофе.
В стандарте Паскаля нет описания стандартной библиотеки. А без нее работать невозможно. Потому каждый городил во что горазд.

А у Pascal и нет никакой “стандартной библиотеки”.
Для Extended Pascal ISO 10206:1990 читать «6.7.4 Required procedures and functions»

Для предыдущего стандарта тоже было, лень смотреть.

Но там функциональности кот наплакал.
Но там функциональности кот наплакал.
Но даже её умудрялись не реализовывать! Вот в чём парадокс-то.
А в C с пом., кажется, директив препроцессора можно фигурные скобки заменить на begin и end. :-) Где-то я такое видел.
Делал сервер для реалтайм стратегии на freepascal (lazarus), ибо по C++, почти никаких знаний. После as3 и C#, никаких прям сильных неудобств не почувствовал, и даже понравилось что паскаль «заставляет» более вдумчиво подходить к алгоритмам, или следить за памятью.
Имхо из существенных минусов, что прочувствовал это небольшой выбор среди уже готовых библиотек.
А так, язык как язык, быстрый, понятный, билдится под любую платформу.
Кстати вроде бы Skype раньше был на Delphi, и только потом они перевели на реакт, и все стало дико тормозить, даже просто набор сообщения иногда. Хотя сейчас вроде получше.
Скайп утащили с Делфи на Электрон и после этого и до сих пор он адово тормозит. Юзаю на свежем Redmi 9c.
Новый Скайп никак не хочет запомнить размер и позицию окна после перезагрузки. Базовая вещь для Windows-приложений. Так же убрали возможность состряпать свой перевод для интерфейса.
UFO just landed and posted this here
Сначала Basic, потом Pascal, C, C++ и VBA. До функционального программирования не дошел, к сожалению. Не могу сказать, что Pascal удобен для программирования, С лаконичней, а в C++ есть полноценные классы. Но для обучения программированию, наверное, лучше всего.
Люблю паскаль, даже прикупил и реанимировал ноутбук под него, на 486DX. Ностальгировать, так на всю катушку.
даже прикупил и реанимировал ноутбук под него

Так можно же в DOSBox'е носталигировать?

не аутентично получится, без погружения (хотя, признаюсь, поставил CF вместо родного HDD, избавившись от лампового потрескивания).

Запускать программу неудобно — по умолчанию Ctrl+F9 убивает досбокс. Это меня когда-то ТАК выбесило...

именно! все так, все так. плюс, ТП (у меня на dosbox'e) не сохранял пути для модулей.
Под Windows XP TP работает в полноэкранном режиме из-под Дос Навигатора.
Хм… Складывается впечатление, будто Вирт под прессом лет то ли подзапамятовал что-то, то ли решил, что пора бы уже прибрать всю славу к рукам. Не мне, конечно, спорить со столь уважаемым (абсолютно искренне) мэтром, но напомнить есть о чём.

“Algol 60 was intended for scientific calculations (numerical mathematics) only.”

Да ладно! Algol-60 был у меня первым в промышленном программировании. И то были не scientific calculations only, а очень даже real-time missile defense systems. В отличие от fortran (как же я признателен мирозданию за то, что первым у меня всё же был не он, а именно algol).

Pascal was easy to teach, and it covered a wide spectrum of applications, which was a significant advantage over Algol, Fortran, and Cobol. The Pascal System was efficient, compact, and easy to use.

О как! По прошествии 50 лет изначальный pascal (в том числе и стандартизованный ANSI) внезапно оказался универсальным языком! При том, что имел лишь жалкие намёки на io, и вообще не имел ничего подобного хотя бы сишной (читай “файловой”) модульности (да-да, вы правильно поняли — программа людого размера могла быть только в одном единственном исходном файле, что лишь подтверждает назначение языка, см.след.абзац), из-за чего мне в своё время пришлось написать для него препроцессор.

Дедушка Никлаус сам же и заявлял, что создавал pascal как язык не для практического программирования, но для обучения программированию (структурному). И я, кстати, преподавая программирование, с огромным удовольствием именно его и использовал, pascal для этого действительно был в те временя the best. Для работы Вирт сам же взялся за Modula-2 и Oberon. А увидев взрывную популярность pascal (куча несовместимых между собой диалектов, и при этом ни одного из опробованных мной соответствующего Стандарту ANSI), Вирт сам же и сказал что-то в стиле “Главная беда pascal в том, что очень многие восприняли его слишком всерьёз”. Спустя 50 лет это решил сделать и сам создатель? Только он путает свой pascal с тем, во что его превратили early adopters.

Впрочем, Вирта я и впредь буду уважать, не pascal'ем единственным (да и вообще не pascal'ем) ценен он отрасли. С 50-летием отпрыска тебя, дед!
Algol-60 был у меня первым в промышленном программировании. И то были не scientific calculations only, а очень даже real-time missile defense systems.

Ого! Стесняюсь спросить, а на какую страну вы тогда работали? Неужели советские противоракеты программировали на Algol-е?
На “совок” и работали, на кого ж ещё. Противоракеты (В-1000) программировались проволокой :) Но ПРО же состоит не только из противоракет :) Одной только «Аргунью» управляли шесть ЭВМ (каждая в современной терминологии была гарвардской двухядерной). Одной единственной РЛС «Истра» даже без стрельбового комплекса.
Но премию Тьюринга Вирт получил на за Pascal, а, кажется, за разработку какой-то СБИС.
На Вики написано: За разработку серии инновационных компьютерных языков, Эйлер, Algol-W, Модула и Паскаль.
Насчёт СБИС я где-то читал, возможно, то была ошибка.

В виртовском паскале ещё и обработки строк не было.

Вся заслуга превращения паскаля в язык, пригодный для практического использования, принадлежит UCSD. И дальше это развил Borland.

Никлаус Вирт — человек опередивший своё время на десятилетия!
Идеальный язык должен определяться в категориях математической логики, аксиом и правил вывода. Для его понимания не должно требоваться никакой отсылки к любому компьютеру или механизму. Это основа портируемости.

По моему скромному мнению — это и привело к тому, что Паскаль не стал таким-же популярным ЯП как С или Java, хотя такие предпосылки и были. Слишком он академичен, это хорошо для преподавания и обучения, но плохо для повседневной работы, обычной программистской рутины.
К сожелению дочтаточно часто встречается дельфи программирование на Java.
Типичный пример: в начале метода объявляются все переменные, а потом проверяются на нулл несколько раз)
Это да, такой маркер того что программер из бывших паскалевцев. Когда писал на Делфи такой стиль не напрягал, потому что не знал что можно и по другому. Сейчас понимаю что это реально затрудняет работу с объемным кодом, пока дочитаешь до места где переменные используются — уже все забываешь, да и вообще ее наличие в области видимости, в которой она не нужна — это не очень хорошо.
Впрочем писать лучше так, что-бы таких огромных «портянок» кода не было, так что тут в общем-то недостаток спорный, если писать правильно, декомпозируя задачу и разбивая на небольшие модули, то и объявление переменных вначале метода не сильно мешает. Проблема только в том, что в реальных, рабочих проектах классы обычно довольно быстро распухают и становятся трудно читаемыми.
Вы сами же и нашли решение проблемы. В Паскале изначально можно и нужно было делать декомпозицию кода. Для этого кроме прочего есть подпроцедуры любой вложенности.
Я ее и не искал — решение очевидно. Просто вот представьте себе — легаси проект с многими сотнями файлов с кодом, который пилят десятки разработчиков уже многие годы. Да там модули распухли, да много кривого и откровенно дерьмового кода, да это плохо, но с ним все-таки как-то надо работать. Просто взять и декомпозировать все сразу — в идеальном мире это было-бы возможно, в реальном — в лучшем случае это будет делаться постепенно.

Т.е. так или иначе, но вам приходится иметь дело с «портяночным кодом», и в этом случае такой стиль объявления переменных реально делает код еще более трудночитаемым.

И проблему доступности переменных во всем блоке это не решает. Могу ошибаться, но вроде бы классический Паскаль не разрешает объявлять переменные внутри begin… end;?
Если код изначально так написан, то с этим придётся мириться, а что делать?
Да, в Паскале все объявления переменных только в отдельной секции var. Интерфейс отдельно, имплементация отдельно.
На мой взгляд это говорит в первую очередь о квалификации того кто так делает.
И в принципе бесполезно объяснять почему так делать плохо/не надо, пока он не прочитает-изучит определенное количество книг и сам не разберется.

Одно помогает в рабочих проектах — анализатор кода SonarQube. С ним спорить бессмысленно), расшифровка как исправлять есть.
Даешь задание чтобы были исправленны найденные им ошибки.
это хорошо если проверяются на null

Я на перле раньше переменные тоже только объявлял, а значения им давал "когда-то потом". Но после того, как я начал применять FastCGI, неприсваивание значений переменным в месте их объявления стало приводить к неожиданным результатам — во время следующих запусков процедуры её внутренние переменные стали помнить свои прежние значения их прошлой жизни — из предыдущих запусков процедуры. С тех пор переменным значения даю сразу же в момент их объявления. На крайний случай просто обнуляю их, если реально нужных значений для них в момент объявления пока не существует. Но главное, чтобы в них не оказывались значения случайные, неожиданные.

Это понятно.

Суть в том чтобы переменную было видно только там где она действительно нужна и не приходилось заботиться с проверками её предыдущего значения.

В турбопаскале-6.0 такая штука иной раз тоже попадалась, если в цикле вызываешь одну и ту же процедуру несколько раз. Это меня заставило инициализировать переменные. А вот сегмент данных строго заполнялся нулями, и когда начали учить Си, пришлось ещё и переменные в main() инициализировать сразу, иначе начинались проблемы.

Из-за этого Дельфи программы с большими массивами стартуют медленно…
Вы же не думаете, что они в рантайме обнуляют содержимое .data?
А когда обнуляются статические массивы? В ехе файле обнулённый массив на сто мегабайт транслятор держать не будет.
В MS-DOS такого не было, так что возможно и было замедление (А Паскаль был еще до MS-DOS).
Хотя rep stosw быстро работает.
Serge123 фантазировал конкретно про Дельфи.

«В MS-DOS возможно и было замедление» — по сравнению с чем? Си точно так же вынужден (стандартом) обнулять статические массивы.
Статические массивы в Си точно так же строго заполняются нулями — в этом нет никакого отличия от Pascal/Delphi

3.6.2 Initialization of non-local variables [basic.start.init]
2. Variables with static storage duration (3.7.1) or thread storage duration (3.7.2) shall be zero-initialized (8.5) before any other initialization takes place.
Вы читали стандарты C/C++? Там всё то же самое — аксиомы и правила, и никаких отсылок к любому компьютеру или механизму.
Думаю имелось ввиду большая степень абстракции. В стандартах С++ много всякого такого, что по идее «сферическому программисту в вакууме» знать не нужно. Зачем ему знать как там байты в памяти располагаются, зачем ему знания о том чем виртуальные методы отличаются от невиртуальных (кстати, пока писал — понял что сам уже все это довольно смутно помню, уже страшно сказать — одиннадцать лет на плюсах не писал ничего)
Когда при компиляции получаешь портянку из шаблонов строк на дцать, бывает очень даже и нужно понимать стандарт. В паскале гораздо проще.
До сих пор не могу сказать что переучился на ООП-мышление. Благодаря паскалЮ всё.
А еще в TP можно делать вставки на ассемблере и в школе небольшая лабораторная работа по перестановке байт в слове решалась в 3 инструкции tasm.

Turbo Vision — очень хорошая библиотека. Полноценный многооконный интерфейс на минимальных аппаратных ресурсах. Даже сейчас она смотрится достойно. Правда, из-за использования досовских прерываний и прямого доступа к видеопамяти она оказалась привязана к DOS, и нормально портировать ее на другие платформы не получилось. Именно эта библиотека способствовала росту популярности паскаля, но именно из-за нее он и застрял в досе. Потом эту же проблему повторили в delphi.

У нас тоже был Borland Pascal 7 с исходниками Turbo Vision. И появилась задача подключить DBF, и вводить в них распознанные данные с графических планшетов ещё на 486 до всяких Windows. Когда увидел Turbo Vision сразу понял, что это то что нужно легко читаемое и модифицируемое, вставил в него ассемблерные вставки для перевода интерфейса в графику для EGA и VGA. Очень быстро получилось, а потом показ коллегам и их круглые глаза, когда на DOS подобном интерфейсе вдруг появлялись кривые, фигуры и другая графика. Простота вхождения в язык была минимальна, хотя обучение начинали с FORTRAN.
UFO just landed and posted this here
Про GraphicsVision я прочитал уже позже, года через 3. На самом деле все было просто, TurboVision пред инициализацией залезал в память где находились шрифты, считывал и поточечно преобразовывал их к текущему расширению экрана, в том числе и псевдографику, главное чтобы заранее русификатор был загружен. При этом получалось все относительно быстро и без особых тормозов.
UFO just landed and posted this here
Почти всё это уже было в TurboVision он же был сделан уже объектно-ориентрованным, была очистка области, перемещение, обработка событий. Потребовалась кое где лишь небольшая модификация.
Спасибо товарищу Вирту за наше счастливое детство!

Английское слово "complex" совсем необязательно переводить как "комплексный", намного чаще (и в этой статье тоже) это просто "сложный".
И насчёт того, что для Турбо-Паскаля разрабатывали спец. операционную систему, тоже скорее всего ляп переводчика. Наверняка имелась в виду среда разработки.

для Оберона Виртом была разработана собственная ОС. понятно, на нем же.
к слову, операционки полностью на Паскале существуют:
ultibo.org
компилятор — fpc, для Raspberry Pi

Ну так-то классическая Mac OS была написана на паскале.

Нет, действительно разрабатывали спецОС: «surrounded our compiler with a simple operating system, a text editor, and routines for error discovery and diagnostics»

Вирт имел в виду специальную ОС для UCSD Pascal, из которого впоследствии вырос Borland.

Конечно, Вирт упоминает оберон, как "правильное" развитие паскаля. Потому, что автор оберона — он сам.
Но фокус в том, что самое массовое развитие паскаля — это, всё-таки, турбо-паскаль и далее дельфи. Где-то в погоне за строгостью и простотой Вирт всё-таки нарушил правило Эйнштейна насчёт "как можно проще, но не проще".

Вирту огромный респект! Слушал его лекцию в Политехе лет 10-15 тому.
Паскаль был очень прост для написания компилятора. Его синтаксические диаграммы в какой-то книжке популярной переводной занимали три странички, и не самым мелким шрифтом.
Что касается крупных проектов, то для них он был негоден. Ибо вся программа была одним большим блоком между begin и end. (с точкой, в отличие от вложенных блоков).
И кстати нельзя сказать, что он был высокоуровневым — там были операции, которые явно отсылали к способу хранения переменных в памяти. Например, строки (длиной не более 255 символов, так как нулевым была длина). Или совмещение в памяти массивов — так, что некоторые элементы разных могли физически совпадать.
Плюс, хотя это может уже буквоедство, сам компилятор не полностью мог быть написан на Паскале, поскольку в нем присутствовала, к примеру, функция write() с переменным числом аргументов, чего стандарт языка для определяемых программистом функций не допускал
Это не "begin и особый end-с-точкой", а «блок begin..end и после него точка, означающая конец программы». Эта точка вполне могла отделяться от end переводами строки и/или комментариями.
Например, строки (длиной не более 255 символов, так как нулевым была длина).
Самое смешное, что подобных строк у Вирта не было. Хотя они использовались во многих популярных компиляторах.

Интересно, кто первым до них додумался.

Или совмещение в памяти массивов — так, что некоторые элементы разных могли физически совпадать.
Опять-таки: у Вирта это было сделано так, как сейчас в Rust'е: через селектор с проверкой при обращении. То есть безопасно.

Опять-таки — многие реализации этот «лишний» код не генерировали.

Плюс, хотя это может уже буквоедство, сам компилятор не полностью мог быть написан на Паскале, поскольку в нем присутствовала, к примеру, функция write() с переменным числом аргументов, чего стандарт языка для определяемых программистом функций не допускал
Компилтор-то мог быть написан на Паскале, просто уже потом, в этом языке другую такую функцию нельзя было написать.

Вирт это поправил в Модула-2… но к тому времени Паскали разбрелись “кто куда” и его мнение уже никого не волновало…
Самое смешное, что подобных строк у Вирта не было. Хотя они использовались во многих популярных компиляторах.
У Вирта строк вообще не было. См стандарт 1972г.

Даже в Стандарте ISO 7185:1990 строки implementation defined и совсем нет функций для работы с ними, что чертовски неудобно.
Строки появились в ISO/IEC 10206:1990. Но к тому времени разработчики компиляторов на стандарты забили давно и прочно. Так что это уже ни на что не повлияло.

Вот реально непонятно почему так вышло. В 1980е переносимость между разными компиляторами C была, мягко скажем, аховой. Но в 1990е разработчики C и C++ компиляторов начали изводить несовместимости (даже Borland и Microsoft, заклятые враги в то время, уменьшали со временем зависимость от проприетарных технологий), а разработчики всей этой толпы несовместимых между собой Паскалей — наоборот.

Может быть потому, что в мире C++ был Страуструп, а Вирт увлёкся новой игрушкой (Обероном), не знаю.

Но в 1980е Паскаль был популярнее, в 1990м они были сравнимы по популярности, а в 2000м уже всё было кончено: все последующие языки уже даже не пытались соревноваться с C/C++, они надстраивались «поверх».
Всё дело в интернете: он появился в мире сишных машин, и поэтому именно для сишных программ стало критически важно быть переносимыми между машинами.
Темпы увядания Паскаля в точности соответствуют темпам проникновения интернета, разносившего сишную культуру.
Интересно, зачем надо убирать из языка оператор goto? Из-за этого порой приходится повторять одинаковый код. В операторе if… then begin… end; фактически есть goto, но найти в листинге end, парный к этому begin, значительно труднее, чем метку. :-)

«Программирование без goto» стало модной фразой, но народ не знал, что первоначально здесь имелся в виду оператор Фортрана goto для перехода по списку меток. Вот это действительно был умопомрачительным оператор.

Любопытный факт: я во времена Фидо скачал с московской BBS White Bear полные исходники Turbo Pascal 6.0, которые компилировались с пом. tasm, tpc.exe и make файла с добавлением tpu файлов для Turbo Vision. Получался файл turbo.exe, который работал (я сам проверял). Видимо, в Борланде кто-то у кого-то с раб. стола это стащил. Там в исходниках чёрт ногу сломит: одни только asm подпрограммки для Intel 286 с макросами чего стоят… Вот так давалась быстрая трансляция.

Один программист по фамилии Свердлов (автор статей о ПК Радио-86РК в журнале «Радио») хотел с пом. этих исходников сделать то ли 32-разрядный TP, то ли под ДОС-экстендер (типа TMT Паскаля Антона Москаля), сказав афоризм Ш. Холмса: «Если какой-то человек что-то смог сделать, то другой человек сможет это понять». Но действительность не подчинилась формуле Конан Дойля, и после попытки Свердлов сказал, что у него задница не чугунная. Как известно, чугунной задницей обладал не Свердлов, а Молотов. ;-)
Интересно, зачем надо убирать из языка оператор goto? Из-за этого порой приходится повторять одинаковый код. В операторе if… then begin… end; фактически есть goto, но найти в листинге end, парный к этому begin, значительно труднее, чем метку. :-)

goto позволял легко и непринужденно превратить код в жуткую кашу с трудноуловимыми переходами (чем многие тогдашние программисты с удовольствием и занимались), тогда как у if-then строго определенная структура, облегчающая чтение и понимание кода.
Интересно, зачем надо убирать из языка оператор goto? Из-за этого порой приходится повторять одинаковый код. В операторе if… then begin… end; фактически есть goto, но найти в листинге end, парный к этому begin, значительно труднее, чем метку. :-)

Потому что любой goto можно (и нужно) переписать через другие средства (вложенную функцию, например). Goto нужен был когда языки были плохенькие и нужен был максимальный контроль. Как легаси, оставшееся от ассемблера. Впоследствие стало понятно, что для программирования абстрактной машины куда лучше использовать известный математический аппарат. Ну там, функции, композиции, это всё

А потом приносит тебе заказчки блок-схему на листе бумаги A0 с сотнями стрелочек и ромбиков и… усё.

У нас в школе была программистская практика и нам как раз такое досталось.

А goto был строжайше запрещён. Не, мы всё написали, конечно, но, честное слово, понять это было сложнее, чем если бы мы писали с goto.

Тогда у блоков были бы, хотя бы, осмысленные имена, а так мы их просто перенумеровали и переменную state числовую завели… без «секретной тетрадочки» понять было нельзя ничего.
Как movfuscator, только вручную? :D
А потом приносит тебе заказчки блок-схему на листе бумаги A0 с сотнями стрелочек и ромбиков и… усё.

Везет вам. У нас заказчик говорит обычно предлагает поиграться с формой квадрата.


А goto был строжайше запрещён. Не, мы всё написали, конечно, но, честное слово, понять это было сложнее, чем если бы мы писали с goto.

Не, если все чисто на ифчиках и с единой точкой выхода — тогда конечно. Но какие-нибудь break/continue за goto не считаются — такие же конструкции управляющие как иф. А лямбды, паттерн матчинги и остальное дают очень много альтернатив для удобного написания логики.


Тогда у блоков были бы, хотя бы, осмысленные имена, а так мы их просто перенумеровали и переменную state числовую завели… без «секретной тетрадочки» понять было нельзя ничего

О, так вы на практике применили структурную теорему :)

Но какие-нибудь break/continue за goto не считаются — такие же конструкции управляющие как иф.
Вот только в Pascal их нет. Их Borland добавил. Причём довольно поздно.

Странно, я на паскале в универе ими по-моему пользовался и все было хорошо. Правда, я все время какими-то дикими компилями пользовался, вплоть до дотнетовского порта pascal.abc (за то, что там можно было мышкой код выделять в отличие от синей трубы).


Как-то очень сильно на лабе удивился, когда безотказный флоу "сделал дома в паскальабц -> показал в универе в трубе" внезапно дал сбой и программа отказала компилироваться. Так я узнал, что у разных версий паскаля разный СТД, и что апи дотнетовской даты-времени с турбопаскалевским не совпадает.

Вы на заголовок обсуждаемой статьи взгляните, а?
PascalABC в 2002м году появился! Новьё!
В TurboPascal он в последней версии только появился.
Сейчас только что проверил — в Turbo Pascal 6.0 не работает, только в 7.0.
Хм, сурьезный склад компиляторов, вижу я =)
> if-then строго определенная структура, облегчающая чтение и понимание кода.

Предположим, что нужно посмотреть, какой код выполняется, если условие if ложное, а оператор if содержит другие if и begin — end. В этом случае, как я написал, надо искать end, парный к этому begin, а на это можно потратить много времени, вплоть до того, что в редакторе приходилось искать end с таким же числом отступов слева, как и begin…

И ещё: пусть надо по ошибке выйти из внутреннего цикла через несколько циклов наружу. Без goto приходилось заводить флаг и проверять его в каждом внешнем цикле и делать break (фактически тот же goto...)

> Goto нужен был когда языки были плохенькие и нужен был максимальный контроль.

Но ведь тут речь о Паскале. В Perl присутствует goto и ещё другие операторы перехода. А в php у меня без него как-то были неудобства (см. выше).

А ещё бывает нужно сделать много выходов из процедуры по ошибкам с соотв. сообщениями, вот тут удобно использовать goto на конец этой процедуры. Эти выходы по ошибкам нисколько не затуманивают кода (хотя бы путём выбора имён меткам err1, err2 или аналогично). А как в Паскале это сделать без goto и не менее удобно, это надо долго думать.

Помню, я в одной программе на TP придумал такой работающий финт: в основной программе запоминал значение регистров BP и SP и путём их восстановления выходил из много раз вызванной рекурсивной подпрограммы в основную программу. С академической точки зрения это было нехорошо, но с практической, как в TP ещё можно было бы выйти из глубокой внутренней или рекурсивной подпрограммы? Она на 55555 рекурсивном вызове находит выигрыш в логической игре, теперь что, с помощью проверки флага и лишнего кода постепенно выходить наружу через все промежуточные рекурсивные вызовы?
Предположим, что нужно посмотреть, какой код выполняется, если условие if ложное, а оператор if содержит другие if и begin — end. В этом случае, как я написал, надо искать end, парный к этому begin, а на это можно потратить много времени, вплоть до того, что в редакторе приходилось искать end с таким же числом отступов слева, как и begin…

Щас проверил — на полсотни микросервисов суммарным объемом кода под миллион строк у меня ровно 8 мест где есть два вложенных ифа. В остальных случаях оно имеет вид


if (something) { DoStuff(); }

и все вложенные ифы уже спрятаны в функцию. Поэтому нет, не надо. 3 и более вложенных условий можно спокойно делать ворнингом.


И ещё: пусть надо по ошибке выйти из внутреннего цикла через несколько циклов наружу. Без goto приходилось заводить флаг и проверять его в каждом внешнем цикле и делать break (фактически тот же goto...)

Так гоуту тут не нужен:


if (condition) {
  throw new MyError();
}

Отличие от гоуту в том что я по одному кейворду сразу знаю куда пойдет поток выполнения, искать меток не нужно.


А ещё бывает нужно сделать много выходов из процедуры по ошибкам с соотв. сообщениями, вот тут удобно использовать goto на конец этой процедуры. Эти выходы по ошибкам нисколько не затуманивают кода (хотя бы путём выбора имён меткам err1, err2 или аналогично). А как в Паскале это сделать без goto и не менее удобно, это надо долго думать.

Можно привести пример? Потому что обычно можно сделать что-то такое:


public void SumFiles(string f1, string f2)
{
   using var file1 = File.Open(f1);
   if (ProblemsWith(file1)) 
   {
      throw new MyErrorWithFile1();
   }
   using var file2 = File.Open(f2);
   if (ProblemsWith(file2)) 
   {
      throw new MyErrorWithFile2();
   }
   // много кода
   return result;
}

При возникновении ошибки в любом месте она будет передана выше по коллстеку, ресуры все закрываются в случе успеха и в случае неуспеха, сначала выполняются проверки unhappy path, в результате чего happy path — линейный и чистый. При этом гоуту — нету.


Она на 55555 рекурсивном вызове находит выигрыш в логической игре, теперь что, с помощью проверки флага и лишнего кода постепенно выходить наружу через все промежуточные рекурсивные вызовы?

Именно так. Правда, если у вас код написан в хвосто-рекурсивном виде то никакого коллстека не будет, оно всё в цикле единственного вызова прокрутится.


Верю, что хак был полезен в вашем случае, но можно было просто немного переписать и получить чистое решение с теми же свойствами.

> Можно привести пример? Потому что обычно можно сделать что-то такое:

А эти примеры точно годятся для Турбо Паскаля?

Нет, но это объяснение почему гоуту в сегодняшних языках не нужно. В паскале — может быть, но там как раз нет нужных средств выразительности. Их можно эмулировать, с теми же гоуту. Но можно просто взять язык где всё есть из коробки и радоваться жизни

Забыл дополнить: как именно я выходил наружу из рекурсивной п/п вспоминать лень, с этим можно ознакомиться в моей книжонке «Delphi и Turbo Pascal на занимательных примерах», Питер-БХВ. Где-то я её видел даже ворованную в pdf с плохим качеством.
И ещё: пусть надо по ошибке выйти из внутреннего цикла через несколько циклов наружу. Без goto приходилось заводить флаг и проверять его в каждом внешнем цикле и делать break (фактически тот же goto...)

Намного лучше вынести внешний цикл в отдельную фунцию, и во внутреннем делать return. (У Вирта return не было, но в практических реализациях Паскалей его добавили.) Благодаря поддержке вложенных функций, вынесение цикла в отдельную функцию тривиально — в отличие от Си-подобных языков, где нужно вручную передавать весь локальный контекст.
В большинстве Си-подобных языков есть лямбды, которые вполне себе могут захватить контекст.

Только в классическом C нельзя, уже даже в GNU C можно.
То, что передаваемый контекст перечисляется при объявлении лямбды, а не при вызове — не делает это удобнее :) В Паскале ничего перечислять не нужно.

(Не только в классическом Си нельзя, в Java тоже нельзя.)
UFO just landed and posted this here
И в C++ и в Java можно не перечислять захватываемые переменные. В Java, правда, их все нужно сложить в final-переменную.

Но работает. В C++ — просто работает, только & нужно написать. В GNU C даже & не нужен.
Коллеги, поясните мне, пожалуйста — вы тут все ещё Паскаль обсуждаете, или уже на общие темы перешли?
А то в Паскале-то оператор goto был издавна, ещё со времен Вирта: берем книгу Йенсен и Вирта «ПАСКАЛЬ Руководство для пользователя» в переводе Подшивалова (М.«Финансы и статистика», 1989) и на стр. 57 видим рис. 4.15, на котором изображена синтаксическая диаграмма пресловутого оператора goto.
Более того: в комментируемой статье лично Вирт как раз и объясняет, почему goto в Паскале есть.
Но, как я уже отмечал выше, текст статьи комментаторами проигнорирован, показанная прямо в нём синтаксическая диаграмма — тоже.
А вот у нас в курсовом про проектированию котельной было такое, что надо взять пару значений для этой самой котельной, посчитать всё, получить новые значения этих параметров, выбрать котлы, кажется, и повторить почти весь расчёт, но не с самого начала. На Паскале я это с помощью goto и оформил. А вот когда выучил Питон, теперь не знаю, как это надо было бы делать по науке и без goto. Написать функцию? Но там часть кода должна же была бы пропускаться. Делать проверку на то, первый раз она вызвана, или второй? Скопипастить второй раз часть кода? На самом деле, хочется узнать, как это делать правильно. Объясните мне, пожалуйста, а то эта проблема меня мучает.
А вариант разбить на две функции не рассматривается?
Нет, не рассматривал. По какому принципу? Это одно вычисление, и почему маленький кусок должен быть в одной функции, а бОльший — в другой? В первой будет буквально пара строк, а всё остальное — во второй. Как-то это не аккуратно выглядит. Получается, остаётся только проверка режима запуска, и ещё надо будет ковыряться с аргументами функции, если они получатся разными для этих двух запусков. Лучше бы, всё же, можно было как-то управлять потоком исполнения, с переходом на нужное место. Было бы проще и истественнее.

Выше правильно пишут — достаточно разбить функцию на две части: до того места с которого нужно продолжить эти рассчеты и после. Сначала вызвать обе функции чтобы выбрать котлы, затем вызвать только вторую чтобы повторить рассчет не с самого начала.

Вирт создал язык, который можно читать, как обычный текст на естественном языке, а С не получится при всем желании. Сам по себе С — прекрасный язык (с одним замечанием: мог бы не обрастать таким количеством неоднозначных вариантов), но него совершенно противоестественный синтаксис.
Самый известный пример: с какого бодуна Tомпсону и Ритчи взбрело в голову переставить местами присваивание и равенство? Ну да, я знаю, что это исторически сложилось, но все равно это их не извиняет. Это все равно бездумная халатность безграмотных технарей, сиюминутно взятая с потолка. Или подростковый бунт против авторитетов, иначе это расценивать не получается.
В результате я до сих пор, после четвертьвековой С-практики, регулярно попадаюсь на if (var=1)… Не уверен, что если бы меня учили сразу на С, я бы не попадался: написано же «вар РАВНО единице».
Вирт создал язык, который можно читать, как обычный текст на естественном языке, а С не получится при всем желании.

Тут как с дорожными знаками. Можно вешать таблички на пересечении дорог с читаемыми надписями: «Уступи дорогу» или «Главная дорога», или «Проезд без остановки запрещен», а можно повесить соответствующий знак.
Человеку, который не учил ПДД первый вариант покажется более удобным, для него, в отличии от надписей, все эти разноцветные ромбики, шестиугольники и и треугольники ни о чем не говорят. А вот водителям знаки удобнее читать.
Так и с С получилось, на листингах в книжках код на Паскале выглядит лучше, академичнее, а вот работать с большими объемами кода оказалось удобнее на С, с его более лаконичным синтаксисом (хоть и далеким от идеального).
Слышал. И не считаю это удачным решением, не все что придумано и используется в США априори правильно и удачно. Взять ту-же их систему мер — это же кошмар какой-то, все эти фиты-инчи-мили, остальной мир давно уже на более удобную метрическую систему перешел.
В 1970-х американцы пытались начать переход на европейские знаки, но после ряда случаев, когда опытные водители, не поняв условные значки, разбивались сами и убивали друг друга — отказались от перехода.

Это я не к тому, что их система «правильная и удачная», а к тому, что привычки ста миллионов людей — важнее, чем любые внутренние качества системы обозначений. Работать с большими объемами кода на Си кажется удобным потому, что привычно, а не потому, что его синтаксис «правильный и удачный».
Согласен, привычки тоже важны.

Кстати, если бы я такой переход организовывал, то использовал бы метод «варки лягушки». Просто для начала продублировал знаки старого образца, знаками нового, а потом уже, когда водителям эти новые знаки примелькались бы, убрал старые знаки совсем. Переход получился бы безболезненным, постепенным.
UFO just landed and posted this here
Sign up to leave a comment.