http://homepage.mac.com/sigfpe/Computing/continuations.html
Continuations in C The language scheme has an interesting feature: the call/cc [4] function, otherwise known as call with current continuation. A continuation is essentially the state of a process at any moment in time. At any point during execution you can think of it as an extra hidden argument that's always implicitly referred to in your code. We take it for granted that the current state of an
éžåŒæœŸã¨ç¶™ç¶šã¨ç§ - æŠ€è¡“æ—¥è¨˜ï¼ kiwanami
éžåŒæœŸã®ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã®è§£èª¬ã®ä¸ã«ã¯ã‚ˆã「継続（渡ã—）ã€ãŒè‰¯ã出ã¦ãã¾ã™ã€‚継続ã¨ã„ãˆã° Scheme ã® call/cc ã§ã™ãŒã€ã‚„ã£ã±ã‚Š JSDeferred ã®ã‚µãƒ³ãƒ—ルã®ãƒšãƒ¼ã‚¸ã«ã‚‚出ã¦ãã¾ã™ã€‚ç›´æ„Ÿçš„ã«ã¯ã‚ã‚“ã¾ã‚Šé–¢ä¿‚ãªã„よã†ãªæ°—ãŒã—ã¾ã™ãŒã€é–¢ä¿‚ãŒã‚るよã†ã§ã™ã€‚ ã•ã‚‰ã«ã€éžåŒæœŸã¨é…延評価ã®é–¢ä¿‚ã‚‚æ°—ã«ãªã‚Šã¾ã™ã€‚éžåŒæœŸã¯ã€ŒçµæžœãŒå¾Œã§æ¥ã‚‹ã€æ„Ÿã˜ã§ã™ãŒã€é…延評価ã¯ã€Œå¿…è¦ã«ãªã‚‹ã¾ã§çµæžœã‚’計算ã—ãªã„ã€ã¨ã„ã†ã“ã¨ã§ã€å¾Œå›žã—ã«ã™ã‚‹æ„Ÿã˜ãŒä¼¼ã¦ã„ã¾ã™ã€‚ 今回ã€deferred.el を作ã£ãŸå¾Œã«ã“れらã«ã¤ã„ã¦è€ƒãˆã¦ã¿ãŸã¨ã“ã‚ã€ãªã‚“ã¨ãªã自分ã®ä¸ã§å®Ÿç”¨çš„ãªçµè«–ã«é”ã—ãŸã®ã§ã¾ã¨ã‚ã¦ã¿ã¾ã—ãŸã€‚以下ã€ãã®éŽç¨‹ã¨ã¾ã¨ã‚ã§ã™ã€‚ ã‚らã™ã˜ 継続渡ã—(CPS)ã¨éžåŒæœŸ CPS変æ›ã‹ã‚‰éžåŒæœŸåŒ– Deferredã§éžåŒæœŸåŒ– é…延評価ã¨éžåŒæœŸ é…延関数ã®CPS変æ›ã‹ã‚‰éžåŒæœŸåŒ– Deferredã§éžåŒæœŸåŒ– 明示的形å¼ã¨æš—é»™çš„å½¢å¼ ç¶™
viridian-project.de
This domain may be for sale!
UnCommon Web
First there was GOTO, and all was ... bearable ... GOTO begot the subroutine, and all was ... better ... The subroutine begot the function, and all was good. First there the CGI, and all was ... bearable ... CGI begot the servlet and jsp, and all was ... better ... Then there was UCW, and all was good. The features page explains what sets UnCommon Web apart from other web develpoment frameworks. I
ç§ã®èˆžå°ã¯é¢¨ä¿—
TOP ç§ãŒã‚‚ã£ã¨ã‚‚è¼ã„ã¦ã„られるã®ã¯é¢¨ä¿—ã§åƒã„ã¦ã„ã‚‹ã¨ããªã‚“ã§ã™ã‚ˆã。ãã®ç§˜å¯†ã‚’語らã›ã¦ã„ãŸã ãã¾ã™ã€‚ 風俗ã§åƒã„ã¦ãƒ¡ã‚¤ã‚¯ã®æ¥½ã—ã•ã‚’覚ãˆãŸ 風俗ã§åƒãよã†ã«ãªã£ã¦å¤‰ã‚ã£ãŸã“ã¨ã¨è¨€ãˆã°ã€ã„ã„化粧å“ã‚’è²·ãˆã‚‹ã‚ˆã†ã«ãªã£ãŸã“ã¨ã‹ãªã€‚今ã¾ã§ã¯çµæ§‹ãƒ¡ã‚¤ã‚¯ã«èˆˆå‘³ãŒãªãã¦ã€ãƒ‰ãƒ©ãƒƒã‚°ã‚¹ãƒˆã‚¢ã«å£²ã£ã¦ã‚‹é©å½“ãªãƒ•ã‚¡ãƒ³ãƒ‡ã¨ã‹ä¸‹åœ°ã‚’使ã£ã¦ã„ãŸã—ã€ã‚¢ã‚¤ã‚·ãƒ£ãƒ‰ã‚¦ã‚„ãƒãƒ¼ã‚¯ã®è‰²ã‚‚全然ã‚ã‹ã‚“ãªãã¦ã€é©å½“ã«é¸ã‚“ã§ã¾ã—ãŸã€‚ã§ã€ãŠé‡‘ã®ãŸã‚ã«æ±‚人探ã—ã¦ãƒ‡ãƒªãƒ˜ãƒ«ã§ãƒã‚¤ãƒˆã‚’始ã‚ã¦ã€ç§ã‚ˆã‚Šå…ˆè¼©ã®ãŠå§‰ã•ã‚“ã«ã€Œãƒ¡ã‚¤ã‚¯ã‚‚勉強ã—ãŸæ–¹ãŒã„ã„よã€ã£ã¦è¨€ã‚ã‚Œã¦ã€æœ€åˆã¯ä½•è¨€ã£ã¦ã‚“ã ãƒãƒã‚¢ã£ã¦æ€ã£ãŸã‘ã©ã€ç¢ºã‹ã«ãã®äººã€ã™ã”ãメイクãŒä¸Šæ‰‹ã§ã„ã¤ã‚‚ãã‚Œã„ã ã£ãŸã‚“ã§ã™ã€‚ã„ã¤ã‚‚é©å½“ã«é¸ã‚“ã§ã„ãŸã®ã‚’ã‚„ã‚ã¦ã€åˆã‚ã¦BAã•ã‚“ãŒã„ã‚‹ã¨ã“ã‚ã«è¡Œãã€ãƒ¡ã‚¤ã‚¯ã‚’ã—ã¦ã‚‚らã£ã¦ãƒ•ã‚¡ãƒ³ãƒ‡ã‹ã‚‰ãƒã‚¤ãƒ³ãƒˆãƒ¡ã‚¤ã‚¯ã®è«¸ã€…ã¾ã§å…¨éƒ¨é¸ã‚“ã§ã‚‚らã„ã€ã¤ã„ã§ã«ãƒ¡ã‚¤ã‚¯æ–¹æ³•ã‚‚ã„ã‚ã„ã‚æ•™ãˆã¦ã‚‚らã„ã¾ã—ãŸã€‚ãã—ãŸ
Ntecs.de
The last couple of days I spent refactoring my web application framework Wee, a Seaside-like framework for Ruby that I started back in 2004 with a lot of mental help from Avi Bryant (one of the main guys behind Seaside). It’s now approaching a 2.0 release. Wee is now fully Rack based (Rack is a commonly used Ruby Webserver Interface) and the code is in general even cleaner than it was before (huge
CPS（継続渡ã—æ–¹å¼ï¼‰å¤‰æ›ã§è£è¿”ã‚‹ç†ç”± - 檜山æ£å¹¸ã®ã‚マイラ飼育記 (ã¯ã¦ãªBlog)
昨日ã€CPS（継続渡ã—æ–¹å¼ï¼‰ã¸ã®å¤‰æ›ã‚’話題ã«ã—ã¾ã—ãŸã€‚ 最近CPSã«å‡ã£ã¦ã„るらã—ã„id:higeponã•ã‚“ãŒï¼š 人間ã®çš®ãŒè£è¿”る。外ãŒå†…ã€å†…ãŒå¤–。ã¿ãŸã„ãªã‚¤ãƒ¡ãƒ¼ã‚¸ã§ã—ょã†ã‹ã€‚ ã¨æ›¸ã„ã¦ã¾ã™ï¼ˆCPSã§æ€è€ƒã™ã‚‹ - higepon blog）。ã“ã®è£è¿”ã‚‹æ„Ÿã˜ã‚’説明ã—ã¦ã¿ãŸã„ã¨æ€ã„ã¾ã™ã€‚ プãƒã‚°ãƒ©ãƒ ãŒã€3ã¤ã®éƒ¨åˆ†A, B, Cã‹ã‚‰æ§‹æˆã•ã‚Œã¦ã„ã‚‹ã¨ã—ã¾ã™ã€‚ A; B; C; A, B, Cã¯å˜ä¸€ã®æ–‡ã§ã¯ãªãã¦å¤§ããªãƒ–ãƒãƒƒã‚¯ã§ã‚‚ã‹ã¾ã„ã¾ã›ã‚“。ブãƒãƒƒã‚¯Aã®è¨ˆç®—çµæžœã¯å¤‰æ•°aã«ä»£å…¥ã•ã‚Œã€ãƒ–ãƒãƒƒã‚¯Bã®è¨ˆç®—çµæžœã¯å¤‰æ•°bã«ä»£å…¥ã•ã‚Œã‚‹ã¨ã—ã¾ã—ょã†ã€‚ãã‚Œãžã‚Œã®ãƒ–ãƒãƒƒã‚¯ã‚’関数化ã™ã‚‹ã¨ã€æ¬¡ã®ã‚ˆã†ã«ãªã‚Šã¾ã™ã€‚ a = A(); b = B(a); c = C(b); 変数cã®å€¤ãŒãƒ—ãƒã‚°ãƒ©ãƒ 全体ã®çµæžœã¨ãªã‚Šã¾ã™ã€‚ ä¸é–“変数a, bã¯ä¸è¦ãªã®ã§é™¤åŽ»ã™ã‚‹ã¨ï¼š c = C(B(A())); çµå±€ã€ãƒ—ãƒã‚°ãƒ©ãƒ 全体ã®æ©Ÿèƒ½ã¯ã€C(B
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ã®ã“ã®è¨˜äº‹ã€é¢ç™½ã„ã®ã
Route 477(2007-06-20)
â– [ruby][event] Rubyå‹‰å¼·ä¼šï¼ é–¢è¥¿-16「30分ã§ã‚ã‹ã‚‹callccã®ä½¿ã„方〠先週末ã®Rubyå‹‰å¼·ä¼šï¼ é–¢è¥¿ã§ã€Rubyã«ãŠã‘ã‚‹callccã®ä½¿ã„æ–¹ã«ã¤ã„ã¦ç™ºè¡¨ã•ã›ã¦ã„ãŸã ãã¾ã—ãŸã€‚ スライド： pdf ppt 継続ã®èª¬æ˜Žã«ã¤ã„ã¦ã¯ã€Œãªã‚“ã§ã‚‚継続ã€ãŒã‚ˆãå‚ç…§ã•ã‚Œã‚‹ã‚“ã ã‘ã©ã€ ã¡ã‚‡ã£ã¨èª¬æ˜ŽãŒãƒœãƒˆãƒ アップã™ãŽã‚‹ã¨æ€ã†ã®ã§(僕も最åˆã«èªã‚“ã ã¨ãã¯å…¨ç„¶åˆ†ã‹ã‚‰ãªã‹ã£ãŸ)ã€ã€Œcallccã§ä½•ãŒã§ãã‚‹ã‹ã€ã¨ã„ã†å¿œç”¨é¢ã‹ã‚‰æ”»ã‚ã‚‹ 構æˆã«ã—ã¦ã¿ã¾ã—ãŸã€‚ 最åˆã¯ã€Œç¶™ç¶šã‹ã‚ã„ã„よ継続ã€ã€Œãれをã™ã¦ã‚‹ãªã‚“ã¦ã¨ã‚“ã§ã‚‚ãªã„ã€ã¨æ€ã£ã¦ãŸã‚“ã ã‘ã©ã€ ã„ã‚ã„ã‚調ã¹ã¦ã‚‹ã†ã¡ã«ãªã‚“ã§callccãŒå«Œã‚れるã®ã‹ãŒç†è§£ã§ãã¦ã—ã¾ã£ãŸã€‚callccã¯ã‹ã‚ã„ã„ã‘ã©ã€éžå¸¸ã«æ‰‹ã®ã‹ã‹ã‚‹å¥´ã‚‰ã—ã„。 ã—ã‹ã‚‚ã€é¢ç™½ã„利用例ã¯ã„ã£ã±ã„ã‚ã‚‹ã‘ã©å®Ÿç”¨çš„ãªä¾‹ãŒã‚ã‚“ã¾ã‚Šãªã„ã‚“ã よã^^;。 callccãŒç„¡ããªã‚‹ã¨Rubyã®ã€Œã‹ã£ã“よã•
Borges Home
Homepage for the Borges web application frameworkBorges is a continuation-based web application framework originally ported from on Seaside 2 that allows a linear style of programming of web applications. Components of a Borges web page can call and return from each other in a natural way, allowing complex interaction between components from simple methods. Backtracking is supported seamlessly, al
ã¯ã¦ãªã‚°ãƒ«ãƒ¼ãƒ—ã®çµ‚了日を2020å¹´1月31æ—¥(金)ã«æ±ºå®šã—ã¾ã—㟠- ã¯ã¦ãªã®å‘ŠçŸ¥
ã¯ã¦ãªã‚°ãƒ«ãƒ¼ãƒ—ã®çµ‚了日を2020å¹´1月31æ—¥(金)ã«æ±ºå®šã—ã¾ã—㟠以下ã®ã‚¨ãƒ³ãƒˆãƒªã®é€šã‚Šã€ä»Šå¹´æœ«ã‚’目処ã«ã¯ã¦ãªã‚°ãƒ«ãƒ¼ãƒ—を終了予定ã§ã‚る旨をãŠçŸ¥ã‚‰ã›ã—ã¦ãŠã‚Šã¾ã—ãŸã€‚ 2019年末を目処ã«ã€ã¯ã¦ãªã‚°ãƒ«ãƒ¼ãƒ—ã®æ供を終了ã™ã‚‹äºˆå®šã§ã™ - ã¯ã¦ãªã‚°ãƒ«ãƒ¼ãƒ—日記 ã“ã®ãŸã³ã€æ£å¼ã«çµ‚了日を決定ã„ãŸã—ã¾ã—ãŸã®ã§ã€ä»¥ä¸‹ã®é€šã‚Šã”確èªãã ã•ã„。 終了日: 2020å¹´1月31æ—¥(金) エクスãƒãƒ¼ãƒˆå¸Œæœ›ç”³è«‹æœŸé™:2020å¹´1月31æ—¥(金) 終了日以é™ã¯ã€ã¯ã¦ãªã‚°ãƒ«ãƒ¼ãƒ—ã®é–²è¦§ãŠã‚ˆã³æŠ•ç¨¿ã¯è¡Œãˆã¾ã›ã‚“。日記ã®ã‚¨ã‚¯ã‚¹ãƒãƒ¼ãƒˆãŒå¿…è¦ãªæ–¹ã¯ä»¥ä¸‹ã®è¨˜äº‹ã«ã—ãŸãŒã£ã¦æ‰‹ç¶šãã‚’ã—ã¦ãã ã•ã„。 ã¯ã¦ãªã‚°ãƒ«ãƒ¼ãƒ—ã«æŠ•ç¨¿ã•ã‚ŒãŸæ—¥è¨˜ãƒ‡ãƒ¼ã‚¿ã®ã‚¨ã‚¯ã‚¹ãƒãƒ¼ãƒˆã«ã¤ã„㦠- ã¯ã¦ãªã‚°ãƒ«ãƒ¼ãƒ—日記 ã”利用ã®ã¿ãªã•ã¾ã«ã¯ã”迷惑をãŠã‹ã‘ã„ãŸã—ã¾ã™ãŒã€ã©ã†ãžã‚ˆã‚ã—ããŠé¡˜ã„ã„ãŸã—ã¾ã™ã€‚ 2020-06-25 追記 ã¯ã¦ãªã‚°ãƒ«ãƒ¼ãƒ—日記ã®ã‚¨ã‚¯ã‚¹ãƒãƒ¼ãƒˆãƒ‡ãƒ¼ã‚¿ã¯2020å¹´2月28
Matzã«ã£ã(2004-07-23)
<< 2004/07/ 1 1. [OSS]「オープンコミュニティーã®ç¢ºå›ºãŸã‚‹ç›Ÿä¸»ã€ã‚’アピールã™ã‚‹Sunã®ãƒžã‚¯ãƒ‹ãƒ¼ãƒªãƒ¼CEO 2 1. [morg]基本è¨è¨ˆå®Œ 3 1. [家æ—]希少生物発見 4 1. [教会]æ¾æ±Ÿ 5 1. [morg]実装フェーズ 6 1. [OSS]Javaã®ã‚ªãƒ¼ãƒ—ンソース化ã§è‹¦æ‚©ã™ã‚‹ã‚µãƒ³--レッシグらã®åŠ©è¨€ã‚‚ 2. CNETã«ãƒˆãƒ©ãƒƒã‚¯ãƒãƒƒã‚¯ãŒå±Šã‹ãªã„ 3. Sunã¨äº’æ›æ€§ 7 1. [OSS]オープンソースã«ã‚ˆã‚‹äº’æ›æ€§ã®å–ªå¤± 8 1. [OSS]SunãŒJavaをオープンソース化ã—ãŸæ–¹ãŒè‰¯ã„4ã¤ã®ç†ç”± 2. [morg]ãƒãƒƒã‚¯ã‚¨ãƒ³ãƒ‰ã»ã¼å®Œäº† 9 1. å¥åº·è¨ºæ– 2. Estraier 3. [Morg]フãƒãƒ³ãƒˆã‚¨ãƒ³ãƒ‰ 4. [OSS]風åšå£« 5. [OSS]フォークã¨äº’æ›æ€§ 6. 期日å‰æŠ•ç¥¨ 10 1. [家æ—]図書館 2. [OSS]風åšå£«(2) 11 1. [æ•™
1
ランã‚ング
ランã‚ング
メンテナンス
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
{{#tags}}- {{label}}
{{/tags}}