... | doesEnrageMork a && doesEnrageGork = ????? ... подскажите как здесь ничего не вернуть, но вызвать две функции?

https://gist.github.com/sojalei/0d4774c3a942c145f0433531fd34f0d6

всем спасибо, решил сам

Это называется использовать чят в качестве утёнка

вызвать и не вернуть?

sequence_ [fn, fn2] $ param

мб как-то так

А зачем чистую функцию вызывать и не возвращать?

ну в моем случае это какие-то функции с эффектом

Окей :)

например sequence_ [print 20, print . (+10) $ 100]

Почему бы тогда не использовать do?

ну или print a >> print b >> pure ()

... | doesEnrageMork a && doesEnrageGork = ????? ... подскажите как здесь ничего не вернуть, но вызвать две функции?

разве там нужно было возвращать ничего?

https://gist.github.com/sojalei/0d4774c3a942c145f0433531fd34f0d6

судя по типам тебе нужно вернуть то, что имет такой же тип, что и a

да там решалось stomp (stab a)

Ещё помощь нужна:( нахождение среднего арифметического проходит все тесты на стёпике кроме одного(2 3 5) avg :: Int -> Int -> Int -> Double avg a b c = fromIntegral (a + b + c) / 3

со ScopedTypeVariables легко забиндить типа так: foo (A (fb :: F b)) = case sing :: Sing b of ...

спасибо! заработало! https://gist.github.com/cblp/b9e0d3aac0ab8e496a9930d74e3b8f57

спасибо @int_index и @qnikst

Судя по документации, оверлапинг такого рода ошибочен (да и это логично, a по определению принимает все типы, а где-то выше для одного из вариантов другой результат), но что делать, когда очень нужно? Как сделать все правильно? Нужно что-то вроде паттерн-метчинга в type families type family F a :: Type type instance F [a] = [Int] type instance F a = Int

closed type families не решение, потому что инстансы разнесены по инстансам тайпкласса. Логика подсказывает, что решения в принципе нет, ведь даже если бы инстансы реально паттерн-метчились, но нужен был бы способ отсортировать инстансы по специфичности (в начале самые точные, в конце самые общие), а высчитать специфичность инстанса - что-то не очень тривиальная задача

> а высчитать специфичность инстанса - что-то не очень тривиальная задача GHC умеет это делать, но не для type families, только для классов. Так что прологоподобный код на фандепах возможен

https://eventil.com/presentations/aKsn8q

Судя по документации, оверлапинг такого рода ошибочен (да и это логично, a по определению принимает все типы, а где-то выше для одного из вариантов другой результат), но что делать, когда очень нужно? Как сделать все правильно? Нужно что-то вроде паттерн-метчинга в type families type family F a :: Type type instance F [a] = [Int] type instance F a = Int

видел, как сделан Show String? такое решение не подойдёт?

Типа такого: instance Show Char where showsPrec _ '\'' = showString "'\\''" showsPrec _ c = showChar '\'' . showLitChar c . showChar '\'' showList cs = showChar '"' . showLitString cs . showChar '"'

Массив я в своём примере чисто для примера, у меня там на самом деле a :>: (b :<|>: c) и a :>: b пересекаются, хотел понять, в чем была проблема servant-client вложенные альтерантивы в одну зафлэтить (то есть ty -> (a :<|> b) в (ty -> a) :<|> (ty -> b)

Ещё помощь нужна:( нахождение среднего арифметического проходит все тесты на стёпике кроме одного(2 3 5) avg :: Int -> Int -> Int -> Double avg a b c = fromIntegral (a + b + c) / 3

в чём дело-то было? выглядит правильно

так, чего-то я туплю и мне думать лень

у меня есть I (f :: * -> *) (a :: *), в одном месте мне хочется записать чтобы f = V2 g для любого g, как мне это делать, через Compose какой?

т.е. f a = V (g a) надо

натуральное преобразование?

даже изоморфизм может быть) хотя не буду ничего советовать не понимая что надо)

не, Cmpose

Data.Functor.Compose?

да

прикольно, работает

похоже что API близок к хорошему, т.к. сошлись те вещи, что не сходились раньше

Compose?

в целом апи для либы

в чём дело-то было? выглядит правильно

подозреваю, что в конечности Int

в чём дело-то было? выглядит правильно

после запятой было что-то вроде 3333333335

И как "надо"? Что-то типа? double ((a + b + c) div 3) + double ((a + b + c) mod 3) / 3.0

Извиняюсь за неровный почерк

И как "надо"? Что-то типа? double ((a + b + c) div 3) + double ((a + b + c) mod 3) / 3.0

такое прошло тесты avg a b c = (/3) $ foldr((+) . fromIntegral) 0 [a, b, c]

ага)) я кинул просто вариант с foldr (хотя можешь (/3) $ sum $ fromIntegral <$> [a,b,c])

