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

[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

[max630.livejournal.com]

А что, у clean достаточно жив чтобы к нему можно было такие требования предъявлять?

[max has (from livejournal.com)]

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

[nponeccop.livejournal.com]

Uniqueness typing

[thedeemon.livejournal.com]

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

[migmit.livejournal.com]

Интересно, при чём тут ленивость?

[thedeemon.livejournal.com]

Формально тут tab должен быть ленивым значением типа "unboxed массив интов" и вычисляться один раз.

Кстати, вот в таком варианте именно так и происходит:

dummy :: {#Int}
dummy = {0}

mkarr4 :: Int -> {#Int}
mkarr4 n = { tab.[j] - 1 \\ j <- [0 .. n - 1] } where
  tab = if (1 < 0) dummy {f i \\ i <- [0 .. N - 1]}
  f x = x + 5 

Но стоит явно задать тип tab, компилятор чудит и делает многократные его вычисления.

[nivanych.livejournal.com]

> чистота, ленивость и referential transparency

Уже очень давно, как с этими словами ассоциируют Haskell, у которого не так и недавно уже довольно более другой компилятор, чем у Clean.

[thedeemon.livejournal.com]

Тут просто глюк забавный получился. Типа раз referential transparency, то не только можно вычисление выражения заменить его значением, но и наоборот - значение обратно заменить вычислением. :)