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

= mdo
    let ~(result, emails, ids) = go input resolved_emails checked_ids
    resolved_emails <- searchEmails emails
    checked_ids <- checkIds ids
    pure result
  where
    go [] _ _ = ([], [], [])
    go (U.UserIdOrEmail (Left e):xs) (l:ls) rs =
      let ~(out, emails, ids) = go xs ls rs
      in (l:out, e:emails, ids)
    go (U.UserIdOrEmail (Right i):xs) ls (r:rs) =
      let ~(out, emails, ids) = go xs ls rs
      in (r:out, emails, i:ids)

теперь такую штуку думаю как по человечески написать

источник

15:52пожаловаться #14

Alexander Vershilov in Haskell

там список either-ов, left и right можно пачкой проверить, и собрать список результатов в том же порядке, как исходный перемешанный список

источник

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

A64m AL256m qn<co... in Haskell

в хаскеле тем временем новая фича
https://gitlab.haskell.org/ghc/ghc/-/commit/c696bb2f4476e0ce4071e0d91687c1fe84405599
такое еще случается

GitLab

Implement type applications in patterns (c696bb2f) · Commits · Glasgow Haskell Compiler / GHC

The haddock submodule is also updated so that it understands the changes to patterns.

источник

21:58пожаловаться #16

кана in Haskell

еее, наконец-та, а когда релиз?

источник

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

A64m AL256m qn<co... in Haskell

ну не раньше апреля я думаю

источник

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

кана in Haskell

хм, даже если выкинуть половину тестов, то очень удивительно, что на такую простую фичу, которая не является исключительно новой (на тайплевеле она уже давно есть, на термлевеле эмулируется проксями) нужно было столько кода

источник

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

кана in Haskell

с этой фичей, имхо, нужно выкидывать фичу, что переменые forall ... из сигнатуры проникают в определение

источник

22:05пожаловаться #20