20090613 Seasar Conference2009 Spring

ScalaのWebFramework

Liftの紹介

Seasar Conference 2009 Spring

2009年6月13日土曜日

自己紹介

• 尾崎智仁( ゆろよろ)

• ID:yuroyoro(はてな、twitter、wassr)

• フリーエンジニア

• JavaとかScalaとかpythonとか


Blog


コミュニティ

• java-ja (自重しません)

• wicket-ja (wicketイカス)

• django-ja (最近です)

• shibuya-trac (p lugin書いたり)

• scalaユーザー会


好きなキャラに脳内で変換して

聞いてください・・・


それでは・・・


質問たーいむ!!


Q1.scalaって

知ってますか?


Q2.scalaって書いたことありますか?


Q3.Liftって

知ってますか?


今日の内容

•scalaの紹介!

•Liftの紹介っ!

•ざっくりアーキテクチャ!

•デモっ!

•まとめっ!2009年6月13日土曜日

scalaってどんな言語?


scalaの特徴

• jvmで動きます!

•オブジェクト指向 + 関数型

•ファーストクラス関数

•静的型付け + 型推論

•Javaとの相互運用2009年6月13日土曜日

scalaの特徴

•作者：Martin Odersky

• caseクラス、パターンマッチ

• XMLリテラル

•Actorライブラリ

•DSLとしてのscala2009年6月13日土曜日

ちょっとしたscalaのDEMO


インタプリタで動作を

確認してみよう!


型推論

scala>vallist:List[Int]=List(1,2,3,4)

list:List[Int]=List(1,2,3,4)

scala>vallist=List(1,2,3,4)

list:List[Int]=List(1,2,3,4) 省略!

省略できる


関数オブジェクト

scala>defisEven(i:Int):Boolean={return(i%2==0)}isEven:(Int)Boolean

scala>defisEven(i:Int)=i%2==0isEven:(Int)Boolean

scala>valfunc=isEven_func:(Int)=>Boolean=<function>

省略!

Javaっぽく書くとこんな感じ

関数をオブジェクトとして変数に

代入!


高階関数とカリー化

scala>defadd(n:Int,m:Int)=n+madd:(Int,Int)Int

scala>valadd3=add(3,_:Int)add3:(Int)=>Int=<function>

scala>defcurryingAdd(n:Int)=add(n,_:Int)curryingAdd:(Int)(Int)=>Int

カリー化っ!!

カリー化された”関数”を返す関数


Listの操作

scala>l.map({(n:Int)=>n*2})res1:List[Int]=List(2,4,6,8)

scala>list.filter(_%2==0)res2:List[Int]=List(2,4)

scala>list.filter(func)res3:List[Int]=List(2,4)

偶数の要素を抽出

map操作無名関数で各要素を2倍

関数オブジェクトを引数に渡す!


パターンマッチ

deftest[T](list:List[T])=listmatch{case1::xs=>print("start1")case2::xs=>print("start2")case"Test"::xs=>print("startTest")casex::Nil=>print("oneelemnt")casex::xs=>print("start"+x)case_=>print("default")}

先頭が文字列で”Test”

Listの先頭が1の場合

要素が一つ


クラスとオブジェクト

scala>classFoo(valn:Int,vals:String){defbar=print(n+s)}definedclassFoo

scala>objectFooObj{valn=3vals="Bar"defbar=print(n+s)}definedmoduleFooObj

Singletonオブジェクト

クラス名の後にコンストラクタ


他にも変態的な言語仕様が盛りだくさん

trait

CompanionObject

ExtractorImplicit conversion

Structural typing

Lazy value

Partial Function

XMLリテラル

Implicitparameter

Existential type

Specialized annotation


Liftの紹介っ!


scala = 階段(イタリア語)


Lift = エレベータ


Functional Web Framework

Lift


Liftの特徴

•Scalaです!

•フルスタックです!

•いいとこどりしてます!


Liftの特徴

•現在のVersion 1.0

•scala 2.7.3

•Githubにソース

•チーフコミッタ David

Pollak



Liftの特徴

•Scalaの関数型言語や

