ЛОР, помоги выбрать ЯП для обучения

вполне возможно. но не в результате суммы нетипизированных значений. :)

В моём мире обычно в ЗАГС идут, потом, возможно в Церкви венчаются.

и актуальный вопрос - два мужчины дают семью?

Если я отвечу одним образом, это будет правонарушением в моей юрисдикции, а если другим — в вашей. Но вы можете реализовать систему типов, где true/false будут произвольно меняться в зависимости от того, кто и когда спрашивает, с возможностью корректировки исторических данных, чтобы учесть колебания линии партии.

Это то, чему надо обучать при обучении программированию (тема-то о нём) вместо всяких public static void main.

Современный Hello World на Java кстати выглядит так (весь файл):

void main() {
  System.out.println("Hello, World!");
}

Это не заумь, это упрощение. Задача прочитать содержимое файла состоит из нескольких этапов: 1. Понять откуда читать; 2. Прочитать оттуда сырые байты; 3. Как-то проинтерпретировать эти данные и положить их в структуру данных нужного формата. Логично, чтобы за каждый этап отвечала своя функция, реализующая соответствующий интерфейс.

Это вообще никак не верифицируется, разве что предельные диапазоны задать.

Ada позволяет задать предельные диапазоны для типов и в случае выхода за границу диапазона генерируется исключение. А что в иных других языках такой возможности нет - так пишите на Аде.

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

Ada позволяет задать предельные диапазоны для типов

Проверяется во время компиляции или исполнения?

Путь к файлу в распространенных ОС это строка заканчивающаяся нулём.

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

Я знаю, где у меня число, а где строка

иногда в команде насчитывается больше одного человека.

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

вот видите какую путаницу вы внесли стремясь складывать нескладываемое.

Иногда всё-таки команда не состоит из не умеющих читать и писать документацию

Именно что иногда. И на это еще накладывается типичный дефицит времени на ее написание и поддержание актуальности.

Документирование кода - это вечное больное место большинства проектов. Поэтому и хороши «многословные» языки такие как Ada,обладающие свойством самодокументирования. Полностью это конечно не спасает,но значительно упрощает поддержку и модификацию кода.

А как бы вы сами ответили на этот вопрос?

У меня есть число 20.

Если это «просто число» (int или float) то да, его можно передать ошибочно в функцию которая принимает int или float.

А вот если это Ada то там такого можно избежать. Подробные объяснения (на русском!) и с примерами можно почитать тут: https://reznikmm.github.io/learn/courses/safe-secure-software-ru/chapters/chapter_02.html

а юзер их так же будет вводить? 10.0_F и 10.0_C?

Юзерский ввод и его валидация - это отдельная проблема. На Mars Orbiter юзера небыло,а метры с футами перепутались. При необходимости именно ввода разных градусов с клавиатуры можно сделать и так как вы написали,ну может разве что без подчеркивания,просто букву добавлять. Особенно если у вас число это всё равно строка.

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

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

ЛОР, помоги выбрать ЯП для обучения (комментарий)

temp = 10.0_F;

Sub-enums и ограниченные float значения хранимые в виде целых чисел выглядят очень вкусно, в других языках такого не видел. Полезно было бы везде.

Тогда что угодно будет «функцией»

То есть отображение в пустое множество уже и за о отображение не считаем, да? %)

Полезно было бы везде.

Возможно вам будет интересно взглянуть на clojure.spec. Можно использовать любые предикаты для проверки допустимости значения:

