純粋関数型言語ã§å®šç¾©ã§ããªã„純粋ãªé–¢æ•° - sumiiã®ãƒ–ãƒã‚°ä¸¦åˆ—è«–ç†å’Œã®ç¶šãã§çœŸã®ã‚¨ã‚スパートæ°ã‹ã‚‰æ•™ãˆã¦ã„ãŸã ã„ãŸè©±ï¼ˆã®åŠ£åŒ–コピー）。並列論ç†å’Œã¯ã€é€æ¬¡è¨€èªžã§ã¯å®šç¾©ã§ããªã„ã‘ã©ã€Œè¨ˆç®—å¯èƒ½ã€ãªï¼ˆä¸¦åˆ—言語ã§ã¯å®šç¾©ã§ãã€é ˜åŸŸç†è«–ã§ã‚‚連続ã«ãªã‚‹ï¼‰é–¢æ•°ã§ã—ãŸãŒã€ãã®è¦ªæˆšã¨ã„ã†ã‹å…„弟ã§ã™ã€‚ MLã§ï¼ˆå®Ÿã¯Haskellã§ã‚‚良ã„ã®ã§ã™ãŒï¼‰ã€unit→unitåž‹ã®ç´”粋ãªï¼ˆï¼å‰¯ä½œç”¨ã®ãªã„）関数ã¯ã€ let f1 () = () let rec f2 () = f2 () ã®2ã¤ãŒã‚ã‚Šã¾ã™ã€‚ãŸã ã—ã€ãŸã¨ãˆå†…部ã®å®Ÿè£…ãŒç•°ãªã£ã¦ã‚‚ã€å¤–部ã‹ã‚‰è¦³å¯Ÿã§ãる振る舞ã„ãŒåŒã˜é–¢æ•°ã¯åŒã˜ã¨ã¿ãªã—ã¾ã™ã€‚ãŸã¨ãˆã° let f1' () = try (raise E) with E -> () ãªã‚‹f1'ã¯f1ã¨åŒã˜ï¼ˆã‹ã¤ç´”粋）ã¨ã¿ãªã—ã¾ã™ã€‚ 以下ã€ã€Œé–¢æ•°ã€ã¨ã—ã¦ãƒ‡ãƒ•ã‚©ãƒ«ãƒˆã§ã¯ã€ŒæŒ¯ã‚‹èˆžã„ãŒç´”粋ãªé–¢æ•°ã€ã ã‘を考ãˆã‚‹ã“ã¨ã«ã—ã¾ã™ã€‚ã™ã‚‹ã¨ã€ä¸Šã¨åŒæ§˜ã«ã€(unit→unit)→unitåž‹ã®é–¢æ•°ã¯ l
http://cl-www.msi.co.jp/reports/tr12.pdf
http://purefunctional.rubyforge.org/
ã¯ã¦ãªã‚°ãƒ«ãƒ¼ãƒ—ã®çµ‚了日を2020å¹´1月31æ—¥(金)ã«æ±ºå®šã—ã¾ã—㟠- ã¯ã¦ãªã®å‘ŠçŸ¥
{{#tags}}- {{label}}
{{/tags}}