задается и тогда можно его и использовать. либо приходит как параметр, но почему там же и значение типа Maybe Int не построить?
Дальше я хотел узнать как сделать так чтобы моя функция 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 или почему так нельзя и что для этого нужно сдлеать с языком. Повторю что мне просто захотелось и мне интересно}
Обсуждают сегодня