strlen

[thedeemon]

В Идрисе один из базовых типов - String, внутри представленный как null-terminated C string. Знаете, как узнать длину такой строки? Сконвертить в список Char'ов, а потом посчитать его длину. А все потому, что хоть в рантайме идриса и есть нормальная функция вычисления длины (по-хорошему ее вообще стоило бы хранить, а не вычислять), в стандартную библиотеку ее забыли экспортнуть. У них там в академии своя атмосфера.

Comments

[gds.livejournal.com]

> по-хорошему ее вообще стоило бы хранить, а не вычислять

Ваистену Так, Ибо!

[deni-ok.livejournal.com]

А она что, мутабельна?

[thedeemon.livejournal.com]

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

Я так понимаю, автор просто делал как ему проще, об эффективности не слишком заботился.

[http://users.livejournal.com/leo_bonart_/]

"В Идрисе один из базовых типов - String, внутри представленный как null-terminated C string."
Я все понимаю, Холмс, но КАК?
Это же, мать его, всемирно известное, самое дорогое айтишное решение всех времен и народов.
За такое представление строки в любом современном языке у автора идеи надо вырезать яйца без наркоза.

[kodt-rsdn.livejournal.com]

Который раз ловлю себя на том, что вместо "идрис" читаю "иблис". В обоих смыслах: арабско-адском и русско-матерном получается ибо-ваистену!

[http://users.livejournal.com/_winnie/]

А где хранить длину? Перед строкой или рядом с указателем?
А на длину потратить 1, 2, 4 или 8 байт?
Если бы тогда приняли решение хранить длину, то сейчас бы жили в мире, где поля ввода в програм ограничены 256-ю символами, и в JavaScript строки тоже были бы не длинее 256 символов. Так же как целочисленные числа по традиции ограничены 52-ю битами.

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

[http://users.livejournal.com/leo_bonart_/]

Так я не Кернигана с Ричи и Томпсоном ругаю - их решение не было ошибкой!
И баснословно дорогим оно оказалось только в позднейшем контексте доминирования си в системном программировании.
Но вот авторам идриса все это было прекрасно известно и понять их решение невозможно.
"Возможно, что нам повезло с эффектом второго порядка - решение с null terminated было настолько ужасно, что слава богу сейчас не удержалось, а чуть менее ужасное с хранением длины в первом байте не завоевало мир."
Не удержалось? Си все еще на коне, самые распространенные ОС используют именно такие строки. Они еще нас переживут.
А хранение длины рулит не потому сколько байт, а потому что хранение. Да и с конвертацией проблем сущий мизер, ибо из строки с хранимой длиной длина отдельно и массив символов отдельно получаются за О(1).

[anatoly borodin (from livejournal.com)]

Можно ж вместо длины хранить два указателя, begin и end. И хоть гигабайты между ними.

[thedeemon.livejournal.com]

Видать, делал как проще, об эффективности особо не задумывался. А судя по забытому StrLen, его строки вообще мало волновали. :) С другой стороны, спасибо, что не как в хаскеле, где String = [Char].

Плюс, возможно, повлияло то, что компиляция идет через генерацию Си и вывов gcc.

[maxim.livejournal.com]

А что разве в Хаскеле разве не заоптимизированно String = [Char] ?

[thedeemon.livejournal.com]

Там есть всякие ByteString'и, где символы подряд (одним куском или списком из массивов). А классический String таки ленивый список.

[109.livejournal.com]

если я правильно помню, строки с хранимой длиной называются pascal strings...

[alexandr alexeev (from livejournal.com)]

pascal strings - это один байт под длину и до 255 байт под саму строку. Если не ошибаюсь.

[mpak666.livejournal.com]

интересно как этот идрис работает с unicode :)

[thedeemon.livejournal.com]

А никак. :)

[mpak666.livejournal.com]

как замечательно :))) бритва Оккама в действии

[thedeemon.livejournal.com]

Ага. :) При большом желании решается библиотечно. Char там внутри - инт, так что можно символами оперировать не толькео ascii, дальше нужно лишь написать свою конверсию из String в список Char'ов, и будут юникодные строки-списки.

[mpak666.livejournal.com]

но можно ли переопределить стандартные функции, чтобы другие библиотеки (например файловые) смогли работать после этого с unicode без дополнительных телодвижений?

[thedeemon.livejournal.com]

Те функции, что в стандартной библиотеке (их совсем немного), привязаны к String и реализованы на Си тупейшим образом (через strlen, strcpy, fgets, etc.). Так что вряд ли.