Ll tiger clojure

Langage Update (Clojure),[object Object],LL Tiger 2010/07/31,[object Object],Toshiaki Maki ,[object Object],(Twitter:@making),[object Object]

Language Update初登場なので,[object Object]

Clojureの言語紹介をします（スライド50ページもありますｗ）,[object Object]

Agenda,[object Object],Clojure?,[object Object],Immutable,[object Object],Concurrency,[object Object],Program as Data,[object Object],etc,[object Object]

Clojure?,[object Object],new Lisp dialect,[object Object],not CommonLisp, Scheme,[object Object],run on JVM,[object Object],Functional,[object Object],Immutable,[object Object],Concurrency,[object Object],STM,[object Object],agent system,[object Object],Program as Data,[object Object],Macro,[object Object],DSL,[object Object],Java Interoperability ,[object Object]

プログラミングClojure(訳:川合史朗)の出版で,[object Object]

吹き荒れたClojure旋風,[object Object]

TLがClojureの話題で一色!!,[object Object]

空前のClojureブーム到来!!,[object Object]

そんな時代がClojureにもありましたorz,[object Object]

気を取り直して、再び興味をもってもらえるように紹介します(> <),[object Object]

Clojure History,[object Object],2007年スタート,[object Object],Author: Rich Hickey,[object Object],2009/05/04 1.0.0リリース,[object Object],2009/12/31 1.1.0リリース ←現在安定版,[object Object],2010/07/13 1.2.0 βeta1 リリース,[object Object],2010/07/30 1.2.0 RC1 リリース　←イマココ,[object Object],The Eclipse Public License,[object Object],http://en.wikipedia.org/wiki/Rich_Hickeyより,[object Object]

Position in JVM Languages,[object Object],Stuart Sierraの発表資料より引用,[object Object]

Syntax (primitive),[object Object]

Syntax (data structure),[object Object]

Hello World,[object Object],(defn hello [s],[object Object], (println"Hello" s)),[object Object],(hello"World") ; -> "Hello World" ,[object Object],Javaの,[object Object],public static void hello (String s) {,[object Object],System.out.println(“Hello ” + s);,[object Object],},[object Object],hello(“World”);,[object Object],に相当,[object Object]

Function Call,[object Object],(println“HelloWorld”),[object Object],fn call,[object Object],arg,[object Object],semantics: ,[object Object],list,[object Object],symbol,[object Object],string,[object Object],structure:,[object Object]

Java Interoperability,[object Object],StringBuildersb = newStringBuilder();,[object Object],sb.append(“Lightweight”);,[object Object],sb.append(“Language”);,[object Object],sb.append(“Tiger”);,[object Object],sb.append(“2010”);,[object Object],(let[sb (StringBuilder.)],[object Object], (.appendsb“Lightweight”),[object Object], (.appendsb“Language”),[object Object], (.appendsb“Tiger”),[object Object], (.appendsb “2010”)),[object Object]

Immutable,[object Object],Clojureのデータは不変,[object Object],(defll-info {:name “LL Tiger” :year 2010}),[object Object],(assocll-info :place “Nissho-Hall”) ,[object Object],;; -> {:place "Nissho-Hall", :name "LL Tiger", :year 2010},[object Object],ll-info,[object Object],;; -> {:name "LL Tiger", :year 2010},[object Object],Mapに値を追加しても,[object Object],元のMapはそのまま,[object Object]

Immutable,[object Object],メモリ,[object Object],ll-info,[object Object],assocされたmap,[object Object],immutableなので共通部分を共有できる,[object Object],->効率的なデータ構造,[object Object]

Immutable,[object Object],関数型プログラミングに適したスタイル,[object Object],入力値に対して出力値の計算に集中できる,[object Object],並行処理にも有利,[object Object]

Concurrency,[object Object],並行プログラミングを容易にする4種類の強力なAPI,[object Object],今回はrefのみ紹介,[object Object]

ref,[object Object],状態を扱えるようにする,[object Object],Clojureでは値がimmutableなので、関数適用しても元の値は変更されない,[object Object],refを使用すると状態を扱える,[object Object],複数の状態をall or nothingで変更,[object Object],複数の変数をtransactionalに変更できる,[object Object]

without “ref”,[object Object],加算/減算処理を普通に考えると,[object Object],(def a 0),[object Object],(defb 1),[object Object],(inc a) ; aの値を+1する関数,[object Object],(decb) ; bの値を-1する関数,[object Object],(println a b) ; -> 1 0 ??,[object Object],a,bはimmutableなので実際は「0 1」が出力される,[object Object],a,b更新の一貫性も保証されない,[object Object]

STEP1/4,[object Object],更新する値をrefでくるむ（変更可能な参照）,[object Object],(def a (ref 0)),[object Object],(defb (ref 1)),[object Object],(inc a),[object Object],(decb),[object Object],(println a b),[object Object],まだ実行してもエラー,[object Object],状態を保持する,[object Object],変数を生成,[object Object]

