[B! list][monad] ishideoã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯

ishideo id:ishideo

listã¨monadã«é–¢ã™ã‚‹ishideoã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯ (2)

${{author_name}}$

{{{comment_expanded}}}

{{label}}

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

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

${{author_name}}$

{{{comment_expanded}}}

{{label}}

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

Pythonã‚’ä½¿ã£ã¦é–¢æ•°åž‹ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚° Part.2
2019å¹´9æœˆ16ã€17æ—¥ã€æ—¥æœ¬æœ€å¤§ã®Pythonã®ç¥å…¸ã§ã‚ã‚‹ã€ŒPyCon JP 2019ã€ãŒé–‹å‚¬ã•ã‚Œã¾ã—ãŸã€‚ã€ŒPython New Eraã€ã‚’ã‚ãƒ£ãƒƒãƒã‚³ãƒ”ãƒ¼ã«ã€æ—¥æœ¬ã ã‘ã§ãªãä¸–ç•Œå„åœ°ã‹ã‚‰Python ã‚¨ãƒ³ã‚¸ãƒ‹ã‚¢ãŸã¡ãŒä¸€å ‚ã«ä¼šã—ã€ã•ã¾ã–ã¾ãªçŸ¥è¦‹ã‚’å…±æœ‰ã—ã¾ã™ã€‚ãƒ—ãƒ¬ã‚¼ãƒ³ãƒ†ãƒ¼ã‚·ãƒ§ãƒ³ã€ŒPythonã¦ã‚™å§‹ã‚ã¦ã¿ã‚ˆã†é–¢æ•°åž‹ãƒ•ã‚šãƒã‚¯ã‚™ãƒ©ãƒŸãƒ³ã‚¯ã‚™ã€ã«ç™»å£‡ã—ãŸã®ã¯ã€æ ªå¼ä¼šç¤¾SQUEEZEã®å¯ºå¶‹å“²æ°ã€‚è¬›æ¼”è³‡æ–™ã¯ã“ã¡ã‚‰ ä¸å¤‰ï¼æ°¸ç¶šãƒ‡ãƒ¼ã‚¿æ§‹é€ ã‚’æä¾›ã™ã‚‹ãƒ‘ãƒƒã‚±ãƒ¼ã‚¸ å¯ºå¶‹å“²æ°ï¼šç¶šã„ã¦ã€ä¸å¤‰ï¼æ°¸ç¶šãƒ‡ãƒ¼ã‚¿æ§‹é€ ã«ã¤ã„ã¦ã§ã™ã€‚ listã‚’æ“ä½œã™ã‚‹é–¢æ•°ã®å•é¡Œç‚¹ã«ã¤ã„ã¦ã€ä¾‹é¡Œã§è¦‹ã¦ã„ãã¾ã—ã‚‡ã†ã€‚add_mangoã¯æžœç‰©åã®æ–‡å—åˆ—ã®listã‚’ã¨ã£ã¦ã€mangoã‚’ãã®listã«è¶³ã—ã¦è¿”ã—ã¾ã™ã€‚change_from_apple_to_bananaã¯ã€åŒã˜ã‚ˆã†ã«listã‚’ã¨ã£ã¦appleã‚’æŽ¢ã—ã¦ã€bananaã«å…¥ã‚Œæ›¿ãˆã¦è¿”ã—ã¾ã™ã€‚ ãã®
ishideo 2020/03/05
python

functional

list

pyrsistent

dict

pampy

match

monad