ну там достаточно fromIntegral на каждый агрумент звать было, я думаю

просто там было что-нить типа average maxBound maxBound maxBound

ну можно и так было (fromIntegral a + fromIntegral b + fromIntegral c) / 3

flip flip fromIntegral . (((.) . (+)) .) . (. fromIntegral) . (+) . fromIntegral =)

а на 3 ещё

flip flip 3 . ((flip . ((/) .)) .) . flip flip fromIntegral . (((.) . (+)) .) . (. fromIntegral) . (+) . fromIntegral

интересно это кто-то может сходу прочитать

@sojalei это тоже самое, просто в pointfree

@sojalei это тоже самое, просто в pointfree

не на то сообщение ответил

ну можно и так было (fromIntegral a + fromIntegral b + fromIntegral c) / 3

вот на это хотел

в общем проблема была в том, что в решении где fromIntegral $ a + b + c) там проблемы с переполнением

в общем проблема была в том, что в решении где fromIntegral $ a + b + c) там проблемы с переполнением

и как она решается?

вот как ты решил

сделать fromIntegral на каждое число перед тем, как складывать

это конечно только для стёпика я решил, а так не

сделать fromIntegral на каждое число перед тем, как складывать

это решение не проходит

подходит

тип только укажи

я не верю, что не проходит

а не просто функцию

сделай с типом а не просто в ghci

а в чем проблема ответа выше?

где 3+2+5?

все там норм

f :: Integer -> Integer -> Integer -> Float f a b c = (fromIntegral a + fromIntegral b + fromIntegral c) / 3 теперь ответ 3.3333333 Так и должно быть?

Double и Float имеют разную точность

и то и другое верно

А пользовался кто-нибудь здесь Leksah?

Удобно ли писать на ней код, посоветуете ли начинающему?

Он наверное не развивается

Leksah потихоньку пилят. Но явно не в том темпе, в которм нужно

К тому же, говорят, лекса не очень то дружит со stack (или просто не всё работает)

Думаю, что даже плагин для Idea уже стал лучше, чем Лекса

Думаю, что даже плагин для Idea уже стал лучше, чем Лекса

печалька

Странно, что кто-то в этом (в неуспешности Лексы) сомневался вообще - всегда было слишком мало ресурсов для её развится

А он так плох? Я пока пишу на vscode, но поддержка хаскеля меня не радует, использую вроде intero, нужно перезагружать редактор при установке любого пакета, но не знаю куда

> использую вроде intero, нужно перезагружать редактор при установке любого пакета это проблема плагина в вскоду. В Emacs есть команда intero-restart :)

intero, это просто фоновый подпроцесс, его перезапуск не должен быть проблемой

Перезапускать интеро тоже фиговый выход, нужно, чтобы все само обновилось там и стало норм)

перезапуск нужен, ибо intero, это надстройка над REPL, и часть изменений в конфигурации проекта просто так не применить в репле без перезапуска (или можно применить, но это осень сложно)

когда достаточно :reload, intero сам справляется

Я к тому, что некая абстрактная идеальная среда должна сама увидеть, что пакеты изменились, и перезагрузить все, что нужно

incron?

https://spb-fp-meetup.timepad.ru/event/555708/ приходите послушать @qnikst

а записи будут?

маловероятно

эхь