STEP2/4,[object Object],alterでrefの中身を更新,[object Object],(def a (ref 0)),[object Object],(defb (ref 1)),[object Object],(alter a inc) ; aにincを適用して更新,[object Object],(alterbdec) ; bにdecを適用して更新,[object Object],(println a b),[object Object],まだ実行してもエラー,[object Object],(alterreference update-fn & args…)形式,[object Object],(ref-setreference new-value)でも可,[object Object]

STEP3/4,[object Object],derefでrefの中身を参照,[object Object],(def a (ref 0)),[object Object],(defb (ref 1)),[object Object],(alter a inc),[object Object],(alterbdec) ,[object Object],(println (deref a) (derefb)),[object Object],まだ実行してもエラー,[object Object],リーダマクロ@を使って略記できる,[object Object],(println@a @b)で可,[object Object]

STEP4/4,[object Object],atomicにしたい範囲をdosyncで囲む,[object Object],(def a (ref 0)),[object Object],(defb (ref 1)),[object Object],(dosync,[object Object], (alter a inc),[object Object], (alterbdec)) ,[object Object],(println @a @b),[object Object],トランザクション範囲,[object Object],; -> 1 0,[object Object]

STM,[object Object],Software Transactional Memory,[object Object],ACID特性のうちACIを提供,[object Object],Atomic,[object Object],トランザクション内の処理は不可分,[object Object],Consistency,[object Object],トランザクション内の処理の一部で失敗した場合、全体が失敗,[object Object],Isolation,[object Object],トランザクション内で他のトランザクションの途中結果はわからない,[object Object],Durability,[object Object],トランザクション内での変更は永続的である（STMはメモリ上のはなしなので、Dはサポートされない）,[object Object],言語レベルでインメモリDBみたいなものをもっているイメージ,[object Object]

Implementaion of STM,[object Object],MultiVersionConcurrency Control,[object Object],値の変更はコピーした値に対して行い、タイムスタンプなどで楽観排他して整合性をとる,[object Object],Snapshot Isolation,[object Object],トランザクションごとに値をコピーし、並行性を高める,[object Object],Oracle/PostgereSQLなどのRDBMSでは、SERIALIZABLE分離レベルで使われている,[object Object],より詳しくは,[object Object],http://d.hatena.ne.jp/marblejenka/20100626/1277528587,[object Object]

Mechanism of STM,[object Object],Tx A,[object Object],reference,[object Object],A,[object Object],in-transaction-value,[object Object],F,[object Object],v=42, t=0,[object Object],read,[object Object],Tx B,[object Object],snapshotをとる,[object Object],F,[object Object],v=42, t=0,[object Object],B,[object Object],calc,[object Object],in-transaction-value,[object Object],local write,[object Object],read,[object Object],F,[object Object],v=42, t=0,[object Object],snapshotをとる,[object Object],F,[object Object],v=9, t=0,[object Object],calc,[object Object],conflict?,[object Object],local write,[object Object],NO,[object Object],F,[object Object],v=27, t=0,[object Object],commit,[object Object],F,[object Object],v=9, t=1,[object Object],conflict?,[object Object],YES,[object Object],retry!,[object Object],「The Joy of Clojure」 Figure 10.1より,[object Object]

Concurrency,[object Object],簡単なセマンティクスで複数の処理をatomicにできる,[object Object],デッドロックやスレッドアンセーフなバグを心配する必要がない,[object Object],(他の言語だと複雑になるような),[object Object],並行処理が簡単に書ける！,[object Object]

Program as Data,[object Object],Clojure (というかLisp)ではプログラム自体がデータ構造,[object Object],式を評価する前にカッコの中を好きに操作できる,[object Object],Macro,[object Object],カッコ遊び,[object Object],好きに操作することでDSLを作るのも容易,[object Object]

Macro,[object Object],dotoマクロ,[object Object],(doto (StringBuilder.),[object Object], (.append“Lightweight”),[object Object], (.append“Language”),[object Object], (.append“Tiger”),[object Object], (.append “2010”)),[object Object],コンパイル時に,[object Object],1つ目の式の結果を一時変数に束縛し、,[object Object],2つ目以降の式の2番目の要素に挿入した形で評価する,[object Object],(let[sb (StringBuilder.)],[object Object], (.appendsb“Lightweight”),[object Object], (.appendsb“Language”),[object Object], (.appendsb“Tiger”),[object Object], (.appendsb “2010”)),[object Object]

