[B! haskell] toricocoã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯

toricoco id:toricoco

haskellã«é–¢ã™ã‚‹toricocoã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯ (1)

${{author_name}}$

{{author_name}} {{created}}

{{{comment_expanded}}}

{{label}}

{{#is_bookmark}}ãƒªã‚¹ãƒˆ{{/is_bookmark}}{{^is_bookmark}}ãƒªãƒ³ã‚¯{{/is_bookmark}}

${{author_name}}$
{{author_name}}{{created}}
{{ #comment }}{{ comment }}{{ /comment }}
- {{ label }}

{{#following_bookmarks}}

${{author_name}}$

{{author_name}} {{created}}

{{{comment_expanded}}}

{{label}}

{{#is_bookmark}}ãƒªã‚¹ãƒˆ{{/is_bookmark}}{{^is_bookmark}}ãƒªãƒ³ã‚¯{{/is_bookmark}}

{{/following_bookmarks}}

{{/is_wiped}}

ç¬¬52å›žã€€ãƒ‡ãƒ¼ã‚¿æ§‹é€ ã‚’èµ°æŸ»ã™ã‚‹ãŸã‚ã®Traversableã‚¯ãƒ©ã‚¹
ãƒ‡ãƒ¼ã‚¿æ§‹é€ ã«å¯¾ã™ã‚‹å‡¦ç†ã‚’æŠ½è±¡åŒ–ã™ã‚‹ãŸã‚ã®åž‹ã‚¯ãƒ©ã‚¹ã¨ã—ã¦ï¼Œç¬¬3å›žã§ã¯Functorã‚¯ãƒ©ã‚¹ï¼Œç¬¬34å›žã§ã¯Foldableã‚¯ãƒ©ã‚¹ã‚’èª¬æ˜Žã—ã¾ã—ãŸã€‚Functorã‚¯ãƒ©ã‚¹ã‚„Foldableã‚¯ãƒ©ã‚¹ã§ã¯ï¼Œã€Œãƒ‡ãƒ¼ã‚¿æ§‹é€ ã®èµ°æŸ»ï¼ˆtraverseï¼‰ã€ã¨ã€Œãƒ‡ãƒ¼ã‚¿æ§‹é€ ã‚’èµ°æŸ»ã—ãŸéš›ã«è¡Œã†å‡¦ç†ã€ã‚’ã‚»ãƒƒãƒˆã«ã—ãŸfmapã‚„fold*ã¨ã„ã†å‡¦ç†ãŒç›´æŽ¥æä¾›ã•ã‚Œã¦ã„ã¾ã™ã€‚ Haskellä»¥å¤–ã®è¨€èªžãŒæŒã¤ã‚¤ãƒ†ãƒ¬ãƒ¼ã‚¿ãªã©ã®æ©Ÿèƒ½ã§ã¯ã€Œãƒ‡ãƒ¼ã‚¿æ§‹é€ ã®èµ°æŸ»ã€ã¨ã€Œãƒ‡ãƒ¼ã‚¿æ§‹é€ ã‚’èµ°æŸ»ã—ãŸéš›ã«è¡Œã†å‡¦ç†ã€ã‚’åˆ‡ã‚Šé›¢ã™ã“ã¨ã§ï¼Œã‚ˆã‚Šä¸€èˆ¬çš„ãªå‡¦ç†ã‚’è¡Œãˆã¾ã™ã€‚Haskellã§ã¯ãã®ã‚ˆã†ãªæž çµ„ã¿ã¨ã—ã¦ï¼ŒData.Traversableãƒ¢ã‚¸ãƒ¥ãƒ¼ãƒ«ã§Traversableã‚¯ãƒ©ã‚¹ãŒæä¾›ã•ã‚Œã¦ã„ã¾ã™ã€‚ mapMé–¢æ•°ã‚„sequenceé–¢æ•°ã‚’ä¸€èˆ¬åŒ– ã¾ãšï¼ŒTraversableã‚¯ãƒ©ã‚¹ãŒã©ã®ã‚ˆã†ãªã‚‚ã®ã‹ã‚’ç°¡å˜ã«è¦‹ã¦ã¿ã¾ã—ã‚‡ã†ã€‚ Prelude Data.Traversable
toricoco 2012/02/27
haskell
ãƒªãƒ³ã‚¯
1

ãŠçŸ¥ã‚‰ã›

ã‚‚ã£ã¨èªã‚€

å…¬å¼Twitter

@HatenaBookmark
ãƒªãƒªãƒ¼ã‚¹ã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“ã‚¹ã®ãŠçŸ¥ã‚‰ã›
@hatebu
æœ€æ–°ã®äººæ°—ã‚¨ãƒ³ãƒˆãƒªãƒ¼ã®é…ä¿¡

ã‚ãƒ¼ãƒœãƒ¼ãƒ‰ã‚·ãƒ§ãƒ¼ãƒˆã‚«ãƒƒãƒˆä¸€è¦§

jæ¬¡ã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯

kå‰ã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯

lã‚ã¨ã§èªã‚€

eã‚³ãƒ¡ãƒ³ãƒˆä¸€è¦§ã‚’é–‹ã

oãƒšãƒ¼ã‚¸ã‚’é–‹ã

è¨å®šã‚’å¤‰æ›´ã—ã¾ã—ãŸx