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

• バックアップ一覧
• 差分 を表示
• 現在との差分 を表示
• ソース を表示
• 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の正統後継者登場。
• 入門OCaml第７章"OCamlで作ってみよう 〜MySQLと連係したバグトラックシステム〜"

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開発フレームワーク [#ud483357]
• 今井さんが試しています。
• 論文 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

• サンプル(いつか消す): http://tsukimi.agusa.i.is.nagoya-u.ac.jp:18080/eliomsample/ -- けいご? 2007-07-12 (木) 08:34:01
• サンプル(いつか消す): http://tsukimi.agusa.i.is.nagoya-u.ac.jp:18080/eliomsample/ -- けいご? 2007-07-12 (木) 08:48:01

お名前:

Scheme †

SISCweb †

• http://siscweb.sourceforge.net/
• SISCweb is a framework to facilitate writing stateful Scheme web applications in a J2EE environment.
• J2EE上で動くScheme処理系SISCは、継続を完全にサポートしています。それを使って継続サーバを作ったようです。

Hop †

• http://hop.inria.fr/
• Hop is a new programming language designed for the Web 2.0.
• 独自のScheme処理系Biglooと、Scheme->JavascriptコンパイラであるScheme2jsを、Web開発に活用している。

Implementation and Use of the PLT Scheme Web Server †

• PLT-Scheme製の継続サーバ。Schemeではこれが最先端と思われる。
• Experience Report: Scheme in Commercial Web Application Development [#ja0484e9]

Kahua †

• 日本人開発のScheme処理系であるGaucheを使用。CPSスタイルの継続サーバ。

Smalltalk †

Seaside †

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

Ruby †

Ruby on Rails †

• がんばればだれでもできることを、がんばらなくてもできるようにしている
• テーブル名(複数形)とクラス名(単数形)を自動で対応させる(ActiveRecord?)
• クラステンプレートの自動作成(scaffold)
• 標準ライブラリの大幅な拡張(ActiveSupport?)
• Webサーバがついてくる。テストはこれでして、本番はApacheに移す
• FastCGIが必須なほど重いらしい

Javascript †

Cocoon2 †

• 継続付きの特別なJavascript処理系、Rhinoを使っている。FlowScript?は、継続を利用して、Web開発に構造化プログラミングの福音をもたらす。

Rhino in Spring †

• http://rhinoinspring.sourceforge.net/
• Rhinoの継続と、SpringのMVCの利点を併せ持つ、継続サーバです。

継続について †

• 継続
• WebBasedアプリケーションと継続について、わかりやすい説明

継続サーバとは †

• もとネタになった、Queinnec氏の論文PDF
• GaucheとFastCGIで作ってみました。 http://d.hatena.ne.jp/Gemma/20070707
• Javascriptで作ってみました。ブラウザのみで動くのが利点。http://d.hatena.ne.jp/Gemma/20070812