IO モナドã¨å‰¯ä½œç”¨ - Haskell-jp
純粋関数型プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã§å‰¯ä½œç”¨ã‚’扱ã†æ–¹æ³•Posted by Mizunashi Mana on April 05, 2020 Haskell ã¯ä»–ã®ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã«ã¯è¦‹ã‚‰ã‚Œãªã„特徴を多ãæŒã£ã¦ã„る。ãã®ä¸ã®1ã¤ãŒç´”粋性ã 。Haskell ã¯ç´”粋関数型プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã§ã‚ã‚‹ã“ã¨ã‚’ã€å£²ã‚Šã®1ã¤ã«ã—ã¦ã„る。ã—ã‹ã—ã€ç´”粋性ã¯å¤šãã®å ´åˆè¡¨ç¾åŠ›ã®ç¸®å°ã‚’æ‹›ã。ã¨ã“ã‚㌠Haskell ã¯ã€IOモナドã®å°Žå…¥ã«ã‚ˆã‚Šã€é€šå¸¸ã®ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã¨å¤‰ã‚らã¬è¡¨ç¾åŠ›ã‚’æŒã¦ã‚‹ã‚ˆã†ã«ãªã£ã¦ã„る。ã“ã‚Œã¯ã€ã¨ã¦ã‚‚é©šãã¹ãã“ã¨ã 。ã—ã‹ã—ã€åŒæ™‚ã«ã“れ㯠Haskell 入門者ã«ã¨ã£ã¦ã€å¤§ããªæ··ä¹±ã‚’æ‹›ã„ã¦ã„るよã†ã 。 今回ã¯ã€ãã‚‚ãも純粋性ã¨ã¯ãªã‚“ãªã®ã‹ã€ãªãœä»–ã®è¨€èªžã¯ç´”粋性を担ä¿ã§ããªã„ã®ã‹ã€ãã—㦠Haskell ã¯ã©ã†ã‚„ã£ã¦ IO モナドã«ã‚ˆã‚Šç´”粋性を担ä¿ã—ã¤ã¤ä»–ã®è¨€èªžã¨å¤‰ã‚らãªã„表ç¾åŠ›ã‚’æŒã¦ã‚‹ã‚ˆã†ã«ã—ã¦ã„ã‚‹ã®ã‹ã«ã¤
ソフトウェアエンジニアã¨ã—ã¦ãƒ¢ãƒŠãƒ‰ã‚’完全ã«ç†è§£ã™ã‚‹ / make-perfect-sense-of-monad
モナドを完全ã«ç†è§£ã™ã‚‹
Scalaプãƒã‚°ãƒ©ãƒžãŒåœè«–ã‚’å¦ã¶ãŸã‚ã®ã‚ªã‚¹ã‚¹ãƒ¡æ–‡çŒ® - 3é¸ - Qiita
åœè«–ã¯æ•°å¦ã®ä¸€åˆ†é‡Žã§ã™ã€‚ã“れをå¦ã¶ã®ã«ã¯ã€Œæ•°å¦æ›¸ã€ã‚’手ã«å–ã‚‹ã®ãŒçŽ‹é“ãªã®ã§ã™ãŒã€æ®‹å¿µãªãŒã‚‰ã“ã‚Œã¯å¤§éƒ¨åˆ†ã®ãƒ—ãƒã‚°ãƒ©ãƒžã«ç†è§£ã§ãる言葉ã§ã¯æ›¸ã‹ã‚Œã¦ã„ã¾ã›ã‚“。「定義・命題・証明ã€ã®ç©ã¿é‡ãã§æ›¸ã‹ã‚Œã¦ã„ã¾ã™1。ã“ã“ã§å¤§åŠã®Scalaプãƒã‚°ãƒ©ãƒžã¯è‹¦ã„顔をã™ã‚‹ã¨æ€ã„ã¾ã™ã€‚ã‚‚ã†å°‘ã—分ã‹ã‚Šã‚„ã™ã„Scalaプãƒã‚°ãƒ©ãƒžå‘ã‘ã®åœè«–入門ãŒãªã„ã‹ã¨æŽ¢ã—ã¦ã¿ã‚‹ã¨ã€ŒHaskellã€å‘ã‘ã®è¨˜äº‹ãŒå¤§é‡ã«å¼•ã£ã‹ã‹ã‚‹ã§ã—ょã†ã€‚ã“ã“ã§å¤šãã®Scalaプãƒã‚°ãƒ©ãƒžã¯å¿ƒã‚’折られã¦ã—ã¾ã„ã¾ã™ã€‚「åœè«–ã€ã¯ã¾ã Scalaプãƒã‚°ãƒ©ãƒžã«ã¯æ—©ã™ãŽãŸã‚“ã ã¨ãƒ»ãƒ»ãƒ» 本記事ã§ã¯ãã‚“ãªã‚ãªãŸã«è´ˆã‚‹3ã¤ã®æ–‡çŒ®ã‚’ã”紹介ã—ãŸã„ã¨æ€ã„ã¾ã™ã€‚ (本記事ã¯è‡ªåˆ†ã®ãƒ–ãƒã‚°ã‹ã‚‰ã®è»¢è¼‰è¨˜äº‹ã§ã™ã€‚) ã¯ã˜ã‚㫠本記事ã¯åœè«–ã«èˆˆå‘³ãŒã‚ã‚‹Scalaプãƒã‚°ãƒ©ãƒžã‚’対象ã«ã—ã¦ã„ã¾ã™ã€‚特ã«ãƒ—ãƒã‚°ãƒ©ãƒžã«ã¨ã£ã¦å®Ÿç”¨çš„ãªåœè«–ã®çŸ¥è˜ã‚’Scalaを通ã—ã¦èº«ã«ã¤ã‘ãŸã„æ–¹ã«ã‚ªã‚¹ã‚¹ãƒ¡ã—ã¾ã™ã€‚ プãƒã‚°ãƒ©ãƒž
Swiftã§èª¬æ˜Žã™ã‚‹ã€Œãƒ¢ãƒŠãƒ‰ã€ï¼šSwiftã«ãŠã‘る関数型プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã®ä½¿ã„æ–¹
FPã‚„Haskellã®ãƒ¢ãƒŠãƒ‰ã‚’Swiftを使ã£ã¦èª¬æ˜Žã—ã¦ã¿ãŸã‘ã©ã€éŽåŽ»ã®ã‚‚ã®ãªã®ã§ä»Šã¯ã‚ã¾ã‚Šå‚考ã«ãªã‚‰ãªã„ã‹ã‚‚。ãã‚Œã¨å†…容的ã«ã‚‚å°‘ã—ä¿®æ£ãŒå¿…è¦ã€‚Read less
1
ランã‚ング
ランã‚ング
ランã‚ング
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
IO: to be a Monad or not to be, that's the question!
åœè«–ã¨ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚° / Category Theory and Programming
{{#tags}}- {{label}}
{{/tags}}