Recomendados
Más contenido relacionado
Similar a Groovy++、来襲
Similar a Groovy++、来襲 (12)
Más de Takahiro Sugiura
Groovy++、来襲
- 2. 自己紹介 名前 : 杉浦孝博 twitter: @touchez_du_bois
- 3. はじめに 本日は、最近気になる OSS の Groovy++ に ついて、 ・ Groovy++ ってなに？ ・何ができるの？ ・ Groovy と何が違うの？ とかを語ってみたいと思います。
- 4. Groovy ってなに？ 最初に Groovy とはなにか？ Wikipedia 先生に聞いてみたいと思います。
- 5. Groovy ってなに？ Groovy は JVM 上で動作する言語処理系およ び言語の名称であり、 Java との直接的な連携 を特徴とする。 ( 略 )Groovy は動的な言語で あり、 ( 略 )Groovy コードは内部的には Java バイトコードに変換されて JVM 上で実 行される。 ( 略 )
- 6. 動的な言語 Wikipedia 先生によると、コンパイル時に行 うことを実行時に行う高級プログラミング言 語 ・コードの追加 ・オブジェクトや定義の拡張 ・型システムの変更によるプログラムの拡張
- 7. 動的な言語のよい点 いろいろとありますが・・・ ・型を書かなくてもよい ( 書く箇所が減る ) ・コンパイルしないで、すぐ実行できる
- 10. Groovy の残念な点 実行速度については・・・ ・ GroovyServ で起動時間は改善できます !! ・その他は Java 化で高速に！！ ...(^_^;)
- 11. Groovy の残念な点 コンパイルエラー的なエラーについて は・・・ ・ IDE でどうにかなる？
- 13. Groovy++ ってなに？ Groovy++ とは、 ・ Groovy を静的型付けする拡張機能です。
- 14. Groovy++ ってなに？ つまり、 ・静的な型付けにより、 Groovy が持つ動的 言語の残念な点をある程度改善します。
- 16. Groovy++ ってなに？ こんなものも ・ Trait ・ GrUnit ・ Tail Recursion
- 17. Groovy++ ってなに？ 今回はパスします。 ・ Trait ・ GrUnit ・ Tail Recursion
- 21. さっそく使ってみよう 展開して、環境変数 GROOVY_HOME と PATH を設定します。 ・ export GROOVY_HOME=/opt/groovypp-0.4.101 ・ export PATH=${GROOVY_HOME}/bin:${PATH}
- 22. さっそく使ってみよう groovy コマンドでスクリプトを実行します。 $ groovy < スクリプトファイル名 >
- 24. さっそく使ってみよう 通常の Groovy プログラム package sample println "Hello, World!"
- 25. さっそく使ってみよう Groovy++ 化 @Typed package sample println "Hello, World!"
- 28. どれくらい速くなるの？ サンプルのクイックソート ・ Groovy : 284.758 秒
- 29. どれくらい速くなるの？ サンプルのクイックソート ・ Groovy : 284.758 秒 ・ Groovy++ : 3.387 秒 (※@Typed を付けただけ )
- 30. どれくらい速くなるの？ サンプルのクイックソート ・ Groovy : 284.758 秒 ・ Groovy++ : 3.387 秒 (※@Typed を付けただけ ) ・ Java : 2.394 秒
- 31. どれくらい速くなるの？
- 33. どうなってるの？ Groovy のコードからバイトコードに変換され るときに、「 AST(Abstract Syntax Tree) 変 換」を使って、静的に型解決されたバイト コードを生成します。
- 34. どうなってるの？ groovyc コマンドで Groovy コードをバイト コードに変換し、 jad で生成されるバイト コードを見てみましょう。
- 35. どうなってるの？ クイックソートのメインとなるメソッドです。 def quicksort(int[] a, int L, int R) { int m = a[(L+R) >> 1] int i=L int j=R while (i<=j) { while (a[i]<m) i++ while (a[j]>m) j-- if (i<=j) { swap(a, i, j) i++ j-- } } if (L<j) quicksort(a,L,j) if (R>i) quicksort(a,i,R) }
- 36. どうなってるの？ @Typed 付けない場合です。 public Object quicksort(int a[], int L, int R) { CallSite acallsite[] = $getCallSiteArray(); Integer m = (Integer)ScriptBytecodeAdapter.castToType(acallsite[19].call(a, acallsite[20].call(acallsite[21].call(DefaultTypeTransformation.box(L), DefaultTypeTransformation.box(R)), $const$3)), $get$$class$java$lang$Integer()); Integer i = (Integer)ScriptBytecodeAdapter.castToType(DefaultTypeTransformation.box(L), $get$$class$java$lang$Integer()); Integer j = (Integer)ScriptBytecodeAdapter.castToType(DefaultTypeTransformation.box(R), $get$$class$java$lang$Integer()); do { if(!ScriptBytecodeAdapter.compareLessThanEqual(i, j)) break; while(ScriptBytecodeAdapter.compareLessThan(acallsite[22].call(a, i), m)) { Integer integer = i; i = ((Integer) (acallsite[23].call(i))); Integer _tmp = integer; } while(ScriptBytecodeAdapter.compareGreaterThan(acallsite[24].call(a, j), m)) { Integer integer1 = j; j = ((Integer) (acallsite[25].call(j))); Integer _tmp1 = integer1; } if(ScriptBytecodeAdapter.compareLessThanEqual(i, j)) { acallsite[26].callCurrent(this, a, i, j); Integer integer2 = i; i = ((Integer) (acallsite[27].call(i))); Integer _tmp2 = integer2; integer2 = j; j = ((Integer) (acallsite[28].call(j))); Integer _tmp3 = integer2; } } while(true); if(ScriptBytecodeAdapter.compareLessThan(DefaultTypeTransformation.box(L), j)) acallsite[29].callCurrent(this, a, DefaultTypeTransformation.box(L), j); if(ScriptBytecodeAdapter.compareGreaterThan(DefaultTypeTransformation.box(R), i)) return acallsite[30].callCurrent(this, a, i, DefaultTypeTransformation.box(R)); else return null; }
- 37. どうなってるの？ @Typed 付けた場合です。 public Object quicksort(int a[], int L, int R) { do { int m = ArraysMethods.getAt(a, L + R >> 1); int i = L; int j = R; do { if(i > j) break; for(; ArraysMethods.getAt(a, i) < m; i++); for(; ArraysMethods.getAt(a, j) > m; j--); if(i <= j) { swap(a, i, j); i++; j--; } } while(true); if(L < j) quicksort(a, L, j); if(R > i) { R = R; L = i; a = a; this = this; } else { return null; } } while(true); }
- 39. 明日から Groovy のコードに @Typed を付けまくる ぞ！！
- 40. でも
- 41. そう簡単にはいきません
- 47. @Typed を付けられる位置 以下のコードは、 @Typed println "Hello, World!"
- 48. @Typed を付けられる位置 コンパイルエラーになります。 org.codehaus.groovy.control.MultipleCompilationErrorsExceptio n: startup failed: C:Sampleex01.groovy: 3: unexpected token: println @ line 3, column 1. println "Hello, World!" ^ 1 error
- 49. @Typed を付けられる位置 動かすためには、 package を指定します。 @Typed package example println "Hello, World!"
- 51. コンパイル時にエラー Groovy は実行時にエラーになります。 Caught: groovy.lang.MissingMethodException: No signature of method: java.lang.String.toStrings() is applicable for argument types: () values: [] Possible solutions: toString(), toString(), toString(), contains(java.lang.CharSequence), contains(java.lang.String), substring(int) at example.ex02.run(ex02.groovy:4)
- 52. コンパイル時にエラー Groovy++ はバイトコード変換時 ( コンパイ ル時 ) にエラーになります。 org.codehaus.groovy.control.MultipleCompilationErrorsException: startup failed: C:Sampleex02.groovy: 4: Cannot find method String.toStrings() @ line 4, column 17. "Hello, World!".toStrings() ^ 1 error
- 53. 実行時に解決するものは Groovy では問題なく動きますが、 package example String.metaClass.p = { println "${delegate.size()} : ${delegate}" } "Hello, World!".p()
- 54. 実行時に解決するものは Groovy++ では @Typed package example String.metaClass.p = { println "${delegate.size()} : ${delegate}" } "Hello, World!".p()
- 55. 実行時に解決するものは コンパイルエラーになります。 org.codehaus.groovy.control.MultipleCompilationErrorsExceptio n: startup failed: C:Sampleex03.groovy: 5: Cannot find property p of class MetaClass @ line 5, column 18. String.metaClass.p = { ^ 1 error
- 56. 実行時に解決するものは 解決方法は、 @Typed を付けない か、 @Typed(TypePolicy.MIXED) を付けます。 @Typed(TypePolicy.MIXED) package example String.metaClass.p = { println "${delegate.size()} : ${delegate}" } "Hello, World!".p()
- 57. 実行時に解決するものは 指定できる TypePolicy は、以下のとおり ・ STATIC( 単に「 @Typed 」とした場合と同じ ) ・ DYNAMIC(@Typed を付けない場合と同じ ) ・ MIXED( 静的 / 動的を塩梅良くやってくれる )
- 58. アクセス修飾子 Groovy では private のプロパティ・メソッドもア クセスできます。 package example class Person { private String name private int age public Person(String name, int age) { this.name = name this.age = age } private dump() { println "name = ${name}, age = ${age}" } } def p = new Person("Mike", 25) p.dump()
- 59. アクセス修飾子 Groovy++ では @Typed package example class Person { private String name private int age public Person(String name, int age) { this.name = name this.age = age } private dump() { println "name = ${name}, age = ${age}" } } def p = new Person("Mike", 25) p.dump()
- 60. アクセス修飾子 Groovy++ ではエラーになります。 org.codehaus.groovy.control.MultipleCompilationErrorsExceptio n: startup failed: C:Sampleex04.groovy: 19: Cannot access method Person.dump() @ line 19, column 3. p.dump() ^ 1 error
- 61. クロージャと final 修飾子 Groovy では package example def evenNum(List list) { def x = 0 list.each { int it -> if (it % 2 == 0) { x++ } } return x } println evenNum([1, 2, 3, 4, 5])
- 62. クロージャと final 修飾子 Groovy では正常に動作します。 $ groovy ex05.groovy 2
- 63. クロージャと final 修飾子 Groovy++ では @Typed package example def evenNum(List list) { def x = 0 list.each { int it -> if (it % 2 == 0) { x++ } } return x } println evenNum([1, 2, 3, 4, 5])
- 64. クロージャと final 修飾子 Groovy++ ではコンパイルエラーになりま す。 org.codehaus.groovy.control.MultipleCompilationErrorsExceptio n: startup failed: C:Sampleex05.groovy: 8: Cannot modify final field example.ex05$evenNum$1.x @ line 8, column 13. x++ ^ 1 error
- 65. クロージャと final 修飾子 ロジックを変更するか @Typed package example def evenNum(List list) { return list.findAll({ int it -> it % 2 == 0}).size() } println evenNum([1, 2, 3, 4, 5])
- 66. クロージャと final 修飾子 groovy.lang.Reference を使っても解決できます。 @Typed package example int evenNum(List list) { Reference x = [0] list.each { int it -> if (it % 2 == 0) { x++ } } return x } println evenNum([1, 2, 3, 4, 5])
- 67. 整数同士の割り算 整数同士の割り算ですが、 package example println((4 / 2).class)
- 68. 整数同士の割り算 Groovy では、 BigDecimal になります。 $ groovy ex06.groovy class java.math.BigDecimal
- 69. 整数同士の割り算 Groovy++ では、 int になります。 0.4.96 から 0.4.101 のどこか で、 BigDecimal となりました。 $ groovy ex06.groovy class java.math.BigDecimal
- 70. 整数同士の割り算 次のソースは、 package example println(4 / 2) println(5 / 2)
- 74. 型推論 例えばこのコード @Typed package example def x = new Date() println x + 1
- 75. 型推論 groovyc でコンパイルし、 jad でバイトコー ドから Java のソースに戻すと・・・
- 76. 型推論 となります。 ( 省略 ) public Object run() { Object x = new Date(); println(DateGroovyMethods.plus(((Date) (x)), 1)); return null; } ( 省略 )
- 77. 型推論 def ではなく Date で宣言すれば・・・ @Typed package example Date x = new Date() println x + 1
- 78. 型推論 となります。 ( 省略 ) public Object run() { Date x = new Date(); println(DateGroovyMethods.plus(x, 1)); return null; } ( 省略 )
- 79. 他の G* なプロダクトと一緒 他の G* なプロダクトと Groovy++ を一緒に 使えるのか？
- 80. 他の G* なプロダクトと一緒 Griffon と Groovy++ ・試していません m(_ _)m
- 81. 他の G* なプロダクトと一緒 Grails と Groovy++ ・ Grails プラグインが提供されています。
- 82. 他の G* なプロダクトと一緒 Grails と Groovy++ ・ダウンロードページからプラグインをダウ ンロードし、 install-plugin コマンドでインス トールします。 $ grails install-plugin /path/to/grails-groovy-plus-plus- 0.4.101.zip
- 83. 他の G* なプロダクトと一緒 Grails と Groovy++ ・ Grails 1.3.6 + Groovy++ プラグイン 0.4.101 ・ generate-all で生成した Controller クラスに @Typed を付けるとどうなるか？ ・ create-xxx で生成した Domain Class や Service クラスに @Typed を付けるとどうなるか？
- 84. 他の G* なプロダクトと一緒 Grails と Groovy++ ・作成した Controller クラスや Service クラス に、 @Typed(TypePolicy=MIXED) を付けます。 ・ @Typed だと、 redirect メソッドや render メ ソッドでコンパイルエラーになります。
- 85. 他の G* なプロダクトと一緒 Grails と Groovy++ ・ Domain Class の場 合、 @Typed(TypePolicy=MIXED) でも、 @Type でも、 constraints でエラーになります ...orz
- 86. まとめ
- 87. まとめ ・ Groovy++ は、 Groovy を静的に型付する 拡張機能です。
- 88. まとめ ・ Groovy++ は、 Groovy を静的に型付する 拡張機能です。 ・基本的に @Typed を付けるだけです。
- 89. まとめ ・ Groovy++ は、 Groovy を静的に型付する 拡張機能です。 ・基本的に @Typed を付けるだけです。 ・でも「錬金術」なので、 Groovy との違い に気をつけてください。
- 90. 発表は以上です。