strlen

[thedeemon]

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

Comments

[deni-ok.livejournal.com]

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

[thedeemon.livejournal.com]

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

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