Haskellで関数が変わっている可能性があります

Question

(Something -> Something)のような関数を使用して返しますが、タイプは(Maybe Something -> Maybe Something)ですか？

例えば：

f :: Point -> Point 
f x = [some code goes here] 

makeItMaybe :: (Point -> Point) -> (Maybe Point -> Maybe Point) 
makeItMaybe x = ??? 

私はそれがモナドとApplicativesとは何かを持って知っているが、実際にどのように把握することはできません。 <*>と<$>でちょっと遊んだけどどこにも行かなかった。

正しい方向への助けや指針があれば幸いです。ありがとう！

Answer 1

fmapのタイプFunctor f => (a -> b) -> f a -> f bがあります。 fをMaybeに置き換えた場合（Maybeはファンクタなので）、かっこを適切な場所に置かないと(a -> b) -> (Maybe a -> Maybe b)となります。あなたは(<$>)と正しい方向にありました。それはfmapのエイリアスです。

makeItMaybe f x = fmap f x、またはより簡単にはmakeItMaybe = fmapです。

Answer 2

この機能は、署名を満足し、それはあなたが望むものであるならば、私にはわからない：

makeItMaybe :: (a -> a) -> (Maybe a -> Maybe a) 
makeItMaybe f (Just x) = Just (f x) 
makeItMaybe f Nothing = Nothing 

を@baxbaxwalanuksiweと@Leeが指摘したように、それはFunctor型クラスからMaybeのfmapインスタンスです。

Answer 3

機能したいがfmapです：

makeItMaybe = fmap 

fmapがFunctor型クラスで定義されます。

fmap :: Functor f => (a -> b) -> f a -> f b 

Maybeが

(a -> b) -> Maybe a -> Maybe b 

を入力しているので、 fmapが Maybeに特化したファンクタのインスタンスを持っています