Объект Equiv здесь никак не используется, можно было бы убрать этот аргумент и компиляция бы не сломалась. В Idris вы не сможете написать функцию типа Vect n a -> Vect m a, потому что без доказательства n = m это преобразование сделать невозможно.
Мне кажется, заблуждение автора заключается в последнем абзаце. Возможно, после стольких лет работы сложно это признать, но C++ не прекрасен. Да и подавляющая часть опыта на самом деле не привязана к языку. После изучения нюансов C++ изучать нюансы других языков будет гораздо проще.
После освоения Rust у меня не осталось ни одной причины любить C++.
Всё-таки не понимаю людей, которые сохраняются раз в час. Я сохраняюсь не реже, чем раз в пять минут — мало ли, что может случиться. И без Windows вероятность внезапного выключения компьютера не так уж мала.
So for the six hours in the middle of a sunny day, an area the size of a small backyard swimming pool (48 m2) will receive about 288 kilowatts of energy.
В течение 6 часов на эту площадь приходит 288 кВт излучения, т.е. 288 кДж/с. Можете умножить эту цифру на 6 часов и посчитать, сколько суммарно за 6 часов придет джоулей, согласно этой оценке. Правда, не ручаюсь, что оценка правильная.
Дело в том, что сама NTFS case sensitive и хранить в ней файлы по именам, различающимся только регистром, совершенно корректно. Case-insensitive подход приняли не в NTFS, а в Windows.
Я в свое время проблему неработоспособности приложения на XP (с тем же сообщением об ошибке, что и у вас, и тоже для приложения, статически слинкованного с Qt) решил запуском следующей команды после сборки проекта:
На википедии пишут, что солнечная активность, наоборот, снижает количество ошибок. Правда, без пруфов.
The average rate of cosmic-ray soft errors is inversely proportional to sunspot activity. That is, the average number of cosmic-ray soft errors decreases during the active portion of the sunspot cycle and increases during the quiet portion. This counterintuitive result occurs for two reasons. The sun does not generally produce cosmic ray particles with energy above 1 GeV that are capable of penetrating to the Earth's upper atmosphere and creating particle showers, so the changes in the solar flux do not directly influence the number of errors. Further, the increase in the solar flux during an active sun period does have the effect of reshaping the Earth's magnetic field providing some additional shielding against higher energy cosmic rays, resulting in a decrease in the number of particles creating showers. The effect is fairly small in any case resulting in a ±7% modulation of the energetic neutron flux in New York City. Other locations are similarly affected.[citation needed]
Странная какая-то претензия. Если смартфон позволяет читать приходящие сообщения без разблокировки, то это проблема смартфона, а не Теле2. И предложенный способ решения тоже странный. То, что на вашем смартфоне достаточно добавить 10 символов, вовсе не означает, что это поможет всем. У меня, например, приходящее сообщение прокручивается в статусной строке полностью, так что никакое количество символов не поможет (правда, в заблокированном состоянии ничего не показывает).
> Есть несколько замечаний по коду, но в целом у вас вполне себе идиоматичный Rust получился.
Не соглашусь. Использование -1 для индикации отсутствия результата вместо Option<usize> — грубая ошибка. В Rust столько усилий положили на то, чтобы было легко выражать и обрабатывать случаи отсутствия значений, а автор всё это игнорирует. Ценность этого примера для людей, которые хотят изучить Rust — даже не нулевая, а отрицательная. И это не единственная проблема такого рода в статье.
Зачем 300000000? Давайте сразу 1! Такие единицы измерения, конечно, не стоит называть метром и секундой, но они будут весьма удобны для некоторых физических расчетов.
От красивого URL, который просто редиректит на некрасивый, толку мало. Некрасивый тут явно больше информации сообщает (как минимум, видно, на какой домен уйдет запрос). Загрузка лишней страницы и ошибка 404 в промежутке не кажутся разумной платой за эту фичу.
А предложение сделать одностраничный сайт, который будет загружаться со статусом 404 — это оригинально, но делать такое я никому не посоветовал бы.
Интересное построение. Смущает, что очень многое зависит от правильности деклараций и компилятор не проверяет их. Например, вот эта функция:
Объект
Equivздесь никак не используется, можно было бы убрать этот аргумент и компиляция бы не сломалась. В Idris вы не сможете написать функцию типаVect n a -> Vect m a, потому что без доказательстваn = mэто преобразование сделать невозможно.После освоения Rust у меня не осталось ни одной причины любить C++.
В течение 6 часов на эту площадь приходит 288 кВт излучения, т.е. 288 кДж/с. Можете умножить эту цифру на 6 часов и посчитать, сколько суммарно за 6 часов придет джоулей, согласно этой оценке. Правда, не ручаюсь, что оценка правильная.
editbin file.exe /SUBSYSTEM:WINDOWS,5.01 /OSVERSION:5.1Пересобирать Qt не понадобилось.
Не соглашусь. Использование -1 для индикации отсутствия результата вместо Option<usize> — грубая ошибка. В Rust столько усилий положили на то, чтобы было легко выражать и обрабатывать случаи отсутствия значений, а автор всё это игнорирует. Ценность этого примера для людей, которые хотят изучить Rust — даже не нулевая, а отрицательная. И это не единственная проблема такого рода в статье.
Существует несколько подобных систем единиц, и они используются в некоторых областях физики. Подробнее см. https://en.wikipedia.org/wiki/Natural_units.
А предложение сделать одностраничный сайт, который будет загружаться со статусом 404 — это оригинально, но делать такое я никому не посоветовал бы.