Size: a a a

2020 December 21

Oℕ

Oleg ℕizhnik in Haskell
coerce
источник

к

кана in Haskell
type Inf a = Down (Maybe (Down a))

x = sortOn @(Inf Int) coerce [Just (3 :: Int), Just 1, Nothing, Just 2]
источник

к

кана in Haskell
c Compose все ломается при этом
источник

к

кана in Haskell
а хм, тут ceorce не сраавляется
источник

к

кана in Haskell
а нет, это у меня просто плохой импорт
источник

к

кана in Haskell
источник

Oℕ

Oleg ℕizhnik in Haskell
источник

MK

Maxim Koltsov in Haskell
minimumOf (traverse . _Just) :: [Maybe a] -> Maybe a
можно проще? если бы был minimumMaybe какой-нибудь, можно было бы fmap minimumMaybe . sequenceA
источник

к

кана in Haskell
так, зачем проще
источник

к

кана in Haskell
куда уже проще
источник

MK

Maxim Koltsov in Haskell
ну чтобы без линз
источник

к

кана in Haskell
each вместо traverse сделай, будет меньше символов
источник

к

кана in Haskell
а ну возьми

mininum . catMaybe
источник

к

кана in Haskell
а не
источник

MK

Maxim Koltsov in Haskell
кана
а ну возьми

mininum . catMaybe
так упадёт на пустом
источник

к

кана in Haskell
это упадет
источник

MK

Maxim Koltsov in Haskell
не, можно через NE
источник

MK

Maxim Koltsov in Haskell
но больше букв получится
источник

к

кана in Haskell
getMin . foldMap (Min . Just) . catMaybes
источник

к

кана in Haskell
тоже не то, Min это не моноид
источник