Size: a a a

2020 October 28

к

кана in Haskell
как минимум еще Ord нужен
источник

AV

Alexander Vershilov in Haskell
Ну учитывая, что тут Map a он есть
источник

к

кана in Haskell
Alexander Vershilov
Ну учитывая, что тут Map a он есть
g keys makeMap = do
 map <- makeMap (toList keys)
 for keys \key -> do
   pure (key, Map.lookup key map)
источник

к

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

к

кана in Haskell
g keys makeMap = do
 map <- makeMap (toList keys)
 pure $
   keys <&> \key ->
     (key, Map.lookup key map)
источник

к

кана in Haskell
Alexander Vershilov
f t g = do
 let x = toList t
 z <- g x
 pure $ t & \i -> (i, z ?! i)
а ну это твое и есть
источник

к

кана in Haskell
а почему не хочется?
источник

AV

Alexander Vershilov in Haskell
Alexander Vershilov
/me передумал, хочется, но интересны способы красивее
^
источник

AV

Alexander Vershilov in Haskell
Уже чисто из интереса, можно ли через завязывание узла какое?
источник

і

іва in Haskell
Ilya Kos
true, false and null
чем 'Мaybe Bool` не угодил?
источник

VZ

Vladislav Zavialov in Haskell
Alexander Vershilov
Как написать:
f :: (Traversable t) => t a  -> ([a] -> IO (Map a c)]) -> IO (t (a,Maybe c))

?
Закрывающая квадратная скобка непарная
источник

AV

Alexander Vershilov in Haskell
Зануды!
источник

VZ

Vladislav Zavialov in Haskell
Так она должна где-то открываться или нет? Я просто не знаю как этот тип читать
источник

AV

Alexander Vershilov in Haskell
] - лишняя
источник

AV

Alexander Vershilov in Haskell
там список а не map был
источник

IK

Ilya Kos in Haskell
какая каноничная String -> Maybe Int?
источник

IK

Ilya Kos in Haskell
readMaybe?
источник

JS

Jerzy Syrowiecki in Haskell
Ilya Kos
readMaybe?
да
источник

к

кана in Haskell
Ilya Kos
какая каноничная String -> Maybe Int?
ну, она каноничная в том смысле, что терм хаскельный читает
источник

IK

Ilya Kos in Haskell
кана
ну, она каноничная в том смысле, что терм хаскельный читает
А если мне нужно «число из строки»
источник