В нем функция

В нее нужно из JSON передатт параметры

И сравнить с результатом который тоже в JSON

Функция всегда разная

JSON ей соответсвует

какие параметры передать?

Приходит Value, я тяну по ключам arguments и expected

как ты это узнаешь?

Вот и я не знаю

ты хочешь что-то странное

Пока что у меня питоновский код генерит сигнатуры для хаскеля

ты получаешь Object

У меня есть подозрение, что ты можешь туда хотеть передать record с тайп-левел ключами Нет?

это чушь какая-то

зачем?

Ты это мне?

пришёл модуль у него параметры {keys: [Text], solve: :: Object -> Value}

зачем лишние извращения?

Ммм, откуда параметры?

Ладно, что-то сложное и непонятное отваливается

откуда они у тебя физически?

Кто?

параметры?

информация о том, какие параметры доставать

оттуда и бери

{"arguments":[1.0, {"1":2},["wobl","rhtowg","euassbnct","existence","stymes","eskmo"]],"expected":[["existence","existence"]]}

Вот например такой JSON

Вот в arguments Double -> Map Int Text -> [Text] например

В рантайме я соснул конечно

это значит что у тебя data Task = Task { taskArgumetns: [Value] , taskExpected: [Value] }

отдаешь их проверяющему сравниваешь

Но функция имеет тип Double -> Map Int Text -> [Text] -> [Text]

это значит что у тебя data Task = Task { taskArgumetns: [Value] , taskExpected: [Value] }

Это понятно

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

он грузится динамически или статически?

Хаскельный

module Solution where import Data.Map solution :: Double -> Map String Int -> [String] -> [[String]] solution n m xs = [xs]

Например

понял

в общем ты можешь сделать класс типов, который будет для функции парсить аргументы как надо

Хмм

Как это говно будет работать?

За мат извени

Может гайд какой есть, пример

можешь поискать генерогенный foldr у олега или fold arguments или как PrintF сделан

в printf в другую стороную, но идея та же

Функция останется простой, магия будет только в моем коде?

максимум нужно будет терминатор сделать

типа solution :: Double -> Map String Int -> [String] -> Result [[String]]

Result это что?

newtype Result a = Result a

Ясно понятнр

{-# LANGUAGE FlexibleInstances #-} {-# LANGUAGE UndecidableInstances #-} {-# LANGUAGE ScopedTypeVariables #-} class Foo a where run :: [String] -> a -> String instance {-# OVERLAPPABLE #-} Show a => Foo a where run [] a = show a run _ _ = error "!" instance {-# OVERLAPPING #-} (Read a, Foo b) => Foo (a -> b) where run (s:ss) f = show $ run ss (f (read s)) run _ _ = error "!!" test1, test2 :: String test1 = run ["1","2.3"] $ \(i::Int) (j::Double) -> fromIntegral i + j test2 = run ["[1,2]","2"] $ \(i::[Int]) (j::Int) -> take j i

в json сам переделаешь?

@a66ath ^

А сейчас оно на стрингах?

ты же видишь?

Переделаю

Ну вижу

да, и Read/Show вместо ToJSON и FromJSON

скорее всего только это поменять надо будет и [Value] вместо [String] передавать

итого, у тебя а.: тип структуры сообщения у которого всегда есть parameters и expect или answer что там

делаешь тип: data Task = Task { taskParameters :: [Value] , taskExpected :: Value } deriving Generic deriveAeson параметрыКоторыеОткусываютТаск ''Task

точнее углубляться не надо

по типам функции тестирования генерируется парсер

foldr (\a b -> min <$> a <*> b <|> a <|> b) Nothing — как получше можно такую функцию переписать?

Алмаз дал работы на два чата

Сейчас по всем языкам клич пойдёт

м?

foldr (\a b -> min <$> a <*> b <|> a <|> b) Nothing — как получше можно такую функцию переписать?

разве что через liftA2 переписать liftA2 min a b <|> a <|> b

если бы было бы max, то можно было бы просто foldr max Nothing, а с min не катит, потому что Nothing меньше всего

разве что через liftA2 переписать liftA2 min a b <|> a <|> b

Ну это замена шила на мыло.

foldr (\a b -> min <$> a <*> b <|> a <|> b) Nothing — как получше можно такую функцию переписать?

я правильно понял что это safeMinimum . catMaybes ?

да

где safeMinimum это минимум, который на пустом списке работает

я правильно понял что это safeMinimum . catMaybes ?

Ну да, это повторяет решение Олега из скала чата. Правда safeMinimum или хотя-бы foldrMaybe в стд нет.

safeMinimum [] = Nothing safeMinimum xs = Just (minimum xs)

в задаче ограничение на base?

Да вообще задачи как таковой нет, но я думал, мало ли, появятся тут мастера бесточечного стиля и покажут класс.

fmap fst . uncons . sort . catMaybes

покатит?

сложность O(n) все в порядке

fmap fst . uncons . sort . catMaybes

Красиво.

хотя на самом деле надо fold @@ Minumum

че за Minumum, нет такого

я помню, что раньше был newtype Min a = Min (Maybe a) instance Ord a => Monoid (Min a)

но сейчас ничего такого в base нет, только для полугруппы

где newtype Minumum a = Minumum (Just a) instance Monoid Minimum where mempty = Nothing Nothing <> x = x y <> Nothing = y (Just x) <> (Just y) = Just $ x <> y а @@ фича которой нету

угу

@@ тоже нету

учитывая текущий base это наверное должно быть fold @@ (Maybe Min)

нонэмпти зато есть

это также походу может быть какой-то findLastMin

о!

например по аналогии можно написать как find findLast :: Foldable t => (a -> Bool) -> t a -> Maybe a findLast p = getLast . foldMap(Last . flip (liftA2 if' p Just) Nothing) простите за pointfree

но нормальный человек просто линзами пользуется и все

> (coerce (fold :: [Data.Monoid.Last (Min Integer)] -> Data.Monoid.Last (Min Integer))) [Just 1, Just 2] :: Maybe Integer Just 2

но нормальный человек просто линзами пользуется и все

то понятно, что можно линзы взять