Гениально

х-ль любишь? давай

Товарищи, подскажите аналог оператора ., действующий в обратную сторону (то есть если (f . g) x == f(g(x)), то (f +++ g) x == g(f(x))).

Короче, как это написать средствами стандартной библиотеки? f +++ g = g . f main = do n <- readLn arr <- getLine >>= (words +++ map read +++ return) putStrLn "hi"

f >>> g?

c.hs:13:27: error: • Variable not in scope: (>>>) :: (String -> [String]) -> ([String] -> [b0]) -> String -> a1 • Perhaps you meant one of these: ‘>>=’ (imported from Prelude), ‘>>’ (imported from Prelude)

Control.Arrow

О, спасибо. Вот такое скомпилилось: import Control.Monad (liftM) import Control.Arrow ((>>>)) main = do n <- readLn :: IO Int a <- liftM (words >>> map read) getLine :: IO [Int] putStrLn "hi"

??

Почему здесь import Control.Monad.ST (ST, runST) import Data.Array.ST (STArray, newArray, getElems) existsEmpty n = runST $ do arr <- newArray (1, n) [] :: ST s (STArray s Int [Integer]) -- какой-то длинный код return $ any mempty $ (getElems arr :: [[Integer]]) компилятор выдаёт ошибку Couldn't match type ‘[Integer]’ with ‘Integer’ Expected type: [[Integer]] Actual type: [[[Integer]]] • In the second argument of ‘($)’, namely ‘(getElems arr :: [[Integer]])’ ... ? Казалось бы, я инициализирую массив списков, и затем превращаю его в список списков. Откуда [[[Integer]]]?

(getElems incoming :: [[Integer]])

ты хочешь чтобы мы угадали что не так в коде, который ты не показал?

incomming не присуствует в процитированном участке кода

Почему здесь import Control.Monad.ST (ST, runST) import Data.Array.ST (STArray, newArray, getElems) existsEmpty n = runST $ do arr <- newArray (1, n) [] :: ST s (STArray s Int [Integer]) -- какой-то длинный код return $ any mempty $ (getElems arr :: [[Integer]]) компилятор выдаёт ошибку Couldn't match type ‘[Integer]’ with ‘Integer’ Expected type: [[Integer]] Actual type: [[[Integer]]] • In the second argument of ‘($)’, namely ‘(getElems arr :: [[Integer]])’ ... ? Казалось бы, я инициализирую массив списков, и затем превращаю его в список списков. Откуда [[[Integer]]]?

^^

any mempty это тоже как-то сильн

incomming не присуствует в процитированном участке кода

Простите, забыл отредактировать ошибку компилятора

any :: Foldable t => (a -> Bool) -> t a -> Bool

отсюда mempty :: (a -> Bool)

instance Monoid b => Monoid (a -> b)

getElems :: (MArray a e m, Ix i) => a i e -> m [e]

мне жалко компилятор ;)

any empty <$> getElems arr

наверное это имелось ввиду:?

Простите, забыл отредактировать ошибку компилятора

^^

any empty <$> getElems arr

:t empty <interactive>:1:1: error: • Variable not in scope: empty • Perhaps you meant ‘mempty’ (imported from Prelude)

:m +Data.List

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

да

но mempty этого не делает, это 0 для моноида

хотя название и похоже

значение, а не предикат

ясно

отсюда mempty :: (a -> Bool)

хотя стоп, нет

там вообще все плохо с типами

:t mempty mempty :: Monoid a => a

и?

Вот это значение :)

> но mempty этого не делает, это 0 для моноида

про чт я и говорил

но т.к. тип any :: (a -> Bool) -> t a -> Bool => этот конкретный mempty должен быть (a -> Bool)

в общем не важно

напиши правильно: any empty <$> getElems arr

existsEmpty :: Int -> [Int] -> Bool existsEmpty n g = runST $ do incoming <- newArray (1, n) [] :: ST s (STArray s Int [Int]) gg <- newSTRef g for_ [1..n] $ \idx -> do h:t <- readSTRef gg current <- readArray incoming h writeArray incoming h (idx:current) writeSTRef gg t elems <- getElems incoming return $ any null elems Такое работает

