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

а то я тут словил проблему и весь день мучаю пикеринга и fendor'а на тему hie, а проблема оказалась в ghc в генте

21:59пожаловаться #1

дико тупой вопрос
мне нужно сделать binarySearch :: Vector a -> a -> Maybe Index
и я вот смотрю на https://hackage.haskell.org/package/vector-algorithms-0.8.0.3/docs/Data-Vector-Algorithms-Search.html
и вообще нихрена не понимаю как этим пользоваться, есть где-нибудь осмысленные примеры этого ада? Или проще самому написать?

21:59пожаловаться #2

это в runST должно запускаться?

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

да

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

господи но зачем

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

мысленно замени m на ST s, PrimState m на s, а v на STVector s

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

хороший вопрос

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

почему-то автор решил что это должно работать с мутабельным вектором

22:02пожаловаться #8

кана in Haskell

Misha Puzanov

господи но зачем

чтобы быстро наверное, там просто императивная имплементация

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

 loop !l !u
   | u <= l    = return l
   | otherwise = do e' <- unsafeRead vec k
                    case cmp e' e of
                      LT -> loop (k+1) u
                      EQ -> return k
                      GT -> loop l     k
  where k = midPoint u l

22:02пожаловаться #10

императивная

22:02пожаловаться #11

но непонятно чем тут unsafeRead лучше unsafeAt или как он там

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

интуитивно кажется, что гхц смог бы свернуть тут цикл и с иммутабельным вектором

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

ну или modify на худой конец, спрятав ST от пользователя

22:03пожаловаться #14

Maxim Koltsov

почему-то автор решил что это должно работать с мутабельным вектором

подозреваю, что в качестве части какого-то пайплайна, типа сначала нашли куда вставлять, потом вставили

22:03пожаловаться #15

но отсутвие простого варианта как-то БЕСИТ

22:04пожаловаться #16

буду пробовать

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

Alexander Vershilov in Haskell

runST $ unsafeThaw s >>= \v -> binarySearch v x

22:04пожаловаться #18

Alexander Vershilov in Haskell

22:04пожаловаться #19

Misha Puzanov

но отсутвие простого варианта как-то БЕСИТ

https://www.stackage.org/haddock/lts-15.11/vector-0.12.1.2/Data-Vector.html#v:modify через это можешь попробовать