Pull to refresh
236
0
Павел @Riateche

User

Send message

Интересное построение. Смущает, что очень многое зависит от правильности деклараций и компилятор не проверяет их. Например, вот эта функция:


impl<Item, N: Nat> Vect<Item, N> {
    pub fn retag<New: Nat>(self, _proof: Equiv<N, New>) -> Vect<Item, New> {
        Vect(self.0, PhantomData)
    }
}

Объект 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) решил запуском следующей команды после сборки проекта:

editbin file.exe /SUBSYSTEM:WINDOWS,5.01 /OSVERSION:5.1

Пересобирать Qt не понадобилось.

RM Williams делает в коробке обуви (с пожизненной гарантией) карман для чека
Но если гарантия пожизненная, то зачем чек?
Можно ли в России получить доступ к английской оригинальной дорожке и английским субтитрам?
На википедии пишут, что солнечная активность, наоборот, снижает количество ошибок. Правда, без пруфов.

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! Такие единицы измерения, конечно, не стоит называть метром и секундой, но они будут весьма удобны для некоторых физических расчетов.

Существует несколько подобных систем единиц, и они используются в некоторых областях физики. Подробнее см. https://en.wikipedia.org/wiki/Natural_units.
Этот пункт применим к словарным записям, представляющих собой устойчивые группы из нескольких слов (потому что; в следствие; за границу).
Нет никакой устойчивой группы «в следствие», есть только предлог «вследствие».
В Lua мне больше всего понравилось слово SPELL_CAST_SUCCESS.
А еще нет такого слова «readed».
От красивого URL, который просто редиректит на некрасивый, толку мало. Некрасивый тут явно больше информации сообщает (как минимум, видно, на какой домен уйдет запрос). Загрузка лишней страницы и ошибка 404 в промежутке не кажутся разумной платой за эту фичу.

А предложение сделать одностраничный сайт, который будет загружаться со статусом 404 — это оригинально, но делать такое я никому не посоветовал бы.
Как будто Delete и Backspace никто не держит.
Еще такая ситуация весьма вероятна, если у пользователя плохой интернет (например, мобильный).
1
23 ...

Information

Rating
Does not participate
Location
Долгопрудный, Москва и Московская обл., Россия
Date of birth
Registered
Activity