[B! Continuation] nozomのブックマーク

nozom id:nozom

Continuationに関するnozomのブックマーク (22)

call/ccと副作用 - lethevert is a programmer
http://practical-scheme.net/wiliki/wiliki.cgi?Scheme%3acall%2fcc%e3%81%a8%e5%89%af%e4%bd%9c%e7%94%a8 [id:sumii:20061121] 前に紹介したFamkeの論文にも、 We implement threads by using first class continuations in Clean, without the usage of call/CC (with, according to Thielecke [6] can be dangerous). ... [6] Hayo Thielecke. Using a continuation twice and its implications for the expressive power of call/CC. High
nozom 2006/11/22
Scheme

Continuation
リンク
sumiiの日記 - call/ccが「副作用」である理由
http://practical-scheme.net/wiliki/wiliki.cgi?Scheme%3acall%2fcc%e3%81%a8%e5%89%af%e4%bd%9c%e7%94%a8 (via http://d.hatena.ne.jp/flappphys/20061119#p2) おお、これは正確でわかりやすい議論ですね。call/ccが参照透明性を破壊する（ややトリッキーな）実例としては、前にちらっと書いた > (define x (call-with-current-continuation call-with-current-continuation)) > x #<system continuation> > (x 123) > x 123も、その筋ではよく知られているようです。元のcomp.lang.schemeの議論をちゃんと読んでいないので既出かもしれませ
nozom 2006/11/21
Scheme

Haskell

Continuation
リンク
Perl 5.8 で似非継続 - Tociyuki::Diary
torus solutions! さんの﹁なんでも継続、Perl で。﹂のコード例は Schemeなら確かに継続になっているのですが、Perl 5.8 までは末尾関数呼び出しを gotoにしてくれないので、クロージャをスタックに積み上げる再帰呼び出しのまんまです。 (11月18日追記)この問題を小飼弾さんが﹁継続は力なり﹂で解決しようと試みていますが、この解は残念ながら leaf_count_cps_g の呼び出しがループ(もしくは goto)になっていません。そもそも schemeで再帰版 leaf_count を継続を使って書き改める動機は﹁継続と関数のすべてを末尾呼び出しに書き換えることでループ化する﹂ことですから、Perl でもそうしてみたいのです。それならばと goto &subroutine名を使えないかとやってみたのですけど、思ったように動いてくれませんでした。
nozom 2006/11/21
Perl

Scheme

Continuation
リンク
なんでも継続、Perl で。 : torus solutions!
最近よくコンティニュエーション・パッシングだとか、継続ベースの○○とか、そういう話題を耳にします。でも継続っていうのが何なのか良く分からなかったので、お正月休みに Shiro Kawaiさんのなんでも継続を読んでみました。今までずっと難しいだろうと思って読んでなかったんだけど、これがまたとても分かりやすくて面白かったので、途中にあげられていたサンプルコードを Perl でも書いてみました。普通の再帰形式 Schemeでは (define (leaf-count tree) (if (pair? tree) (+ (leaf-count (car tree)) (leaf-count (cdr tree))) 1)) Perl では Perl にはペアがないので、2要素の配列でエミュレートすることにします。それ以外はそのまんまです。 sub leaf_count
nozom 2006/11/21
Perl

Scheme

Continuation
リンク
the Jau Virtual Machine
nozom 2006/10/31
"A VM in Java with tail-calls and continuations"

Java

Continuation
リンク
Continuity: Home
Continuity A Perl library for continuously flowing web applications.
nozom 2006/10/04
Perlで継続(Continuation)

Perl

Continuation
リンク
IBM Developer
IBM Developer is your one-stop location for getting hands-on training and learning in-demand skills on relevant techno logies such as generative AI, data science, AI, and open source.
nozom 2006/04/13
Java

Web

Programming

