Текущее состояние длин

[deni_ok]

Померил тут, похоже про магические хэши не надо рассказывать. Тут length' - текущая реализация из GHC, length0 - трех?летней давности:
{-# LANGUAGE MagicHash

Comments

[nealar]

Что такое магические хэши? Это когда одновременно и считаются быстро и свойства хорошие?

[lionet]

{-# LANGUAGE MagicHash #-}

[nealar]

Это чтобы можно было прямо из GHCi в твиттер писать?

И, как побочный эффект, литералы хавали меньше памяти?

[deni_ok]

Unboxed types:
https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/primitives.html
Считаются быстро, свойства плохие.

[kodt_rsdn]

А length0 - она вообще энергичная?
Там не может получиться, что компилятор построит мега-санки I# (...(((0# +# 1#) +# 1#) + 1#)...), которые влезли в память (в отличие от length''' только потому, что боксированные данные занимают вдвое больше места)?

Как насчёт заведомо энергичного
length00 = I# . foldl' (const . inc) 0# where inc h = h +# 1#

[deni_ok]

Какие санки, это же чисто сишные типы и операции, они unlifted (и unboxed). Их даже в полиморфные функции передавать нельзя и в полиморфных типах данных хранить.

[sassa_nf]

а код какой генерирует? А то мало ли, все они проводят кучу времени в GC или еще какой конфуз

[deni_ok]

Библиотечный length? Сомневаюсь:) Может потом гляну, мысль разумная.

[sassa_nf]

так не length, а [1..1000000000]

[migmit]

Слушай, тут на ЛОРе обсуждают задачку, говорят, что из твоего курса (сам не проверял): https://www.linux.org.ru/forum/development/12415360

И бают, будто бы в ответе сказано, что corge не может привести к расходимости. Так оно вполне может, если только там тип явно не указан. Я, конечно, не вполне понимаю, что значит "корректный набор аргументов", но уж corge стопудово может быть чем угодно.

[migmit]

А, пардон, я там недопонял. Говорят, ответ неизвестен. Прошу пардону.

[deni_ok]

Ты имеешь в виду, что instance Num мы можем для стрелочного типа сделать?

[migmit]

Ну да.

[nponeccop]

Ну кто так меряет! ghci вроде как сильно хуже кодогенит, чем ghc -O. Реквестирую нативный бенч с Criterion.

[deni_ok]

Так там и грузится отоптимизированный модуль, там же сначала ghc -O2 Length.hs