а точно

existsEmpty :: Int -> [Int] -> Bool existsEmpty n g = runST $ do incoming <- newArray (1, n) [] :: ST s (STArray s Int [Int]) gg <- newSTRef g for_ [1..n] $ \idx -> do h:t <- readSTRef gg current <- readArray incoming h writeArray incoming h (idx:current) writeSTRef gg t return $ any null <$> getElems incoming такое не проходит тайпчек с ошибкой: • Couldn't match type ‘f0 Bool’ with ‘Bool’ Expected type: ST s Bool Actual type: ST s (f0 Bool) • In a stmt of a 'do' block: return $ any null <$> getElems incoming

спать покра мне

any null <$> getElems

нафига временные байндинги вводить

почему return то?

return :: a -> m a

any null <$> getElems incomming :: ST s Bool

если сделать return $ .. то будет ST s (ST s Bool)

как зачем? потому что из функции нужно вернуться… вот и return

очень удачное имя конечно в свое время выбрали они для монады (

мне кажется если разбираться чуточку более основательно

то проблем с return не возникает

почему return то?

Потому что any выдаёт немонадное значение

просто обычно хочется сесть и за вечерок газануть сервис

без книжек и прочего

Потому что any выдаёт немонадное значение

я ещё раз повторюсь: any null <$> getElems incomming :: ST s Bool

<$> там не просто так

<$> ты поднял это все в монаду

Да, я понял.

return там изначально был, потому что у меня был лишний байндинг

угу

кстати из-за этого ошибка про [[[]]] была

ERROR: S client not available

у ghc получилось вывести что оно сойдётся будет соотв тип у массива

кстати, есть ли причина по которой используется array, а не vector?

кстати, есть ли причина по которой используется array, а не vector?

Нет.

ну кроме того, что это задание в универе, а в системе проверки только ghc и либы идущие с ним

тогда советую брать vector

Это не задание в универе, это http://codeforces.com/contest/742/problem/C

Но замечание про систему проверки по-прежнему актуально

hah, еще не было ссылки http://simonmar.github.io/posts/2016-12-08-Haskell-in-the-datacentre.html ?

ну кроме того, что это задание в универе, а в системе проверки только ghc и либы идущие с ним

На сервере Codeforces (GHC 7.8.3) в Prelude нет даже <$>. (У меня локально 8.0.1, там есть.)

import Control.Applicative import Prelude и будет на всех ghc без warning-ов работать

на многих системах ставят популярные либы

А как перекрыть импортированный из Prelude символ?

Нашёл. import hiding

Товарищи, не мог бы кто-то мне сделать code review? http://codeforces.com/contest/742/submission/22950482

а какие символы надо было спрятать?

<$> из Prelude, чтобы локально компилировалось

оно реэкспортирует же

import Control.Applicative import Prelude вот именно так будет работать без ворнингов

т.е. из Applicative не явно, а импорт Prelude после

f <$> a = do t <- a return $ f t нинада так, нужно или нормальный или fmap

Почему два импорта на один символ?

чтобы не было warning-ов на версиях д AMP и после

просто забавный хак, использующий правила того, как работают warning-и на redundant import

import Control.Applicative <- благодаря этому работает на <7.10

import Prelude <- благодаря этому не генерируется warning на >=7.10

whileM p f = do { x <- p; when x (f » whileM p f) }

т.е. там как-то слишком много строчек

http://codeforces.com/contest/742/submission/22950581 Теперь у меня локально выдаётся warning, что Module ‘Control.Monad.ST.Safe’ is deprecated, но иначе это не компилируется на сервере с ошибкой Control.Monad.ST: Can't be safely imported! The module itself isn't safe.

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

я на память не скажу, никогда его не импортирова

GHC 8.0.1 локально при компиляции с Safe: Module ‘Control.Monad.ST.Safe’ is deprecated: Safe is now the default, please use Control.Monad.ST instead GHC 7.8.3 на сервере без Safe: program.hs:6:1: Control.Monad.ST: Can't be safely imported! The module itself isn't safe. program.hs:7:1: Data.Array.ST: Can't be safely imported! The module itself isn't safe.

что мешает последовать совету?