AA
однозначность рассахаривания обычно просто квалификацией делается
Size: a a a
2021 April 11
AA
емнип с первого репорта
AA
но может не с первого драфта репорта
AA
обидно что ель не отсканил драфты. емелисты-то свои отсканировали Ж(((
A
А может кто-то подсказать, как в vscode пользоватся форматерами кода через hls?
KV
А в хлс разве не встроено?
A
Ага, получилось.
A
Там вроде встроена просто возможность дергать нужный форматер и правильно обрабатывать его результаты. Просто я что-то нигде пошагового how-to как это делать не находил.
MK
в хлс же вроде вкомпилены некоторые форматеры
MK
не как внешние тулзы
MK
а может нет
A
Насколько я сейчас понял когда мы форматим мы посылаем команду на форматирование hls, а он в зависимости от настройки форматера уже делает.
A
А функцию вида
можно как-то как лямбду красиво переписать?
test :: Monoid a => [a] -> [a] -> Maybe a
test (x : _) (x' : _) = Just $ mappend x x'
test _ _ = Nothing
можно как-то как лямбду красиво переписать?
к
\xs ys -> case (xs, ys) of
(x : _, y: _) -> Just (x <> y)
_ -> Nothing
curry \case
(x:_, y:_) -> Just (x <> y)
_ -> Nothing
\case x : _ -> \case {y : _ -> Just (x <> y); [] -> Nothing}; [] -> const Nothing
\xs ys -> do
x <- listToMaybe xs
y <- listToMaybe ys
pure (x <> y)
\xs ys -> liftA2 (<>) (listToMaybe xs) (listToMaybe ys)
(x : _, y: _) -> Just (x <> y)
_ -> Nothing
curry \case
(x:_, y:_) -> Just (x <> y)
_ -> Nothing
\case x : _ -> \case {y : _ -> Just (x <> y); [] -> Nothing}; [] -> const Nothing
\xs ys -> do
x <- listToMaybe xs
y <- listToMaybe ys
pure (x <> y)
\xs ys -> liftA2 (<>) (listToMaybe xs) (listToMaybe ys)
liftA2 (<>) `on` listToMaybeA
Спасибо. Мне конкретно было интересно, как в виде лямбды записиывать функции в которых неколько веток паттерн матчинга по нескольким параметрам.
В итоге варианты выглядят не особо, проще создавать локальную функцию видимо.
А первый и второй вариант как-то на скорость влияет? Там ведь идет оборачивание/разворачивание в тупл вроде.
В итоге варианты выглядят не особо, проще создавать локальную функцию видимо.
А первый и второй вариант как-то на скорость влияет? Там ведь идет оборачивание/разворачивание в тупл вроде.
D
case
к
нет, не влияют, это заворачивание с некоторой вероятностью может даже не произойти (но не факт во втором случае, не вижу INLINE у curry)
но в первом случае я почти уверен что кортеж не будет создаваться, хаскель умеет оптимизировать такой код
case Nothing of
Nothing -> 1
_ -> 2
в просто 1, скорее всего и с кортежами справится
но в первом случае я почти уверен что кортеж не будет создаваться, хаскель умеет оптимизировать такой код
case Nothing of
Nothing -> 1
_ -> 2
в просто 1, скорее всего и с кортежами справится