Телеграмм чат группы haskellru страница 15018

Size: a a a

Haskell

2020 December 15

-- >>> let xs = lastIsFalse
-- >>> (xs !! 5) `seq` (show (take 5 xs))
-- "[True,True,True,True,True]"

как ожидается. Не берешь элемент — не форсь хвост

источник

08:50пожаловаться #1

Alexander Vershilov in Haskell

Нет нельзя

источник

08:50пожаловаться #2

Roman in Haskell

Alexander Vershilov

Чтобы было ок нужна явная зависимость по данным, тогда не сломаешь но можно зациклиться

если хвост зависит от головы, а голова зависит от хвоста, то улетаешь в бесконечный цикл

источник

08:51пожаловаться #3

Roman in Haskell

Roman

если хвост зависит от головы, а голова зависит от хвоста, то улетаешь в бесконечный цикл

ну или не улетаешь, а просто не можешь отличить последний элемент от непоследнего

источник

08:52пожаловаться #4

Roman in Haskell

короч хз. Придумаешь как сделать лучше — с меня пирожок при случае

источник

08:52пожаловаться #5

Roman in Haskell

Roman

ну или не улетаешь, а просто не можешь отличить последний элемент от непоследнего

*"условно последний"

источник

08:52пожаловаться #6

Alexander Vershilov in Haskell

У нас тут нет ссылочной прозрачности даже моральной, поэтому не придумаю :(

источник

08:54пожаловаться #7

Kirill Valyavin in Haskell

А чего у ньютайпов нельзя строгое поле-то сделать?

источник

08:57пожаловаться #8

Kirill Valyavin in Haskell

И fold' функции нет в Data.Foldable

источник

08:57пожаловаться #9

Roman in Haskell

Kirill Valyavin

А чего у ньютайпов нельзя строгое поле-то сделать?

у ньютайпов нельзя нестрогое поле сделать

источник

09:01пожаловаться #10

Kirill Valyavin in Haskell

Так а почему??

источник

09:01пожаловаться #11

Roman in Haskell

потому что для нестрогих полей есть data. А newtype A — это то же самое, что A в рантайме

источник

09:02пожаловаться #12

Kirill Valyavin in Haskell

А почему нельзя сделать "то же самое, что A в рантайме, только со строгостью"?

источник

09:03пожаловаться #13

Kirill Valyavin in Haskell

Хочется одновременно чтобы deriving newtype, коэрсы и строгость

источник

09:04пожаловаться #14

Roman in Haskell

Kirill Valyavin

Хочется одновременно чтобы deriving newtype, коэрсы и строгость

data добавляет indirection, поэтому этот indirection можно сделать строгим, а можно ленивым. newtype indirection не добавляет, так что ты не можешь сделать строгим то, чего не существует

короче coerce f строга и ленива в своих аргументов ровно так же, как просто f (я же ничего не упустил?)

источник

09:07пожаловаться #15

Roman in Haskell

вощм заворачивай в ньютайпы и не парься насчет строгости

источник

09:07пожаловаться #16

Kirill Valyavin in Haskell

В смысле "не парься", мне жалко 90% процессорного времени на сборку мусора. А не убирать не экологично!

источник

09:09пожаловаться #17

Kirill Valyavin in Haskell

Вместо foldMap (... Sum Product Whatever) писать портянку с дипсеками тупо

источник

09:11пожаловаться #18

Kirill Valyavin in Haskell

Короче дурацкий язык какой-то, буду учить раст

источник

09:11пожаловаться #19

Kirill Valyavin in Haskell

> newtype indirection не добавляет, так что ты не можешь сделать строгим то, чего не существует

Мне не надо indirection, мне надо чтобы дипсеки в нужных местах сами вставлялись, ну или как-то так

источник

09:12пожаловаться #20