web-dev のバックアップ(No.1)

• バックアップ一覧
• 差分 を表示
• 現在との差分 を表示
• ソース を表示
• web-dev へ行く。
  • 1 (2007-07-12 (木) 04:11:49)
  • 2 (2007-07-12 (木) 04:11:49)
  • 3 (2007-07-12 (木) 08:48:01)
  • 4 (2007-07-16 (月) 01:10:54)
  • 5 (2007-07-16 (月) 01:10:54)
  • 6 (2007-07-16 (月) 01:10:54)
  • 7 (2007-08-14 (火) 03:51:30)
  • 8 (2007-11-27 (火) 14:40:31)
  • 9 (2008-01-06 (日) 13:38:55)
  • 10 (2008-01-06 (日) 13:38:55)
  • 11 (2008-01-06 (日) 13:38:55)
  • 12 (2008-09-23 (火) 10:35:42)
  • 13 (2008-09-26 (金) 22:48:16)
  • 14 (2009-03-25 (水) 21:41:30)
  • 15 (2009-03-25 (水) 21:41:30)

ぜひ読むべし †

• 境界を越える: 継続とWeb開発、そしてJavaプログラミング
• Programming Languages: Application and Interpretation by Shriram Krishnamurthi
  • Schemeを軸に、現在の関数型言語を取り巻くトピックをまとめています。遅延評価、型理論、論理プログラミング、継続サーバなど。SICPの正統後継者登場。

Haskell †

HAppS -- Haskell Application Server v 0.8.8 †

• http://happs.org/

WASH †

• http://www.informatik.uni-freiburg.de/~thiemann/WASH/
• 下村さんが試しました。

OCaml †

Ocsigen OCamlによる継続ベースWeb開発フレームワーク †

• 今井さんが試しています。
• 論文 Typing web interaction with Objective Caml
• 特徴
  • 継続ベースWebプログラミング
  • XHTMLの静的チェック
  • セッションの自動管理
  • モジュール指向
  • HTTPサーバの実装には協調スレッドを利用。
  • カウンタはこう書けます。

let compt = 
  let next =
    let c = ref 0 in
      (fun () -> c := !c + 1; !c)
  in
  register_new_service 
    ~url:["compt"]
    ~get_params:unit
    (fun _ () () ->  return
      (html
       (head (title (pcdata "counter")) [])
       (body [p [pcdata (string_of_int (next ()))]])))

• See this example here

Scheme †

継続サーバ †

• もとネタになった、Queinnec氏の論文PDF
• Implementation and Use of the PLT Scheme Web Server PLT-Scheme製の継続サーバ。Schemeではこれが最先端と思われる。
• 源馬が類似のものをGaucheとFastCGIで作りました。 http://d.hatena.ne.jp/Gemma/20070707
• Kahuaスタイルの継続サーバ。日本人開発のScheme処理系であるGaucheを使用。

Smalltalk †

• Seaside継続サーバの実装の最先端。デバッグ環境の充実は他の追随を許していない。
• Seasideの開発者のblogが継続のゆくえについて語る

Ruby †

• なんかあるらしい

Java †

• Cocoon2がすごいらしい

継続について †

• 継続
• JavaのCocoon2は、継続付きの特別なJavascript、Rhinoを使っているそうです。サーバサイドJavascript流行の兆しあり。