「ラムダ計算ã€ã‚’独å¦ã§å¦ç¿’ã™ã‚‹ãŸã‚ã®ï¼Œè¬›ç¾©ãƒŽãƒ¼ãƒˆã‚„PDFã®ãƒªãƒ³ã‚¯é›†ã€€ï¼ˆå¾©ç¿’用ã®å•é¡Œä»˜ã） - 主ã«è¨€èªžã¨ã‚·ã‚¹ãƒ†ãƒ 開発ã«é–¢ã—ã¦è¬›ç¾©ãƒŽãƒ¼ãƒˆã®ç›®æ¬¡ã¸ ラムダ計算ã¯ï¼Œã‚³ãƒ³ãƒ”ュータ・サイエンスã®é‡è¦ãªï¼‘分野。 「λã€ã‚’使ã£ã¦å„種ã®é–¢æ•°ã‚’記述ã—，λã©ã†ã—ã®è¨ˆç®—方法を習得ã™ã‚Œã°ãƒ»ãƒ»ãƒ» Haskellã‚„F#ãªã©ã®é–¢æ•°åž‹è¨€èªžã‚’ç¿’å¾—ã™ã‚‹ãŸã‚ã«å½¹ç«‹ã¤ã€‚ プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã«ãŠã„ã¦ï¼Œé–¢æ•°ã«ã¤ã„ã¦ã®ç†è§£ã‚’æ·±ã‚ã‚‹ã“ã¨ãŒã§ãる。 複雑ãªã‚¢ãƒ«ã‚´ãƒªã‚ºãƒ を簡易ã«è¨˜è¿°ã—ã¦ï¼ŒæŒ™å‹•ã‚„性質を予測ã™ã‚‹ã“ã¨ãŒã§ãる。 計算機科å¦ã®ï¼Œã‚ˆã‚Šæ·±ã„専門的ãªè©±é¡Œã‚’ç†è§£ã™ã‚‹ãŸã‚ã®è¶³ãŒã‹ã‚Šã‚’得られる。 ãªã©ã®ãƒ¡ãƒªãƒƒãƒˆãŒã‚る。 下記ã«ï¼Œç‹¬å¦ã§Î»è¨ˆç®—を勉強ã™ã‚‹ãŸã‚ã®ï¼Œ 入門レベルã®è¬›ç¾©ãƒŽãƒ¼ãƒˆã‚„Webページを掲載ã™ã‚‹ã€‚ èªã¿ã‚„ã™ã„便利ãªã‚‚ã®ãƒ»ã‚ã‹ã‚Šã‚„ã™ã„ã‚‚ã®ã‹ã‚‰ï¼Œå¿œç”¨çš„ãªã‚‚ã®ã¸ã¨ä¸¦ã¹ã¦ã‚る。 質ã®é«˜ã„ã‚‚ã®ã ã‘ã‚’ç²¾é¸ã—，ã‚ã‹ã‚Šã¥ã‚‰ã„資料ã¯é™¤å¤–ã—ã¦ã‚る。 ラムダ計算ã®æ¦‚è¦ ãƒ©ãƒ ãƒ€è¨ˆç®—ã®åŸºç¤Ž ラムダ計算ã®å¿œç”¨ 復習ã®ãŸã‚ã®å•é¡Œï¼ˆå…¥é–€ãƒ¬ãƒ™ãƒ«ï¼‰ ※λ計算を利用ã—ãŸè¨ˆç®—é‡ãƒ»è¨ˆç®—複雑性・計算å¯èƒ½
é…延評価ã¨æœ«å°¾å†å¸°ã¨ä½™å†å¸° - ã‚ã©ã‘ãªã„話
Enumerator Package - Yet Another Iteratee Tutorial - Preferred Networks Research & Development
QAã§å¦ã¶Monad - ã‚ã©ã‘ãªã„話
Pragmatic IO
カリー化談義 - ã‚ã©ã‘ãªã„話
Cleanã§é–¢æ•°ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã€€ã€ç¬¬ï¼‘部目次】
「モナドã¯è±¡ã (Monads are Elephants)ã€æ—¥æœ¬èªžè¨³ — Japanese Translation of Monads are Elephants v1.0 documentation
モナドã¯ãƒ¡ã‚¿ãƒ•ã‚¡ãƒ¼ã§ã¯ãªã„ · eed3si9n
「モナドã¯è±¡ã ã€ã®ç¿»è¨³ã¾ã¨ã‚ - Fight the Future
Clean Version 2.1 è¨€èªžå ±å‘Š ã€ç›®æ¬¡ã€‘
Scalaã‚’æœ¬æ ¼çš„ã«èª¿ã¹ã¦ã¿ã‚‹
ã‚„ã•ã—ã„Functional reactive programming（概è¦ç·¨ï¼‰ - maoeã®ãƒ–ãƒã‚°
関数型言語ã§ã®ãƒ‡ã‚¶ã‚¤ãƒ³æ‰‹æ³•
関数プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°å…¥é–€
{{#tags}}- {{label}}
{{/tags}}