Continuation
リンク
Abstract
Carl Bruggeman, Oscar Waddell, and R. Kent Dybvig, Representing control in the presence of one-shot continuations, ACM SIGPLAN 1996 Conference on Programming Language Design and Implementation, June 1996 (bibtex). Traditional first-class continuation mechanisms allow a captured continuation to be invoked multiple times. Many continuations, however, are invoked only once. This paper introduces one-
nozom 2006/02/24
Scheme

Continuation
リンク
Jetty 6.0 Continuations、まとめ - FAX
Jetty 6.0 Continuations、まとめ技術 Jetty 6 Continuations(継続) - Ajax対応！このエントリは、上記エントリのまとめだ。私の思う要点は、以下2点。クライアントのリアルタイムの更新を行う、大規模アプリケーションの作成には工夫がいる。 Gregさんの問題定義と解決が正しいとすると、Javaだけでなく、他の言語にも応用ができる。 JettyはAjaxアプリケーション向けに、JSP抜きの構成を提供している。これは、先日の﹁エンタープライズAjaxアーキテクチャ﹂に対応する。EJBも、JSPも捨て、J2EEはサーブレットのみの時代まで戻るということだ。問題とJettyの解決策従来のモデル1ユーザー(コネクション)あたり、1スレッド。非常に活動的なコネクションを使うアプリケーションなら効率的。実際は、そのようなアプリケーションは少ない
nozom 2005/09/23
Web

Ajax

Continuation
リンク
Jetty 6 Continuations - Ajax対応！ - FAX
Jetty 6 Continuations - Ajax対応！翻訳 (via こんな毎日・・・) 原文：Jetty 6.0 Continuations - AJAX Ready! 著者：Greg Wilkins Jetty 6.0.0 alpha 3がリリースされました！サーブレット2.4のサーバが400kのjarと、たった140kの依存ライブラリに収まっています。(さらにJSPが必要な場合でも、たった2.6Mです！！)。小さくて、速くて、簡潔で魅力的な点は全く損なわずに、スケーラブルなAJAXアプリケーションを構築するための、Continuationsと言う新機能をJetty6はサポートしました。Continuationsは、スレッドを使わずに非同期イベントの待機を実現します。コネクション単位スレッドスケーラブルなサーブレットサーバを構築する上で、主要な課題の1つにスレッドとコ
nozom 2005/09/20
Javascript

Ajax

Continuation
リンク
So, what the heck is a continuation anyway?
nozom 2005/09/05
Perl6では継続がサポートされる？

Perl