DSL,[object Object],(deflangs '("Perl" "PHP" "Python" "Ruby" "Clojure" "HTML5" "Scala")),[object Object],;; シーケンスから条件を満たすものをソート後、変換して返却するfrom構文,[object Object],(fromlang in langs,[object Object], where (.startsWithlang"P"),[object Object],orderby (countlang),[object Object], select (.toLowerCaselang)),[object Object],;; -> ("php" "perl" "python"),[object Object],langsの中から,[object Object],Pから始まるものを,[object Object],文字列長昇順で,[object Object],小文字に変換して,[object Object],取り出す,[object Object],元ネタ　http://www.slideshare.net/pcalcado/lisp-macros-in-20-minutes-featuring-clojure-presentation,[object Object]

DSL,[object Object],macro定義で実現,[object Object],(defmacro from [var _ coll _ condition _ ordering _ desired-map],[object Object], `(map (fn [~var] ~desired-map),[object Object], (sort-by (fn [~var] ~ordering),[object Object], (filter (fn [~var] ~condition) ~coll)))),[object Object]

DSL,[object Object],(fromlang in langs where (.startsWith lang "P"),[object Object], orderby (count lang) select (.toLowerCase lang)),[object Object],(defmacro from [var _ coll _ condition _ ordering _ desired-map],[object Object], `(map (fn [~var] ~desired-map),[object Object], (sort-by (fn [~var] ~ordering),[object Object], (filter (fn [~var] ~condition) ~coll)))),[object Object],macro expand,[object Object],(map (fn [lang] (.toLowerCase lang)),[object Object], (sort-by (fn [lang] (count lang)),[object Object], (filter (fn [lang] (.startsWith lang "P"))langs))),[object Object],langsの中から,[object Object],Pから始まるものを,[object Object],文字列長昇順で,[object Object],小文字に変換して取り出す,[object Object]

Program as Data,[object Object],プログラム自体がデータ構造なので、評価前に自由に操作できる,[object Object],式の途中に値を追加したり,[object Object],テンプレートを作って埋め込むとか,[object Object],定型処理を省ける,[object Object],DSLも簡単に作れる,[object Object]

Development,[object Object],Leiningen(http://github.com/technomancy/leiningen),[object Object],デファクトスタンダードなビルドツール,[object Object],ライブラリ(jar)の依存関係解決,[object Object],mavenベース,[object Object],Clojars(http://clojars.org/),[object Object],leiningenと相性の良いmavenレポジトリサイト,[object Object],leiningenで開発,[object Object],->Clojarsにjarをデプロイ,[object Object],->leiningenでClojarsから取得して使ってもらう,[object Object]

Clojure on GAE,[object Object],Blankプロジェクト,[object Object],http://github.com/making/clj-gae-blank,[object Object],$ git clone git://github.com/making/clj-gae-blank.git,[object Object],$ cdclj-gae-blank,[object Object],$ lein compile,[object Object],# 開発版サーバ起動,[object Object],$ dev_appserver war,[object Object]

Clojure on GAE,[object Object],逆引きClojure,[object Object],http://rd.clojure-users.org,[object Object]

Clojure on Android,[object Object],(defactivity Main,[object Object], (:create (.setContentView context R$layout/main),[object Object], (on-click (view-by-id R$id/about_button),[object Object], (start-activity About)),[object Object], (on-click (view-by-id R$id/public_timeline_button),[object Object], (start-activity PublicTimeline)))),[object Object],Activityの定義,[object Object],http://github.com/remvee/clj-android,[object Object]

Othre Products,[object Object],Ring (http://github.com/mmcgrana/ring),[object Object],Webアプリケーションの抽象層,[object Object],WSGI(Python)、Rack(Ruby)に相当するもの,[object Object],Compojure (http://github.com/weavejester/compojure),[object Object],Sinatra(Ruby)に似たWebアプリケーションフレームワーク,[object Object],Ring上に構成,[object Object],逆引きClojureで採用,[object Object],Incanter (http://incanter.org/),[object Object],統計/グラフ,[object Object],R言語風プラットフォーム,[object Object]

Community,[object Object],Clojure-Users (http://clojure-users.org),[object Object],Tokyo.clj,[object Object],月1回の勉強会/ハッカソン,[object Object],次回は8/28,[object Object],登録はここからhttp://twtvite.com/tokyoclj5,[object Object],clojure-ja(http://groups.google.co.jp/group/clojure-ja),[object Object],Clojureユーザー用日本語ML,[object Object],ChatonClojure(http://practical-scheme.net/chaton/clojure/),[object Object],Shiroさんが答えてくれる!,[object Object]

Next,[object Object],http://github.com/stuarthalloway/clojure-presentations/downloads,[object Object],Stuart HallowayによるClojure入門,[object Object],Clojureの重要なエッセンスが網羅,[object Object]

ご清聴ありがとうございました,[object Object]

Ll tiger clojure

Ll tiger clojure

Recommended

More Related Content

What's hot

What's hot(20)

Similar to Ll tiger clojure

Similar to Ll tiger clojure(20)

More from Toshiaki Maki

More from Toshiaki Maki(20)

Ll tiger clojure