A
интересно, не видел этого
С версии 1.14
Size: a a a
2021 January 27
Oℕ
да, я прочитал и про вейтгруппы, спасибо
Oℕ
а в хаскеле есть вытеснение за пределами >>= ?
AA
на каждой аллокации может быть, но не на каждой бывает
AA
нда, можно было сказать просто "на любой аллокации может быть"
AA
еще есть ключ который вставляет ельды, если аллокаций мало для этого
AA
не знаю, правда, куда, в ГЦ-ные сейфпойнты мож?
R
😵
ЗП
а это не офтоп в кишках ГЦ ковыряться?)
JS
а это не офтоп в кишках ГЦ ковыряться?)
оффтоп
МЛ
в чём разница foldl и foldl'?
A
This ensures that each step of the fold is forced to weak head normal form before being applied, avoiding the collection of thunks that would otherwise occur.
A
это прямо в документации на foldl' написано
МЛ
что такое weak head normal form
к
значение вычисление до первого конструктора или лямбды
A
можно не знать, что такое weak head normal form, достаточно обратить внимание на avoiding the collection of
thunks that would otherwise occur
thunks that would otherwise occur
к
from n = n : from (n + 1)
nats = from 0
nats - не whnf
from 0 - не whnf
0:from (0 + 1) - whnf (вычислен первый конструктор - :, значения слева и справа от : вычичлять уже не нужно)
nats = from 0
nats - не whnf
from 0 - не whnf
0:from (0 + 1) - whnf (вычислен первый конструктор - :, значения слева и справа от : вычичлять уже не нужно)
2021 January 28
к
вот пример кода, evaluate вычисляет до whnf, trace выводит сообщение, когда вычисляется
итого при вычислении x до whnf выводится только одно сообщение о конструкторе, ни 0, ни [] не вычислялись
итого при вычислении x до whnf выводится только одно сообщение о конструкторе, ни 0, ни [] не вычислялись
к
поэтому даже такой код вычислиться до whnf без ошибок
x = error "1" : error "2"
x = error "1" : error "2"
МЛ
спасибо