Continuation
リンク
Re: So, what the heck is a continuation anyway?
To: address@hidden, address@hidden, address@hidden Subject: Re: So, what the heck is a continuation anyway? From: Guy Steele - Sun Microsystems Labs <address@hidden> Date: Mon, 10 Dec 2001 18:16:48 -0500 (EST) Cc: address@hidden Reply-to: Guy Steele - Sun Microsystems Labs <address@hidden> Sender: address@hidden If you speak Common Lisp, you might find the following bit of code illuminating. (If y
nozom 2005/09/04
Guy SteeleによるCommon Lisp上の簡易Scheme実装。この短さでcall/ccをサポートしているのは驚き。

Lisp

Scheme

Continuation
リンク
継続は力なり : 404 Blog Not Found
2005年08月28日21:42 カテゴリLightweight Languages 継続は力なり LLDN2005、みなさんお疲れさまでした。私は寝不足もあって今日は一日中死んでました。昼の部と夜の部に関してすでにレポートがいくつか上がっています。 Perl6 and Parrot Essentials Randall/Sulgaski/Tötsch 本 blogでは、順不同にLLDN2005では扱いきれなかった﹁宿題﹂を片付けて行く事にします。まずは継続について。会場Kahuaへの質疑問答の中で、継続に関する質問が失礼ながらとんちんかんで、言語屋にとっては常識である継続(continuation)も、まだまだ一般的に理解されているとは言えないことを実感した。すでにgaucheのShiroさんによる﹁なんでも継続﹂などのすばらしい解説があるにも関わらず、ここで蛇足的な説明と、そしてPar
nozom 2005/08/29
Lisp

Perl

Continuation
リンク
なんでも継続、C++ で。 : torus solutions!
「なんでも継続、Perl で。」に続いて、継続渡しの例題コードを C++ の関数オブジェクトを使って書いてみました。元ネタは「なんでも継続」を参照してください。 Scheme の元のコード (define (leaf-count/cps tree cont) (if (pair? tree) (leaf-count/cps (car tree) (lambda (n) (leaf-count/cps (cdr tree) (lambda (m) (cont (+ n m)))))) (cont 1))) (define tree '((a . b) (c . d) . e)) (leaf-count/cps tree values) C++ で書いてみるととても長くなってしまいました。 Scheme の lambda をそのまま素直に関数オブジェクトのクラスとして書き直してい
nozom 2005/08/28
Lisp

Scheme

C-lang

Continuation
リンク
http://www.torus.jp/memo/x200401/nandemo_keizoku.rd.html
nozom 2005/08/28
Lisp

Scheme

Perl

Continuation
リンク
Yokohama Bay Kit
nozom 2005/08/27
Lisp

Scheme

Continuation
リンク
GaucheによるSchemeプログラミング
No contributions on Sunday, June 19, 2022 No contributions on Monday, June 20, 2022 No contributions on Tuesday, June 21, 2022 No contributions on Wednesday, June 22, 2022 No contributions on Thursday, June 23, 2022 No contributions on Friday, June 24, 2022 No contributions on Saturday, June 25, 2022 No contributions on Sunday, June 26, 2022 No contributions on Monday, June 27, 2022 No contributio
nozom 2005/08/27
Scheme
リンク
Fabulous Adventures In Coding - Site Home - MSDN Blogs
Eric Lippert's Erstwhile Blog Why is deriving a public class from an internal class illegal? In C# it is illegal to declare a class D whose base class B is in any way less accessible than D.... Author: Eric Lippert Date: 11/13/2012 It's still essential! I am pleased to announce that Essential C# 5.0 by Mark Michaelis, and, new for this edition, yours... Author: Eric Lippert Date: 11/09/2012 Dynami
nozom 2005/08/27
Javascriptで再帰的な処理をContinuation Passing Style（CPS）で書こうというもの…らしい

Javascript

Continuation
リンク
継続の使用法
﹁継続の書(Book of Continuation): 8面以降でもコンティニューできるようになる﹂ (﹁レインボーアイランド﹂) Schemeには継続を扱うための関数 call-with-current-continuation (別名 call/cc) がある。でもここでは blockという(機能としては違いの無い)構文を定義して、それを使って説明していく。 blockの定義は、 (define-syntax block (syntax-rules () ((_ name e1 e2 ...) (call-with-current-continuation (lambda (name) e1 e2 ...))))) とか、 (define-macro (block name . body) `(call-with-current-continuation (lambda (,n
nozom 2005/02/23
Lisp

Scheme

Continuation
リンク
継続の説明(前置き)
継続の説明の断片﹁John Reynolds "The Discoveries of Continuations" によると、継続の概念が初めて現れるのは1964年らしい。そして、1970、1971年頃(さらにその後も)何人もの人によって再発見されている。 Knuth は、何人もの人が独立に演算子順位文法を考えだしたのに自分は思いつかなかったから、﹁自分は、自力で演算子順位文法を思いつけなかった唯一の計算機科学者だ﹂とか考えたらしい。﹁自分は、自力で継続を思いつけなかった唯一の計算機科学者だ﹂と考えた人もいるのだろうか。﹂C言語のexit() 関数は、関数呼び出しと言うよりジャンプだ、という事を聞くことがある。なぜかというとexit() は関数呼び出しから戻ってこないから。例えば、exit(1); printf("Not reached\n"); となっている時、
nozom 2005/02/23
Lisp

Scheme

Continuation
リンク
1 2 次のページ