型推論に加え、既存の

java資産が利用できるん

です!


Liftの特徴

•インストールやサーバ

の起動はrailsみたいに

Mavenコマンド一発。

•組み込みDB (Derby)


Liftの特徴

•設定はCocとScala

コード。XMLなし!

•SiteMapやACL

•アプリのテンプレート


Liftの特徴

•jQueryによるAjax!

•Cometを簡単に!

•各種Widgetがあるよ!

•GAE/Jでも動くよ!


ざっくりアーキテクチャ!


Liftのアーキテクチャ

Model

LiftFilter

LiftServlet

Boot

LiftRule

LiftSession

RequestState

Snippet

HTML Template

Requestを受けるfilter

URLのDispatchなどのルール

DBなどの動作環境の設定情報

Reqeustの種類(Commet,Ajax)による振り分け

Sessionを扱うRequestの処理。

RequestとResponseの情報。

XHTMLでのテンプレート

Viewへの出力やModelの操作など

KeyedMapper

KeyedMetaMapperORMでのtrait

CRUD関連処理を継承

フォームの入力値などを参照

Modelの操作

XHTMLタグでSnippetを埋め込む

URLなどからTemplateを検索

URLによる振り分け


LiftのアーキテクチャLiftはscalaで実装されたフルスタックのWebアプリケーションフレームワーク

であり近年のフレームワークのエッセンスを取り入れている。Liftのアーキテ

クチャはView Firstでありリクエストに対しての (開発者が意識すべき) コント

ローラというものは存在しない。リクエストに対してはtemplateのレンダリン

グの過程でbindされたsnipetをliftが呼び出すことで出力が行われる。snipet

は、後述するmodelを利用した動的な出力の生成などを行う。また、snipetで

出力を生成する際に、特定のHTML上のコンポーネントに対してのイベントハ

ンドラを独自に用意したFunctionオブジェクトに割り当てる(Function

Mapping)ことが可能であり、さらに、snipet自体がstateを保持することが可

能になっているおかげで、snipet=コンポーネントという形での開発スタイル

が確立されている。このようなアーキテクチャを拡張する形で、近年のwebア

プリケーション開発では必須ともいえるajaxのサポートが提供されており、

簡便なAPIで出力上のHTMLエレメントに対してのajaxイベントを特定の

functionに割り当て、動的なjavascriptやjsonを簡単に出力できる。このajax

を利用したcometを実現するsnipetも提供されており、今はすでに無きLingrの

ようなインタラクティブなwebアプリケーションを少ない行数で実現すること

が出来るのである。さらに、LiftのORMライブラリはActiveRecordを意識した



開発者がつくるもの

LiftFilter

LiftServlet

LiftRule

LiftSession

RequestState

Requestを受けるfilter

URLのDispatchなどのルール

Reqeustの種類(Commet,Ajax)による振り分け

Sessionを扱うRequestの処理。

RequestとResponseの情報。

KeyedMapper

KeyedMetaMapperORMでのtrait

CRUD関連処理を継承

フォームの入力値などを参照

Modelの操作

XHTMLタグでSnippetを埋め込む

URLなどからTemplateを検索

URLによる振り分け Model

Boot

Snippet

HTML Template

DBなどの動作環境

の設定情報

XHTMLでのテンプ

レートViewへの出力

やModelの操作


開発者がつくるもの

•設定 Boot (scala)

•テンプレート(XHTML)

• Snipet(scala)

• Model(scala)


LiftのView


LiftのView

•Snipetアプローチ

classHelloWorld{

defhowdy=Welcometohelloworldat

{new_root_.java.util.Date}

}

Snipet(scala)

<lift:helloWorld.howdy/>Template


LiftのView

•コントローラが中心では

なく、Viewを中心とした

アーキテクチャ

Viewsnipet model

snipet model


LiftのView

•テンプレートはXHTML。独

自の名前空間のXMLタグと

Snippetを結合!

snipetView XMLタグ


LiftのView

• Function Mapping•イベントに”関数オブジェク

ト”を動的に割り当てる!