(s/def :num/big-even (s/and int? even? #(> % 1000)))
(s/valid? :num/big-even :foo) ;; false
(s/valid? :num/big-even 10) ;; false
(s/valid? :num/big-even 100000) ;; true

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

программистам дай волю,так они изобретут нечто жутко объектное, решающее задачу преобразования путей для всех ОС,существующих в мире

Ага. Вот в CL у пути должно быть 6 компонентов: файловая система, устройство, каталог, имя, тип, версия.

(make-pathname :host "KATHY"
               :directory "CHAPMAN" 
               :name "LOGIN" :type "COM"))
=>  #P"KATHY::[CHAPMAN]LOGIN.COM"

И каталог может быть абсолютный как в примере выше или относительный:

(make-pathname :directory '(:absolute "foo" "bar") :name "baz")
#P"/foo/bar/baz"
(make-pathname :directory '(:relative "foo" "bar") :name "baz")
#P"foo/bar/baz"

Например?

day = 1
print(day)
day = "monday"
print(day)

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

И ладно бы оно принимало тип переменной (числовой/строковый) по первому прсваиванию и дальше всегда считало его таким. Так нет, позволяет переопределить на ходу. Я ни разу не знаток Питона,но когда сталкиваюсь вот с таким в чужих скриптах это может создавать проблемы. Именно потому что я не знаток Питона, а использую его в качестве «маленького скриптового языка»,лишь слегка подрихтовывая чужие скрипты под свои надобности.

Возможно что в Питоне есть способ избежать вышеописанного поведения и заставить выдать предупреждение при таком переприсваивании значения другого типа. Но пишут-то в скриптах именно что вот так.

В питоне нету классических переменных из С, там есть связывание имен с объектами.

>>> a = 5
>>> b = a
>>> id(a) == id(b)
True

А типы он различает очень строго:

>>> abs('1')
Traceback (most recent call last):
  File "<stdin>", line 1, in <module>
TypeError: bad operand type for abs(): 'str'

Так что эта проблема не относится к типам. Есть типизированные языки которые тоже реализуют такую модель.

А потом надо написать fopen и какой тип ставить? Или делать две версии fopen? В Аде можно сделать две функции с именем fopen но отличающиеся типом аргумента. Компилятор сам разберется когда какую вызывать - в зависимости от того что передали. А чтобы не дублировать код дважды, функция fopen для относительного пути может сначала преобразовать путь в абсолютный,а потом сама вызвать тот fopen который для абсолютного пути.

А как бы вы сами ответили на этот вопрос?

мне даже подумать об этом страшно

(clock-calc-for-ugoday "32" "65")

?

А ведь жизненная задача-то. Обмазалиь вы типами со всех сторон, реализовали тип-«Мужчина», у которого в качестве обязательного параметра — длинна члена в дюймах, для сортировки или чем вы там ещё грязные извращенцы занимаетесь. Продали значит, свой рыночный продукт к нам в ЕС, а тут, внезапно, у мужчины члена не может быть вообще. И что теперь?

Ага. Вот в CL у пути должно быть 6 компонентов: файловая система, устройство, каталог, имя, тип, версия.

А вдруг вы этот код на лисп-машине запускать собираетесь, лисп-машине, которая старше этих наших юниксов вообще. Тут точно так же можно придраться, что emacs не следует привычному в мире windows поведению, и терминология своя и клавиатурные аккорды все другие.

Вы, наверное, и русские буквы в именах файлов не используете

Естественно не использую. Ибо имя файла это идентификатор,а в идентификаторах допустимы только буквы ascii,цифры и знак подчеркивания. Вот например что микрософт про правила именования идентификаторов пишет.https://learn.microsoft.com/ru-ru/cpp/c-language/c-identifiers?view=msvc-170

Всё остальное - нарушение стандарта. Если ваша цель сделать какой-нибудь трюк то конечно можете пользоваться. Но в обычном случае лучше бы не надо.

В настоящее время велика вероятность что файл придется выложить в интернет или переслать по почте. И у пользователей из других стран русские буквы в имени вызовут ровно те же проблемы что файл с именем из иероглифов на вашем компе. Для большей части мира кириллические буквы это такие же неведомые закорючки как для вас иероглифы или санскрит какой-нибудь. Они не то что ввести их не смогут (например в командной строке), они даже не знают как большая часть из них читаются. А еще есть флэшки на которых файловая система обычно fat32. И на компе без установленной русификации в линуксе будут «вопросики» вместо букв,а в виндах подчеркивания и/или те же вопросики. А также есть общеупотребительный архиватор zip,который не хранит внутри архивов информацию о кодировке имен файлов. А еще есть компьютеры от Apple у которых мнение о внутреннем представлении составных юникодных символов не совпадает с линуксовым. Напомню,что буквы с точками и «крышками» могут кодироваться как один символ,а могут как буква отдельно и точка/крышка отдельно,объединенные в лигатуру. Так что не пихайте в имена файлов русскую букву Ёё даже если русские имена любите. То же самое с Йй.

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

А ведь жизненная задача-то. Обмазалиь вы типами со всех сторон, реализовали тип-«Мужчина»,

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

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

то есть тип «семья» у вас определен неточно. отсюда и проблемы.

ответ it depends в любой же юрисдикции валиден не?

Естественно не использую.

Я так и думал. Диагноз ясен, вы, батенька, ретроград. Впрочем, в вашем возрасте это нормально.

Ну, начинается. Как дифирамбы типам петь, так пожалуйста, а как проблемы решать, так в кусты.

Если на вопрос: „Ты за Сталина или за Троцкого“, вы ответите it depends, то вас гарантированно расстреляют. Есть вопросы, на которые нужно отвечать твёрдо и чётко, мужественно смотря в глаза товарищу гендеркомисару.

Если на вопрос: „Ты за Сталина или за Троцкого“, вы ответите it depends, то вас гарантированно расстреляют.

дожили…неужели в ваших европах все так страшно?

Три часа плюс пятнадцать минут будет три часа пятнадцать минут.

Так как часы и минуты не подчиняются правилам десятичной системы счисления то просто сложив 3(часа) и 15(минут) вы получите бессмысленное число 18 непонятно чего. Для правильной работы с часами и минутами надо создать специальный тип который будет хранить в себе числа минут и часов и специальные функции для сложения-вычитания времени. Бывает весьма актуально для всяких административно-бухгалтерских расчетов.

А в шарпе так:

WriteLine("Hello, World!");

Джаве есть куда стремиться)

В стандартной поставке есть jshell, поэтому можно сократить:

% cat main.java 
System.out.println("Hello World");

% jshell main.java
Hello World

Для правильной работы с часами и минутами надо создать специальный тип который будет хранить в себе числа минут и часов и специальные функции для сложения-вычитания времени.

Хранить проще в unix time. Время вычитать наверное никому особо и не надо, вот работа с датой это полезно, тут лучше взять готовое.

В PHP отличная работа с датой и временем, понимает даже некоторый человеческий ввод:

new DateTime("last day of next month")

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

Согласен. Но только пока эти умолчания не входят в сильное противоречение с решаемой задачей.

Удивительно, как половина отписавшихся в этом треде не пишет из собственноручно написанного браузера на собственноручно написанной ОС

Да, это так. Но при этом большинство отписавшихся использует свои кастомные настройки интерфейса,а не то что им инсталлятор дистрибутива поставил.

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

Да разве ж это страшно, «Зольдатен, фойер!» и всё, капут. Даже больно не будет. Но это не точно конечно. Хуже, если вашим делом займётся берлинская полиция.

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

Вы, вот, были уверены, что люди делятся на мужчин и женщин, заложились на это, а потом вжух — новые бизнес требования. И всё по новой рефакторь. Обидно.

Как это произошло? Использование boolean? Ну это как минимум не интуитивно, кто true а кто false?

про правила именования идентификаторов пишет.https://learn.microsoft.com/ru-ru/cpp/c-language/c-identifiers?view=msvc-170

Не правила именования идентификаторов, а правила именования идентификаторов Си. А ссылаться здесь на Микрософт…

Вот правила именования идентификаторов от Оракула: https://docs.oracle.com/javase/specs/jls/se7/html/jls-3.html#jls-3.8

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

Я предпочту, чтобы скачанный файл назывался 世遗之城.txt, а не shiweizhicheng.txt. Так хоть сразу понятно, что в файле.

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

Если они не знают русский язык, зачем им файл с русским именем и, очевидно, русским содержанием?

Напомню,что буквы с точками и «крышками» могут кодироваться как один символ,а могут как буква отдельно и точка/крышка отдельно,объединенные в лигатуру.

С таким же успехом можно рекомендовать избегать в именах файлов l, I, 1, O, 0. Они тоже у некоторых выглядят неотличимо. Русские буквы й и ё не являются лигатурами.

Кстати, если избегать всех, которые неоднозначны в юникоде, то надо также избегать i, a, b, k, c, e, x, y, p, n.

а) переучить США с фаренгейта на цельсии, с галлонов на литры, и с фунтов на квадратный дюйм в паскали;

Пока что я вижу что Россия постепенно переходит на имперскую систему мер. Дюймовые стандарты уже вообще на каждом шагу от водопроводных труб до колёсных дисков на машинах. Авиация вот не так давно с метров на футы высоты перешла. На манометрах PSI регулярно встречаются.Да и вообще английская система мер более ориентирована именно на повседневное употребление,а не на расчеты в теоретический физике.

Хранить проще в unix time.

Дополнительная секунда добавляется по астрономическим наблюдениям в конце суток по всемирному времени 30 июня или 31 декабря так, чтобы время UTC не отличалось от UT1 более, чем на ±0,9 секунды. Считается, что в такие дни после времени 23:59:59 идёт 23:59:60[8].

Время вычитать наверное никому особо и не надо,

В смысле? А как, например, начало Страстной Седмицы определять? С вычитанием получается легко и изящно: $ДатаПасхи - 7 дней.

Как это произошло?

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

Использование boolean?

Каким типом вы предложите описать размер ноги?

Вы, вот, были уверены, что люди делятся на мужчин и женщин, заложились на это, а потом вжух — новые бизнес требования. И всё по новой рефакторь.

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

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

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

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

Зачем на физике проводят опыты и лабораторные,

Уже почти не показывают,ну только если самые простые типа например маятника. Ибо всё остальное «опасно для детей». Это матушка моя рассказывала что когда она училась в 50х - в кабинете физики и ртутный барометр был и ученики сами делали оптыты с электричеством,и горелка с открытым огнем употреблялась для нагрева, и азотная кислота в кабинете химии присутствовала и тому подобное. Сейчас опыты чаще на экране показывают судя по словам нынешних детишек.

Типизация облегчает рефакторинг, вызванный типизацией. Есть по этому поводу анекдот веселый:

Встречаются два приятеля:
— Ты, я слышал, машину купил?
— Да, хорошая вещь, теперь везде успеваю. Сегодня за день успел сменить
масло в двигателе, купить новые покрышки, съездить на авторынок за
крыльями, сгонять в автосервис, заехать в автомагазин за тосолом... И
как бы я все это без машины успел?

потому что дичь.

Ну вот, вас уже двое. Можете клуб организовать.

Сейчас проще назвать языки которые такое не позволяют

Ада эти фокусы с типами и операциями для них умеет с 1983 года.