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

ток у меня в бенче неправильное строгое (что ни на что не влияет правда)

должно быть таким, чтобы только минимальное значение было строгим

data X = X !Int [Int]

источник

01:20пожаловаться #6

[

[BRM]White Rabbit in Haskell

я думал, что тардис и ленивое это разные, а это одно

источник

01:20пожаловаться #7

[

[BRM]White Rabbit in Haskell

сейчас код отрыл

источник

01:20пожаловаться #8

кана in Haskell

тардис это отдельная тема, либа поверх этого

тут строгое решение все еще на основе лени работает, просто значение минимального вычисляется сразу, а не строится башенка задумок из min

источник

01:22пожаловаться #9

[

[BRM]White Rabbit in Haskell

ага, я понял

источник

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

кана in Haskell

и чет у меня не получается заменить рекорд с строгим полем на просто бэнг-паттерны

источник

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

кана in Haskell

вот так получилось, оно не сильно, но заметно медленее чем просто data X = X !Int [Int]

источник

01:26пожаловаться #12

кана in Haskell

не могу понять, почему только bang-паттерн или только $! не работают, нужны оба

источник

01:28пожаловаться #13

кана in Haskell

вот тут конечно для незнакомого с хаскелем человека просто иероглифы какие-то

источник

01:33пожаловаться #14

[

[BRM]White Rabbit in Haskell

У тебя дист ленивый до сих пор

источник

01:33пожаловаться #15

[

[BRM]White Rabbit in Haskell

В скинутом тобой исходнике ![Int]

источник

01:33пожаловаться #16

кана in Haskell

Кажется на чат повесили слоу-мод, я уже думал что меня забанили

источник

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

Andrey in Haskell

нет

источник

01:36пожаловаться #18

Andrey in Haskell

посмотрел, слоумода нет

источник

01:37пожаловаться #19

Lierdakil in Haskell

у меня вроде работает с $!

mine :: [Int] -> [Int]
mine i = fst $ fix $ f i . snd
  where
  f [] y = ([], y)
  f [x] y = ([y], x)
  f (x:xs) y = case f xs y of
    (xs', y') -> (y:xs',) $! min x y'

правда помедленнее чем вариант с data X, но не в 3-6 раз.

источник

01:42пожаловаться #20