strlen

[thedeemon]

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

Comments

[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.). Так что вряд ли.