ç–‘ä¼¼Continuationモナド - MEMO:ã¯ã¦ãªæ”¯åº—Haskellã®Continuationモナドを雰囲気ã ã‘Gaucheã«ç§»æ¤ã—ã¦ã¿ã‚‹ã€‚ Contクラス ã¾ãšã€ç–‘ä¼¼Continuationモナドã¨ã—ã¦ã€Contクラスを作る。 ContクラスãŒæŒã¤runContスãƒãƒƒãƒˆã¯åŒåã®getter関数をæŒã¤ã€‚ returnã¯å…¨ç„¶ã‚¸ã‚§ãƒãƒªãƒƒã‚¯ãƒ•ã‚¡ãƒ³ã‚¯ã‚·ãƒ§ãƒ³ã«ãªã£ã¦ãªã„ã‚“ã ã‘ã©ã€>>=ã¨æ¨ªä¸¦ã³ã«ã—ãŸã‹ã£ãŸã®ã§ã€‚ (define-class <Cont> () ((runCont :init-keyword :r :getter runCont))) (define-method return (a) (make <Cont> :r (lambda (k) (k a)))) (define-method >>= ((c <Cont>) f) (make <Cont> :r (lambda (k) ((runCont c) (lambda (a) ((ru
{{#tags}}- {{label}}
{{/tags}}