Программирование по-русски

[trs]

Оргкомитет (в котором присутствовали представители аж трёх российских дистрибутивов Линукса), почему-то счёл доклад не соответствующим тематике конференции." (с) БудДен.

Печально.

В целом ИМХО это хорошая новость: маски сбросили и теперь понятно, кто есть кто. Жаль, конечно, что мало кто об этом знает, и что всплыло оно не лет 10 назад - время не вернуть.

Вот более подходящая конференция под вашу тему:
Ежегодная конференция разработчиков свободных программ
https://www.basealt.ru/conference/ezhegodnaja-konferencija-razrabotchikov-svobodnykh-programm

Когда удастся выступить с докладом БудДена, тогда и появятся основания для "подходящая". В организаторах Базальт СПО, как и там, где отказали. И тематика не про безопасность, вполне есть формальные основания для отказа, в отличие от.

У меня "статистика" пока такая - после зимнего доклада за 2 недели произошло примерно 0 заходов на страницу Рефала (1-2 заходят и так).
Когда на Opennet в подходящей теме тот же докладчик вскользь упомянул своё выступление - примерно 20 заходов за 2 недели.

Так что тут ещё вопрос, кому это всё на руку, и есть ли смысл играть в свои ворота за другую команду.

[antsiest]

У меня "статистика" пока такая - после зимнего доклада за 2 недели произошло примерно 0 заходов на страницу Рефала (1-2 заходят и так).
Когда на Opennet в подходящей теме тот же докладчик вскользь упомянул своё выступление - примерно 20 заходов за 2 недели.

Посмотрел https://youtu.be/wafn0z91Xx4?t=12327  - про грамматику функций.
Есть вопрос "А для чего?".
Программирование - мышление категориями, а не литературное понимание.

[trs]

Программирование - мышление категориями, а не литературное понимание.

Действительно, в 2к23 программирование - это мышление категориями "git clone"  и "make install". В случае непредвиденной ситуации - отправиться на bugzilla и создать issue.

А в дремучем 1995 Allen I. Holub учил вот чему:

22. Программа без комментариев ничего не стоит.

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

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

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

Если у кого возникнет желание это оспорить - пусть он сначала покажет _свой_ Гитхап.

[DVI]

Есть вопрос "А для чего?".

Программа - это и текст тоже. А внимание к языку и формулировкам может навести на интересные возможности. Например, на Рефале-М может быть написан и такой код:

Код: [Выделить]

начало =
    <при бавлено 1 к 5>
    <у бавлено 3 из 8>;

бавлено {
    при ?икс к ?игрек = <?икс + ?игрек>;
    у ?икс из ?игрек = <?игрек - ?икс>;
}

при;
у;
к;
из;

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

[DVI]

Есть вопрос "А для чего?".

Ещё пример - с превосходной степенью прилагательного:

Код: [Выделить]

начало =
    <больший из 3 10>
    <наи больший из 2 7 11 4 9 4 8 17>;

больший {
    наи из ?икс ?игрек .прочие =
<наи больший из <больший из ?икс ?игрек> .прочие>;
    из ?икс ?игрек = <выборбольшего <Compare ?икс ?игрек> ?икс ?игрек>;
    .приставка из ?икс = ?икс;
}
наи;
из;
выборбольшего {
    "+" ?икс ?игрек = ?икс;
    "-" ?икс ?игрек = ?игрек;
    "0" ?икс ?игрек = ?икс;
}Ещё пример о сравнении, но с использованием функции Mu для работы с разными отношениями:

Код: [Выделить]

начало =
    <наи меньший из 2 7 11 4 9 4 8 17>
    <наи больший из 2 7 11 4 9 4 8 17>;

наи {
    .отношение из ?икс ?игрек .прочие =
<наи .отношение из <Mu .отношение из ?икс ?игрек> .прочие>;
    .отношение из ?икс = ?икс;
}
больший {
    из ?икс ?игрек = <выбор <Compare ?икс ?игрек> ?икс ?игрек>;
}
меньший {
    из ?икс ?игрек = <выбор <Compare ?икс ?игрек> ?игрек ?икс>;
}
из;
выбор {
    "+" ?икс ?игрек = ?икс;
    "-" ?икс ?игрек = ?игрек;
    "0" ?икс ?игрек = ?икс;
}


[DVI]

Лучше даже так:

Код: [Выделить]

начало =
    <наи- меньший из 2 7 11 4 9 4 8 17>
    <наи- больший из 2 7 11 4 9 4 8 17>
    <наи- больший из "Приветствую Вас!">
    <наи- длиннейший из () (1 "45" 3 "абв") "123" 10>;

наи- {
    ?отношение из !икс !игрек .прочие =
<наи- ?отношение из <Mu ?отношение из !икс !игрек> .прочие>;
    ?отношение из !икс = !икс;
}
больший {
    из ?икс ?игрек = <выбор <Compare ?икс ?игрек> ?икс ?игрек>;
}
меньший {
    из ?икс ?игрек = <выбор <Compare ?икс ?игрек> ?игрек ?икс>;
}
из;
выбор {
    "+" !икс !игрек = !икс;
    "-" !икс !игрек = !игрек;
    "0" !икс !игрек = !икс;
}
длиннейший {
    из !икс !игрек = <выбор <Compare <длина !икс> <длина !игрек>> !икс !игрек>;
}
длина {
    ?символ = 1;
    (.внутренность) = <длина .внутренность>;
    = 0;
    !терм .прочее = <<длина !терм> + <длина .прочее>>;
}