Haskell：リストxsと整数nをとり、xsからの要素で長さnのすべてのリストを返す関数

Question

これまではこの問題を解決しようとしていましたが、解決策を探していました。

リストxsと整数nをとり、長さnのすべてのリストをxsの要素で返す関数が必要です。たとえば：

list _ 0 = [] 
list xs n = do 
    y <- xs 
    ps <- list xs (n-1) 
    return y : ps 

と、この：意図したとおりに

list _ 0 = [] 
list xs n = do 
    y <- xs 
    y : list xs (n-1) 

なし作業

function [0,1] 3 = [[0,0,0],[0,0,1],[0,1,0],[0,1,1],[1,0,0],[1,0,1],[1,1,0],[1,1,1]] 

私はこれを試してみました。私は2つのことを知りたい： これらはなぜ機能しないのですか？ 動作するように変更する方法を教えてください。

Answer 1

あなたは非常に近いです！あなたの問題は基本ケース、list _ 0 = []です。

xsの要素に長さ0のリストがないということですが、実際には空のリストが1つあります。

list _ 0 = [[]] 
list xs n = do 
    y <- xs 
    ps <- list xs (n-1) 
    return $ y : ps