call/ccã¨å¤å…¸è«–ç†ã®ã‚«ãƒªãƒ¼ãƒ»ãƒãƒ¯ãƒ¼ãƒ‰å¯¾å¿œ - å†å¸°ã®å復blog「直観主義論ç†ã®ã‚«ãƒªãƒ¼ãƒ»ãƒãƒ¯ãƒ¼ãƒ‰å¯¾å¿œã€ã®ç¶šã。 call/ccã¨ç¶™ç¶š call/ccã¨ã„ã†ã®ã¯ã€gotoを強力ã«ã—ãŸã‚‚ã®ã ã¨æ€ã£ã¦ãŠã‘ã°è‰¯ã„。ãŸã ã—Scheme以外ã®ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã§ã¯ã€ã‚ã¾ã‚Šè¦‹ã‹ã‘ãªã„機能。 例ãˆã°ãƒ–ãƒãƒƒã‚¯æ§‹é€ ã‹ã‚‰æŠœã‘出ã™ãŸã‚ã®å‘½ä»¤ãŒã‚る言語を考ãˆã‚‹ã€‚ã©ã®ãƒ–ãƒãƒƒã‚¯ã‹ã‚‰æŠœã‘出ã™ã‹ã¯ãƒ©ãƒ™ãƒ«ã§æŒ‡å®šã™ã‚‹ã€‚ã¾ãŸãƒ©ãƒ™ãƒ«ã¯ã‚®ãƒªã‚·ãƒ£æ–‡å—ã§è¡¨ã™ã“ã¨ã«ã™ã‚‹ã€‚ã¨ã‚Šã‚ãˆãšæ¬¡ã®ã‚ˆã†ãªæ„Ÿã˜ã«ãªã‚‹ã ã‚ã†ã€‚jumpã®éƒ¨åˆ†ã‚’実行ã™ã‚‹ã¨ãƒ–ãƒãƒƒã‚¯ã‹ã‚‰æŠœã‘出ã™ã€‚ :α{ ... ... jump α; ... // ã“ã“ã¯å®Ÿè¡Œã•ã‚Œãªã„ }ã§ã‚‚ã€ãƒ–ãƒãƒƒã‚¯è‡ªä½“ãŒå€¤ã‚’æŒã£ã¦ã„ã‚‹(値を返ã™)よã†ã«ã—ãŸæ–¹ãŒæ±Žç”¨çš„ã«ãªã‚‹ã€‚例ãˆã°ã€æ¬¡ã®ãƒ—ãƒã‚°ãƒ©ãƒ ã¯flagãŒçœŸãªã‚‰xã«1ãŒä»£å…¥ã•ã‚Œã€å½ãªã‚‰2ãŒä»£å…¥ã•ã‚Œã‚‹ã€‚ x = :α{ ... ... if (flag) { jump α 1; } ... 2; }値を返ã™ã«ã—ã¦ã‚‚è¿”ã•ãª
{{#tags}}- {{label}}
{{/tags}}