maybe
ãƒªãƒ³ã‚¯
Maybeãƒ¢ãƒŠãƒ‰ ã¨ Listãƒ¢ãƒŠãƒ‰ - Qiita
ã™ã”ã„Haskell ãŸã®ã—ãå¦ã¼ã†ã€€13ç« ã€Œãƒ¢ãƒŠãƒ‰ãŒã„ã£ã±ã„ã€ã®éƒ¨åˆ†ã®èªæ›¸ä¼šç”¨ã«ä½œæˆã—ãŸè³‡æ–™ã‚’å…¬é–‹ã—ã¾ã™ã€‚æ¼”ç¿’å•é¡Œã‚„å‘¨è¾ºã®è©±é¡Œã«è»½ããã‚Œã¦ã„ã‚‹éƒ¨åˆ†ãŒã‚ã‚Šã¾ã™ã€‚é–“é•ã„ç‰ã‚ã‚Šã¾ã—ãŸã‚‰ã”æŒ‡æ‘˜ã„ãŸã ã‘ã‚‹ã¨å¹¸ã„ã§ã™ã€‚ 13. ãƒ¢ãƒŠãƒ‰ãŒã„ã£ã±ã„ Functorã‚„Applicativeã‚’å°Žå…¥ã—ãŸå‹•æ©Ÿã®ã²ã¨ã¤ã¨ã—ã¦ä»¥ä¸‹ã®ã‚ˆã†ãªã‚‚ã®ãŒã‚ã‚‹ã¨æ€ã„ã¾ã™ã€‚ Functor ã‚’å°Žå…¥ã—ãŸå‹•æ©Ÿ a -> b åž‹ã®é–¢æ•°ã‚’ f a -> f b ã®é–¢æ•°ã«ã—ãŸã„ (fmapæ“ä½œãŒæ¬²ã—ã„) Applicative ã‚’å°Žå…¥ã—ãŸå‹•æ©Ÿ f (a -> b) åž‹ã‚’ f a -> f b åž‹ã®é–¢æ•°ã«ã—ãŸã„ (<*>æ“ä½œãŒæ¬²ã—ã„) Functor/Applicativeã‚’å°Žå…¥ã—ãŸå‹•æ©Ÿã«ä»¥ä¸Šã®ã‚ˆã†ãªã‚‚ã®ãŒã‚ã£ãŸã®ã¨åŒã˜ãMonadã‚’å°Žå…¥ã™ã‚‹å‹•æ©Ÿã¨ã—ã¦æ¬¡ã®ã‚ˆã†ãªã‚‚ã®ãŒã‚ã‚Šã¾ã™ ã€Œæ™®é€šã®å€¤ a ã‚’å–ã£ã¦æ–‡è„ˆä»˜ãã®å€¤ã‚’è¿”ã™é–¢æ•° (a -> m
ishideo 2017/07/09
haskell

monad

maybe

list

functor

applicative

qiita
ãƒªãƒ³ã‚¯
1

ãŠçŸ¥ã‚‰ã›

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

å…¬å¼Twitter

@hatebu
æœ€æ–°ã®äººæ°—ã‚¨ãƒ³ãƒˆãƒªãƒ¼ã®é…ä¿¡

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

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

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

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

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

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

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

ã¯ã¦ãªãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯

ã‚¿ã‚°

é–¢é€£ã‚¿ã‚°ã§çµžã‚Šè¾¼ã‚€ (11)

listã¨monadã«é–¢ã™ã‚‹ishideoã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯ (2)

ãŠçŸ¥ã‚‰ã›

ä»Šé€±ã®ã¯ã¦ãªãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯æ•°ãƒ©ãƒ³ã‚ãƒ³ã‚°ï¼ˆ2024å¹´12æœˆç¬¬1é€±ï¼‰

æœˆé–“ã¯ã¦ãªãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯æ•°ãƒ©ãƒ³ã‚ãƒ³ã‚°ï¼ˆ2024å¹´11æœˆï¼‰

ä»Šé€±ã®ã¯ã¦ãªãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯æ•°ãƒ©ãƒ³ã‚ãƒ³ã‚°ï¼ˆ2024å¹´11æœˆç¬¬5é€±ï¼‰

å…¬å¼Twitter

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

ã¯ã¦ãªãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯

å…¬å¼Twitter

ã¯ã¦ãªã®ã‚µãƒ¼ãƒ“ã‚¹

ã‚¿ã‚°

é–¢é€£ã‚¿ã‚°ã§çµžã‚Šè¾¼ã‚€ (11)

listã¨monadã«é–¢ã™ã‚‹ishideoã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯ (2)

Pythonã‚’ä½¿ã£ã¦é–¢æ•°åž‹ãƒ—ãƒ­ã‚°ãƒ©ãƒŸãƒ³ã‚° Part.2

Maybeãƒ¢ãƒŠãƒ‰ ã¨ Listãƒ¢ãƒŠãƒ‰ - Qiita

ãŠçŸ¥ã‚‰ã›

ä»Šé€±ã®ã¯ã¦ãªãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯æ•°ãƒ©ãƒ³ã‚­ãƒ³ã‚°ï¼ˆ2024å¹´12æœˆç¬¬1é€±ï¼‰

æœˆé–“ã¯ã¦ãªãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯æ•°ãƒ©ãƒ³ã‚­ãƒ³ã‚°ï¼ˆ2024å¹´11æœˆï¼‰

ä»Šé€±ã®ã¯ã¦ãªãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯æ•°ãƒ©ãƒ³ã‚­ãƒ³ã‚°ï¼ˆ2024å¹´11æœˆç¬¬5é€±ï¼‰

å…¬å¼Twitter

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

ã¯ã¦ãªãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯

å…¬å¼Twitter

ã¯ã¦ãªã®ã‚µãƒ¼ãƒ“ã‚¹

é–¢é€£ã‚¿ã‚°ã§çµžã‚Šè¾¼ã‚€ (11)

listã¨monadã«é–¢ã™ã‚‹ishideoã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯ (2)

Pythonã‚’ä½¿ã£ã¦é–¢æ•°åž‹ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚° Part.2

Maybeãƒ¢ãƒŠãƒ‰ ã¨ Listãƒ¢ãƒŠãƒ‰ - Qiita

ãŠçŸ¥ã‚‰ã›

ä»Šé€±ã®ã¯ã¦ãªãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯æ•°ãƒ©ãƒ³ã‚ãƒ³ã‚°ï¼ˆ2024å¹´12æœˆç¬¬1é€±ï¼‰

æœˆé–“ã¯ã¦ãªãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯æ•°ãƒ©ãƒ³ã‚ãƒ³ã‚°ï¼ˆ2024å¹´11æœˆï¼‰

ä»Šé€±ã®ã¯ã¦ãªãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯æ•°ãƒ©ãƒ³ã‚ãƒ³ã‚°ï¼ˆ2024å¹´11æœˆç¬¬5é€±ï¼‰

å…¬å¼Twitter

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

ã¯ã¦ãªãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯

å…¬å¼Twitter

ã¯ã¦ãªã®ã‚µãƒ¼ãƒ“ã‚¹