такие нестрогие

[thedeemon]

Вопрос знатокам и любителям языков с нестрогой семантикой. Вот код на Clean с созданием массива с помощью array comprehension. Сколько раз будет вызвана функция f?

mkarr :: Int -> {#Int}
mkarr n = {tab.[j] - 1 \\ j <-[0..n-1]} where 
  tab :: {#Int}
  tab = {f i \\ i <- [0..n-1]}
  f :: Int -> Int
  f x = x + 5

Start world 
  # arr = mkarr 10000
  = arr.[9000]

Ответ профайлера: код проработал целых 6 секунд, массив tab был создан и собран мусорщиком 10000 раз (400 мегов аллоцировав), функция f вызвана 100 миллионов раз. А чо, чистота, ленивость и referential transparency. :)

Comments

[max has (from livejournal.com)]

очень интересно, а как массивы укладываются в чистый ФП язык Clean. мутабельность, время доступа по индексу. в хаскеле Data.Array.IO т.е. не в мире чистых функций.

[nponeccop.livejournal.com]

Uniqueness typing

[thedeemon.livejournal.com]

Вот тут про них подробно:
http://thedeemon.livejournal.com/37515.html