ブラウザ class snipet{def bar(xhtml:Group):NodeSeq ={ ....}

ボタンクリックで関数を実行

レンダリング時に動的に割り当て


LiftのView

•テンプレートの例 (Form)

<lift:SampleSnipet.addform="POST">

<entry:description/>

<entry:amount/> 

<entry:submit/>

</lift:SampleSnipet.add>

snipetのクラス名メソッド名


LiftのView

• Snipetの例 (Form)classSampleSnipetdefadd(xhtml:NodeSeq):NodeSeq={vardesc=""varamount="0"defprocessEntryAdd(){...}bind("entry",xhtml,"description"->SHtml.text(desc,desc=_),"amount"->SHtml.text(amount,amount=_),"submit"->SHtml.submit(Add,processEntryAdd))}}

submitされたときにprocessEntryAddメソッドを呼び出す

snipetクラス

メソッド


LiftのModel


LiftのModel

•MappingはCoC

•schemifyによる同期

•動的SQL

•(s2jdbc的な…)

•CRUDify(trait)2009年6月13日土曜日

LiftのModel

•Mapper (trait)‣ entityクラス

‣ カラムの定義

‣ crud操作 (save,update,delete)

•MetaMapper (trait)‣ sigleton、Maperのファクトリ

‣ findなどのメソッド

‣ ユーティリティ(order定義、form生成,validate…)


Database

LiftのModel

Mapper

MetaMapper

aaa bbb 1ccc ddd 2eee fff 3

1レコードに対応

テーブル単位の操作

Schemify

CoCでmapping

Insert,Update,Delete

Select

migration インスタンス生成


LiftのModel

•Mapperの例 classExpenseextendsLongKeyedMapper[Expense]withIdPK{

defgetSingleton=Expense

objectdateOfextendsMappedDateTime(this)

objectdescriptionextendsMappedString(this,100)

objectamountextendsMappedDecimal(this,

MathContext.DECIMAL64,2)

objectaccountextends

MappedLongForeignKey(this,Account)

}

KeyedMapperを継承

PK

カラムの定義(型、桁数…)

外部キーリレーション


LiftのModel

•MetaMapperの例 objectExpenseextendsExpensewithLongKeyedMetaMapper[Expense]{

overridedeffieldOrder=

List(dateOf,description,amount)

}

Mapperを継承

KeyedMetamapper

並び順(form生成など)


LiftのModel

•検索するときは…

valmyEntries1=Expense.findAll

valmyEntries2=Expense.findAll(By_>(Expense.amout,5))

valrecentEntries=Expense.findAll(

BySql("dateOf>(CURRENT_DATE-interval’30days’)",

IHaveValidatedThisSQL("dchenbecker","2008-12-03"))

全件検索

amount >5 で検索

SQLで検索


LiftのModel

• entityの操作は…varmyEntr=Expense.create

myEntry.dateOf(newDate).description("Asampleentry")

myEntry.amount(BigDecimal("127.20"))

myEntry.save

myEntry.delete


デモっ!


demo その1

• Liftの真骨頂はcometにあり!

• scalaのactorを利用したsinpet

•TwitterのTimelineを流すデモ

•ソースはGithubhttp://github.com/yuroyoro/s2condemo/tree/master


http://github.com/yuroyoro/scala-ja-01-example/tree/master




demo その2

• Lift Console!

•インタプリタで動作確認

• mvn scala:console• (new bootstrap.liftweb.Boot).boot


demo その3

• Crudfy!•ModelからCRUD画面生成

•MetaMapperにtraitをwith


まとめっ!


まとめ

• Liftはフルスタック!

• scalaのパワーをwebアプリ

ケーションへ

• Snipetアプローチ!

• ajax/cometが強み!


情報源

•公式サイトhttp://liftweb.net/

•Google Group Lifthttp://groups.google.com/group/liftweb

•The Lift bookhttp://groups.google.com/group/liftweb


http://liftweb.net

http://liftweb.net

http://groups.google.com/group/liftweb




Liftで関数型Webアプリケーションの

世界へ!!


ご清聴ありがとうございました!

Technology

20090613 Seasar Conference2009 Spring