Size: a a a

2021 March 05

к

кана in Haskell
строгое
источник

к

кана in Haskell
и в data X = X !X строгое
источник

O

Ortofax in Haskell
кана
ну смотри, тут значение строгое (предположим что у нас нет null)?
не строгое
источник

O

Ortofax in Haskell
как можно положить в объект адрес ещё до его конструирования?
источник

O

Ortofax in Haskell
разве что если предположить, что сначала аллоцируется память, затем адрес кладётся в x, затем инициализируется структура
источник

к

кана in Haskell
хм, да вроде легко можно
источник

к

кана in Haskell
Ortofax
разве что если предположить, что сначала аллоцируется память, затем адрес кладётся в x, затем инициализируется структура
да, валидный способ
источник

к

кана in Haskell
если это еще и статик, а не аллокация, то еще проще
источник

O

Ortofax in Haskell
т.е. речь идёт о мутации памяти, после её выделения
источник

к

кана in Haskell
окей, и ты намекаешь, что вот эта мутация памяти это и есть ленивость?
источник

к

кана in Haskell
иначе мне не понятно, где тут ленивость
источник

O

Ortofax in Haskell
ленивость в хаскеле реализуется через мутации внутри, так что в некотором роде наверно да
источник

AP

Aleksei (astynax) Pi... in Haskell
Какие же ParallelListComp странные всё же (да, я знаю, как оно рассахаривается, но в сладком виде это всё равно выглядит как одно выражение)
источник

AP

Aleksei (astynax) Pi... in Haskell
источник

AP

Aleksei (astynax) Pi... in Haskell
Получается, что гарды можно только к последнему "итератору" применять?
источник

AP

Aleksei (astynax) Pi... in Haskell
> [(i, x) | x <- "Hello WoRlD", isUpper x, | i <- [0..], odd i]
<interactive>:3:42: error: parse error on input ‘|’
так нельзя, я попробовал
источник

AP

Aleksei (astynax) Pi... in Haskell
А, туплю, просто запятая лишняя
источник

AP

Aleksei (astynax) Pi... in Haskell
> [(i, x) | x <- "Hello WoRlD", isUpper x | i <- [0..], odd i]
[(1,'H'),(3,'W'),(5,'R'),(7,'D')]
источник

AP

Aleksei (astynax) Pi... in Haskell
Всем спасибо :)
источник

AP

Aleksei (astynax) Pi... in Haskell
Надо в PLC добавить ; как средство отделения "того, что зипается" от "того, что делается с результатом"
источник