Я смотрел. И не понял, чего он хочет

и вопрос правильный задал, отклонение ли от ФП-парадигмы делать такую перегрузку ответ да: отклонение, потому что на Haskell это сделать очень непросто в лучшем случае можно предложить что-то вроде h 5 @Just и h 5 @Nothing (внимание на @), но определение такой функции будет страшное

Насколько я вижу тут хочется абстракцию не по значением типа, а по конструкторам типа

А почему бы просто не объяснить новичку что у Nothing и Just разные типы?

@qnikst в случае с <$ надо будет 5 <$ Just (), а не 5 <$ Just, это не то же самое

Насколько я вижу тут хочется абстракцию не по значением типа, а по конструкторам типа

всё-таки интересно, зачем. ведь конструктор либо явно при вызове h задается и тогда можно его и использовать. либо приходит как параметр, но почему там же и значение типа Maybe Int не построить?

соответственно для SomeThing тоже будет работать если ты derive Functor сделаешь

Привет ребята, Можно ли написать такую общую функцию h, из этих двух? типа объединить в одноу h :: Int -> (Int -> Maybe Int) -> Maybe Int -- h _ Nothing = Nothing h a b = b a h2 :: Int -> (Maybe Int) -> Maybe Int h2 _ Nothing = Nothing чтобы было так: h 5 Just == Just 5 h 5 Nothing == Nothing

не не, он хочет чтобы и (a -> f a) и f a можно было матчить одновременно, если предположить что запись корректна

Он не хочет матчить, он хочет применять h a как к f a, так и к a -> f a

очень неочевидное утверждение

Дальше я хотел узнать как сделать так чтобы моя функция h могла так делать не только с Maybe но и с другими штуками с кайндом * -> * ... Или типа того, хз. Может по другому признаку типа data Maybe a = Just a | Nothing - из Прелюда data SomeThingElse a = Some a | Thing и чтоб: h 5 Just == Just 5 h 7 Nithing == Nothing и одновременно h 6 Some == Some 6 h 8 Thing == Thing {Если что я новичёк, я не знаю зачем я это буду применять в практических целях, мне просто интересно можно ли так на Haskell или почему так нельзя и что для этого нужно сдлеать с языком. Повторю что мне просто захотелось и мне интересно}

Дальше я хотел узнать как сделать так чтобы моя функция h могла так делать не только с Maybe но и с другими штуками с кайндом * -> * ... Или типа того, хз. Может по другому признаку типа data Maybe a = Just a | Nothing - из Прелюда data SomeThingElse a = Some a | Thing и чтоб: h 5 Just == Just 5 h 7 Nithing == Nothing и одновременно h 6 Some == Some 6 h 8 Thing == Thing {Если что я новичёк, я не знаю зачем я это буду применять в практических целях, мне просто интересно можно ли так на Haskell или почему так нельзя и что для этого нужно сдлеать с языком. Повторю что мне просто захотелось и мне интересно}

h должна работать "со штуками кайндом * -> *" а значить матчить там нечего

вот как эта функция будет работать с (->) а?

или T a = N l U a l Q a l P a a

вот как эта функция будет работать с (->) а?

или P?

c а -> Maybe a проблема что лямбд, частичного применения нету, чтобы сделать структуру *-> *, для этого Compose

ВсЕм ПриВетиК в ЭтОм ЧаТиКе! (выглядит ужасно)

Кстати есть (не)тривиальная задачка сделать лесенку из текста. Она становится нетривиальной, когда мы запрещаем себе явно пользоваться натуральным рядом, то есть "считать буквы". Кому интересно, ниже заготовка под код и тесты leaping :: String -> String leaping = undefined input1 = "всем приветик в этом чатике!" input2 = cycle "Haskell " λ> putStrLn $ leaping input1 ВсЕм пРиВеТиК В ЭтОм чАтИкЕ! λ> λ> putStrLn $ take 23 $ leaping input2 HaSkElL HaSkElL HaSkElL