CPS（継続渡ã—æ–¹å¼ï¼‰å¤‰æ›ã‚’JavaScriptã§èª¬æ˜Žã—ã¦ã¿ã‚‹ã¹ã€ãƒŠãƒ¼ãƒ‹ã€ãŸã„ã—ãŸã“ã¨ãーã¹ã‚ˆ - 檜山æ£å¹¸ã®ã‚マイラ飼育記 (ã¯ã¦ãªBlog)久々ã«The n-Category Cafeを見ãŸã‚‰ã€Mike Stayã«ã‚ˆã‚‹"The Continuation Passing Transform and the Yoneda Embedding"ãªã‚“ã¦è¨˜äº‹ãŒã‚ã‚Šã¾ã—ãŸã€‚ 米田埋ã‚è¾¼ã¿ã¯åœè«–ã§ã¯ãŠé¦´æŸ“ã¿ã€‚継続渡ã—ã¸ã®å¤‰æ›ã¯ã‚³ãƒ³ãƒ”ュータ・プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã§ã¯ãŠé¦´æŸ“ã¿ã€‚ ã“ã®2ã¤ã¯ã€å®Ÿã¯åŒã˜ã‚‚ã®ãªã‚“ã よ。ãªã‚“ã§ã€èª°ã‚‚ã“ã®ã“ã¨ã‚’言ã‚ãªã„ã‚“ã ã‚ã†ã？ The Yoneda embedding is familiar in category theory. The continuation passing transform is familiar in computer programming. They're the same thing! Why doesn't anyone ever say so? Mike Stayã®ã“ã®è¨˜äº‹ã€é¢ç™½ã„ã®ã
{{#tags}}- {{label}}
{{/tags}}