> Да? Ты читаешь файл конфигурации, в нём может быть много чего, в
> том числе и utf8-комментарии, или utf8-строчки, между ними затесались имена файлов.
> Но это собственно не важно: пример с utf8 я приводил, только
> чтобы пояснить мысль о том, как повышение уровня гарантий может приводить
> к более быстрому коду.Я про то, что большой вопрос сколько данных на самом деле содержат utf-8. В Java недавно по этому поводу ввели два типа строк внутри, с ascii вариантом. По анализу дампов приложений статистика показала, что много чисто ascii дряни.
Ясно почему, кругом json, html, xml и прочее около ascii. Много всякой фигни, типа csv с цифрами сполшными, что парсится-то как строки.
> Как где? На практике же. В теории -- да, в теории не
> должно быть ненужных проверок на null. .....Такой аудит проведёт и баба Клава, если ей объяснить
> как в коде найти все unsafe блоки, и на что именно
> надо смотреть.
Я вот не вижу большой разницы между if (something == null) и Some + None.
Все равно будет ветвление в коде.
Кроме того, если в C основной код покрыт assert-ами и тестами, а входные данные проверяются, то null не поймать, на практике :)
>> Итераторы в С всегда делались на макросах или на структурах, если нужно.
>> Возвращаешь вместо указателя на коллекцию итератор и функцию next.
> Это не совсем то. map позволяет указать функцию, которую надо применить к
> каждому элементу коллекции. ... А это значит, что с большей вероятностью код
> окажется параллелизуемым.
Могу еще в C передать в функцию указатель на функцию. Её и применят на коллекцию.
В C это все реализуемо и даже встречается местами. Безусловно не так удобно, но можно же.
> В C это всё можно проделать, но там нет возможности объявить функцию
> inline, прям в списке аргументов вызова функционала. Поэтому так никто в
> здравом уме так делать не будет. Проще написать for/while, и отследить
> глазами, чтобы между последовательными итерациями не было бы зависимости по данным.
Макросами можно, выглядеть будет так, и инлайн будет.
На самом деле проблема как обычно от рук идёт. Если программист на C хотел сделать код безопасным и хорошо структурированным, то сделал.
