Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article?

æãã¦ããããã¨ãæå¾ ãã¦æèåæ¢ãã¦ããããã§ã¯ãã¡ãã¡ãªã®ã§ãç解ã§ããã¨ããã¾ã§èãã¦ã¿ãã åºæ¬ã«ç«ã¡è¿ãã¨ãsequenceã®ã½ã¼ã¹ã¯æ¬¡ã®ããã«ãªã£ã¦ããã®ããããããããã sequence ms = foldr k (return []) ms where k m m' = do { x <- m; xs <- m'; return (x:xs) } ããã»ã©é£ãããã®ã§ã¯ãªããåé¡ã¯k m m'ã®é¨åã Maybeã¢ãããIOã¢ãããªããä½ã¨ãªãäºæ³ã¯ã¤ããããããªã¹ã(Listã¢ãã)ã«é©ç¨ããã¨ã©ããªãããåé¡ã Prelude> let k m m' = do { x <- m; xs <- m'; return (x:xs) } Prelude> k "01" ["0", "1"] ["00","01","10","11"]ãã®çµæãè¦ãã°ãsequenceã§ç´ç©ã
ã©ãæ¸ãï¼orgã®ãé¡ããã ãªã¹ãã®ãªã¹ãã«sequenceãé©ç¨ããã¨ç´ç©ãå¾ãããã $ ghci Prelude> sequence [[1,2,3], [4,5,6]] [[1,4],[1,5],[1,6],[2,4],[2,5],[2,6],[3,4],[3,5],[3,6]] Prelude> sequence ["abc", "def"] ["ad","ae","af","bd","be","bf","cd","ce","cf"] ã ããããããã¨ã2é²æ°(ã®æåå)ã®ãªã¹ããä½ããã Prelude> sequence $ replicate 4 "01" ["0000","0001","0010","0011","0100","0101","0110","0111","1000","1001","1010","1011","1100","1101","1110","11
ã©ã³ãã³ã°
ãç¥ãã
ã©ã³ãã³ã°
ãªãªã¼ã¹ãé害æ å ±ãªã©ã®ãµã¼ãã¹ã®ãç¥ãã
ææ°ã®äººæ°ã¨ã³ããªã¼ã®é ä¿¡
å¦çãå®è¡ä¸ã§ã
j次ã®ããã¯ãã¼ã¯
kåã®ããã¯ãã¼ã¯
lãã¨ã§èªã
eã³ã¡ã³ãä¸è¦§ãéã
oãã¼ã¸ãéã
{{#tags}}- {{label}}
{{/tags}}