重新定義單子列表實例

Question

我試圖重新定義monad列表實例使用newtype來創建一個包裝列表類型，以便完成這一切，因爲它看起來Prelude定義無法被覆蓋。

到目前爲止，我有以下幾點：

newtype MyList a = MyList { unMyList :: [a] } 
    deriving Show 

myReturn :: a -> [a] 
myReturn x = [x] 

myBind :: [a] -> (a -> [b]) -> [b] 
myBind m f = concat $ map f m 

instance Monad MyList where 
    return x = MyList [x] 
    xs >>= f = undefined 

作爲哈斯克爾初學者，我很茫然知道如何界定>> =運算符的情況下，用我的函數的定義綁定。

myReturn和myBind函數應該使用MyList而不是普通類型變量的類型嗎？如何正確定義>> =來進行打包和拆包？

我陷入函數參數映射f，其中f :: a - > [b]，但它似乎我需要f :: a - > MyList b，但然後映射將不會接受爲一個論點。

道歉的混亂。所有協助表示讚賞

[我知道有一個類似的問題在這裏：Redefine list monad instance但我怕我跟不上答案有]

Answer 1

您只需解開你的MyList類型，對它進行操作，然後把它包回達：

instance Monad MyList where 
    return x = MyList [x] 
    (MyList xs) >>= f = MyList . concat . map unMyList . map f $ xs 

你可以（也應該）凝結這MyList $ concatMap (unMyList . f) xs，但我把它擴大用於說明目的。你可以定義自己的map和concat功能MyList簡化了這樣的定義：

myMap :: (a -> b) -> MyList a -> MyList b 
myMap f (MyList xs) = MyList $ map f xs 

myConcat :: MyList (MyList a) -> MyList a 
myConcat (MyList xs) = MyList $ concat $ map unMyList xs 

myConcatMap :: (a -> MyList b) -> MyList a -> MyList b 
myConcatMap f xs = myConcat $ myMap f xs 

instance Monad MyList where 
    return x = MyList [x] 
    xs >>= f = myConcatMap f xs 

而現在它看起來像正常的列表實例：

instance Monad [] where 
    return x = [x] 
    xs >>= f = concatMap f xs