Upgrade to Pro — share decks privately, control downloads, hide ads and more …

Les nouveautés de Groovy 2

Les nouveautés de Groovy 2

Fort de ses 1.7 millions de téléchargements l'an passé, Groovy continue son bonhomme de chemin en tête parmi les langages de programmation alternatifs pour la JVM.
Groovy 2.0, sorti l'an passé, introduisait dans son offre de la modularité, le support de JDK 7 au niveau syntaxique avec "Project Coin" autant qu'au niveau JVM avec l'utilisation d'"invoke dynamic", et proposait des fonctionnalités de typage et de compilation statique.
Groovy 2.1, quant à lui, s'appuie sur ces bases pour compléter le support d'"invoke dynamic" pour plus de performances. Il propose des améliorations permettant de documenter, d'aider les IDEs, et de vérifier statiquement les Domain-Specific Languages construits avec Groovy. Vous pourrez créer des méta-annotations regroupant d'autres annotations, pour éviter l'annotation "hell". Et enfin, vous irez encore plus loin dans la customisation du compilateur !
Accrochez votre ceinture, paré au décollage !

Guillaume Laforge

April 25, 2013
Tweet

More Decks by Guillaume Laforge

Other Decks in Programming

Transcript

  1. Les nouveautés
    de Groovy 2
    Guillaume Laforge
    Groovy Project Manager
    SpringSource / VMware

    View full-size slide

  2. Guillaume Laforge
    @glaforge 
    http://glaforge.appspot.com 
    http://gplus.to/glaforge 

    View full-size slide

  3. Langage dynamique
    optionnellement typé
    Groovy

    View full-size slide

  4. ...statiquement vérifié
    et compilé
    Groovy

    View full-size slide

  5. syntaxe dérivant de Java :
    facile à apprendre !
    Groovy

    View full-size slide

  6. 1.7 million
    downloads

    View full-size slide

  7. A blossoming
    Ecosystem

    View full-size slide

  8. GVM
    GROOVY
    ENVIRONMENT
    MANAGER

    View full-size slide

  9. GVM: Groovy enVironment Manager
    • Nouveau venu dans la communauté
    • http://gvmtool.net/ — @gvmtool
    • Gérer les versions parallèles de différents
    projets de l’écosystème
    • Supporte...
    • Groovy, Grails, Griffon, Gradle, Vert.x
    • Sur Linux, MacOS, Cygwin, Solaris, FreeBSD

    View full-size slide

  10. Commençons
    par Groovy 2.0
    Modularity
    Java 7: Project Coin & invoke dynamic
    Static type checking & compilation

    View full-size slide

  11. Modularité
    « Tout le monde n’a pas besoin de tout,
    tout le temps, en même temps ! »

    View full-size slide

  12. La modularité de Groovy
    • Le JAR « groovy-all » de... 6 Mo !
    • En plus du langage, des APIs :
    • moteur de template, scripting the tâches Ant,
    construction d’interfaces Swing...
    • Proposer un coeur plus léger
    • et des modules par API
    • Brancher des méthodes d’extension

    View full-size slide

  13. Les nouveaux JARs
    • Un JAR principal plus petit 3 Mo
    • Modules
    – console
    – docgenerator
    – groovydoc
    – groovysh
    – ant
    – bsf
    – jsr-223
    – jmx
    – sql
    – swing
    – servlet
    – templates
    – test
    – testng
    – json
    – xml

    View full-size slide

  14. Les nouveaux JARs
    • Un JAR principal plus petit 3 Mo
    • Modules
    – console
    – docgenerator
    – groovydoc
    – groovysh
    – ant
    – bsf
    – jsr-223
    – jmx
    – sql
    – swing
    – servlet
    – templates
    – test
    – testng
    – json
    – xml

    View full-size slide

  15. « Fais ton
    marché »

    View full-size slide

  16. Les modules d’extension
    • Créer sa propre extension
    • contribuer des méthodes d’instance
    package  foo
    class  StringExtension  {
           static  introduces(String  self,  String  name)  {
                   "Hi  ${name),  I’m  ${self}"
           }
    }
    //  usage:  "Guillaume".introduces("Cédric")

    View full-size slide

  17. Les modules d’extension
    • Créer sa propre extension
    • contribuer des méthodes d’instance
    package  foo
    class  StringExtension  {
           static  introduces(String  self,  String  name)  {
                   "Hi  ${name),  I’m  ${self}"
           }
    }
    //  usage:  "Guillaume".introduces("Cédric")
    Même structure
    que les catégories

    View full-size slide

  18. Les modules d’extension
    • Créer sa propre extension
    • contribuer des méthodes statiques
    package  foo
    class  StaticStringExtension  {
           static  hi(String  self)  {
                   "Hi!"
           }
    }
    //  usage:  String.hi()

    View full-size slide

  19. Descripteur des modules d’extension
    • META-INF/
    • services/
    • org.codehaus.groovy.runtime.ExtensionModule
    moduleName  =  stringExtensions
    moduleVersion  =  1.0
    //  liste  de  noms  de  classe  séparées  par  des  virgules
    extensionClasses  =  foo.StringExtension
    //  liste  de  noms  de  classe  séparées  par  des  virgules
    staticExtensionClasses  =  foo.StaticStringExtension

    View full-size slide

  20. Thème Java 7
    Syntaxe de « Project Coin »
    Support d’invoke dynamic

    View full-size slide

  21. Une histoire de
    canard...

    View full-size slide

  22. Littéraux binaires
    • En plus de décimal, octal, et héxa...
    • On a une représentation binaire :
    int  x  =  0b10101111
    assert  x  ==  175
     
    byte  aByte  =  0b00100001
    assert  aByte  ==  33
     
    int  anInt  =  0b1010000101000101
    assert  anInt  ==  41285

    View full-size slide

  23. Les « underscores » dans les littéraux
    • Utilisation des « underscores » pour séparer
    les unités au choix
    long  creditCardNumber  =  1234_5678_9012_3456L
    long  socialSecurityNumbers  =  999_99_9999L
    float  monetaryAmount  =  12_345_132.12
    long  hexBytes  =  0xFF_EC_DE_5E
    long  hexWords  =  0xFFEC_DE5E
    long  maxLong  =  0x7fff_ffff_ffff_ffffL
    long  alsoMaxLong  =  9_223_372_036_854_775_807L
    long  bytes  =  0b11010010_01101001_10010100_10010010

    View full-size slide

  24. Catch d’exceptions multiples
    • Un seul bloc catch pour plusieurs
    exceptions, plutôt que dupliquer les blocs
    try  {
           /*  ...  */
    }  catch(IOException  |  NullPointerException  e)  {
           /*  un  seul  bloc  */
    }

    View full-size slide

  25. Support d’invoke dynamic de JDK 7
    • Nouveau « flag » pour compiler avec « indy »
    • on proposera peut-être un backport (pour JDK < 7)
    • Avantages
    • plus de performance à l’exécution
    • en théorie...
    • Sur le long terme, on pourra remplacer
    • « call site caching » ➔ MethodHandles
    • « metaclass registry » ➔ ClassValues
    • et le JIT « inlinera » plus facilement le code

    View full-size slide

  26. Thème « statique »
    Vérification statique de type
    Compilation statique

    View full-size slide

  27. Vérification statiques de type
    • But : rendre le compilateur « grincheux » !
    • jeter des erreurs à la compilation
    • et non pas au runtime !

    View full-size slide

  28. Tout le monde n’a pas
    besoin de dynamique
    tout le temps !

    View full-size slide

  29. Tout le monde n’a pas
    besoin de dynamique
    tout le temps !
    Nah !

    View full-size slide

  30. Vérification statique de type
    • Le compilateur grincheux souhaite...
    • dire quand il y a une faute de frappe
    dans le nom d’une méthode ou d’une variable
    • râler quand on appelle une méthode
    inexistante
    • ou quand on fait de mauvaises
    affectations ou utilise un
    mauvais type de retour

    View full-size slide

  31. Vérification statique de type
    • Le compilateur doit inférer les types...
    • moins besoin de types explicites et de casts
    • inférence fine
    • « flow typing »
    • « lowest upper bound »

    View full-size slide

  32. Vérification statique de type
    • Mais le compilateur doit comprendre les
    méthodes d’extension de Groovy
    • permet d’avoir un bon niveau de dynamisme
    malgré les restrictions supplémentaires

    View full-size slide

  33. Fautes de frappe
    import  groovy.transform.TypeChecked
     
    void  method()  {}
     
    @TypeChecked  test()  {
           //  Cannot  find  matching  method  metthhoood()
           metthhoood()
     
           def  name  =  "Guillaume"
           //  variable  naamme  is  undeclared
           println  naamme
    }

    View full-size slide

  34. Fautes de frappe
    import  groovy.transform.TypeChecked
     
    void  method()  {}
     
    @TypeChecked  test()  {
           //  Cannot  find  matching  method  metthhoood()
           metthhoood()
     
           def  name  =  "Guillaume"
           //  variable  naamme  is  undeclared
           println  naamme
    }
    Erreur de
    compilation

    View full-size slide

  35. Fautes de frappe
    import  groovy.transform.TypeChecked
     
    void  method()  {}
     
    @TypeChecked  test()  {
           //  Cannot  find  matching  method  metthhoood()
           metthhoood()
     
           def  name  =  "Guillaume"
           //  variable  naamme  is  undeclared
           println  naamme
    }
    Erreur de
    compilation
    Erreur de
    compilation

    View full-size slide

  36. Fautes de frappe
    import  groovy.transform.TypeChecked
     
    void  method()  {}
     
    @TypeChecked  test()  {
           //  Cannot  find  matching  method  metthhoood()
           metthhoood()
     
           def  name  =  "Guillaume"
           //  variable  naamme  is  undeclared
           println  naamme
    }
    Erreur de
    compilation
    Erreur de
    compilation
    Annotation niveau
    classe ou méthode

    View full-size slide

  37. Mauvaises affectations de variable
    //  cannot  assign  value  of  type...  to  variable...
    int  x  =  new  Object()
    Set  set  =  new  Object()
     
    String[]  strings  =  ['a','b','c']
    int  str  =  strings[0]
     
    //  cannot  find  matching  method  plus()
    int  i  =  0
    i  +=  '1'

    View full-size slide

  38. Mauvaises affectations de variable
    //  cannot  assign  value  of  type...  to  variable...
    int  x  =  new  Object()
    Set  set  =  new  Object()
     
    String[]  strings  =  ['a','b','c']
    int  str  =  strings[0]
     
    //  cannot  find  matching  method  plus()
    int  i  =  0
    i  +=  '1'
    Erreurs de
    compilation

    View full-size slide

  39. Mauvaises affectations de variable
    //  cannot  assign  value  of  type...  to  variable...
    int  x  =  new  Object()
    Set  set  =  new  Object()
     
    String[]  strings  =  ['a','b','c']
    int  str  =  strings[0]
     
    //  cannot  find  matching  method  plus()
    int  i  =  0
    i  +=  '1'
    Erreurs de
    compilation
    Erreurs de
    compilation

    View full-size slide

  40. Mauvaises affectations de variable
    //  cannot  assign  value  of  type...  to  variable...
    int  x  =  new  Object()
    Set  set  =  new  Object()
     
    String[]  strings  =  ['a','b','c']
    int  str  =  strings[0]
     
    //  cannot  find  matching  method  plus()
    int  i  =  0
    i  +=  '1'
    Erreurs de
    compilation
    Erreurs de
    compilation
    Erreurs de
    compilation

    View full-size slide

  41. Mauvais type de retour
    //  checks  if/else  branch  return  values
    @TypeChecked
    int  method()  {
           if  (true)  {  'String'  }
           else  {  42  }
    }
    //  works  for  switch/case  &  try/catch/finally
     
    //  transparent  toString()  implied
    @TypeChecked
    String  greeting(String  name)  {
           def  sb  =  new  StringBuilder()
           sb  <<  "Hi  "  <<  name
    }

    View full-size slide

  42. Mauvais type de retour
    //  checks  if/else  branch  return  values
    @TypeChecked
    int  method()  {
           if  (true)  {  'String'  }
           else  {  42  }
    }
    //  works  for  switch/case  &  try/catch/finally
     
    //  transparent  toString()  implied
    @TypeChecked
    String  greeting(String  name)  {
           def  sb  =  new  StringBuilder()
           sb  <<  "Hi  "  <<  name
    }
    Erreur de
    compilation

    View full-size slide

  43. Mauvais type de retour
    //  checks  if/else  branch  return  values
    @TypeChecked
    int  method()  {
           if  (true)  {  'String'  }
           else  {  42  }
    }
    //  works  for  switch/case  &  try/catch/finally
     
    //  transparent  toString()  implied
    @TypeChecked
    String  greeting(String  name)  {
           def  sb  =  new  StringBuilder()
           sb  <<  "Hi  "  <<  name
    }
    Erreur de
    compilation
    Au final, appèle le
    toString() de
    StringBuilder

    View full-size slide

  44. Inférence de type
    @TypeChecked  test()  {
           def  name  =  "    Guillaume    "
     
           //  String  type  infered  (even  inside  GString)
           println  "NAME  =  ${name.toUpperCase()}"  
     
           //  Groovy  GDK  method  support
           //  (GDK  operator  overloading  too)
           println  name.trim()
     
           int[]  numbers  =  [1,  2,  3]
           //  Element  n  is  an  int
           for  (int  n  in  numbers)  {
                   println  n
           }
    }

    View full-size slide

  45. Inférence de type
    @TypeChecked  test()  {
           def  name  =  "    Guillaume    "
     
           //  String  type  infered  (even  inside  GString)
           println  "NAME  =  ${name.toUpperCase()}"  
     
           //  Groovy  GDK  method  support
           //  (GDK  operator  overloading  too)
           println  name.trim()
     
           int[]  numbers  =  [1,  2,  3]
           //  Element  n  is  an  int
           for  (int  n  in  numbers)  {
                   println  n
           }
    }
    Variable
    optionnellement typée

    View full-size slide

  46. Inférence de type
    @TypeChecked  test()  {
           def  name  =  "    Guillaume    "
     
           //  String  type  infered  (even  inside  GString)
           println  "NAME  =  ${name.toUpperCase()}"  
     
           //  Groovy  GDK  method  support
           //  (GDK  operator  overloading  too)
           println  name.trim()
     
           int[]  numbers  =  [1,  2,  3]
           //  Element  n  is  an  int
           for  (int  n  in  numbers)  {
                   println  n
           }
    }
    Variable
    optionnellement typée
    Type String inféré

    View full-size slide

  47. Inférence de type
    @TypeChecked  test()  {
           def  name  =  "    Guillaume    "
     
           //  String  type  infered  (even  inside  GString)
           println  "NAME  =  ${name.toUpperCase()}"  
     
           //  Groovy  GDK  method  support
           //  (GDK  operator  overloading  too)
           println  name.trim()
     
           int[]  numbers  =  [1,  2,  3]
           //  Element  n  is  an  int
           for  (int  n  in  numbers)  {
                   println  n
           }
    }
    Variable
    optionnellement typée
    Méthode trim() ajoutée
    dynamiquement par Groovy
    Type String inféré

    View full-size slide

  48. Inférence de type
    @TypeChecked  test()  {
           def  name  =  "    Guillaume    "
     
           //  String  type  infered  (even  inside  GString)
           println  "NAME  =  ${name.toUpperCase()}"  
     
           //  Groovy  GDK  method  support
           //  (GDK  operator  overloading  too)
           println  name.trim()
     
           int[]  numbers  =  [1,  2,  3]
           //  Element  n  is  an  int
           for  (int  n  in  numbers)  {
                   println  n
           }
    }
    Variable
    optionnellement typée
    Type des éléments
    d’un tableau inféré
    Méthode trim() ajoutée
    dynamiquement par Groovy
    Type String inféré

    View full-size slide

  49. Mélanger dynamique et statiquement vérifié
    @TypeChecked
    String  greeting(String  name)  {
           //  call  method  with  dynamic  behavior
           //  but  with  proper  signature
           generateMarkup(name.toUpperCase())
    }
     
    //  usual  dynamic  behavior
    String  generateMarkup(String  name)  {
           def  sw  =  new  StringWriter()
           new  MarkupBuilder(sw).html  {
                   body  {
                           div  name
                   }
           }
           sw.toString()
    }

    View full-size slide

  50. Mélanger dynamique et statiquement vérifié
    @TypeChecked
    String  greeting(String  name)  {
           //  call  method  with  dynamic  behavior
           //  but  with  proper  signature
           generateMarkup(name.toUpperCase())
    }
     
    //  usual  dynamic  behavior
    String  generateMarkup(String  name)  {
           def  sw  =  new  StringWriter()
           new  MarkupBuilder(sw).html  {
                   body  {
                           div  name
                   }
           }
           sw.toString()
    }
    Statiquement vérifié

    View full-size slide

  51. Mélanger dynamique et statiquement vérifié
    @TypeChecked
    String  greeting(String  name)  {
           //  call  method  with  dynamic  behavior
           //  but  with  proper  signature
           generateMarkup(name.toUpperCase())
    }
     
    //  usual  dynamic  behavior
    String  generateMarkup(String  name)  {
           def  sw  =  new  StringWriter()
           new  MarkupBuilder(sw).html  {
                   body  {
                           div  name
                   }
           }
           sw.toString()
    }
    Statiquement vérifié
    Dynamique

    View full-size slide

  52. Vérifications par instanceof
    @TypeChecked  
    void  test(Object  val)  {
           if  (val  instanceof  String)  {
                   println  val.toUpperCase()
           }  else  if  (val  instanceof  Number)  {
                   println  "X"  *  val.intValue()
           }
    }

    View full-size slide

  53. Vérifications par instanceof
    @TypeChecked  
    void  test(Object  val)  {
           if  (val  instanceof  String)  {
                   println  val.toUpperCase()
           }  else  if  (val  instanceof  Number)  {
                   println  "X"  *  val.intValue()
           }
    }
    Pas besoin
    de cast

    View full-size slide

  54. Vérifications par instanceof
    @TypeChecked  
    void  test(Object  val)  {
           if  (val  instanceof  String)  {
                   println  val.toUpperCase()
           }  else  if  (val  instanceof  Number)  {
                   println  "X"  *  val.intValue()
           }
    }
    Pas besoin
    de cast
    Pas besoin
    de cast

    View full-size slide

  55. Vérifications par instanceof
    @TypeChecked  
    void  test(Object  val)  {
           if  (val  instanceof  String)  {
                   println  val.toUpperCase()
           }  else  if  (val  instanceof  Number)  {
                   println  "X"  *  val.intValue()
           }
    }
    Pas besoin
    de cast
    Pas besoin
    de cast
    Comprends la méthode du
    GDK : String#multuply(int)

    View full-size slide

  56. Lowest Upper Bound
    • Le plus petit « super » type commun
    • peut-être virtuel (« non-dénotable »)
    @TypeChecked  test()  {
           //  an  integer  and  a  BigDecimal
           return  [1234,  3.14]
    }

    View full-size slide

  57. Lowest Upper Bound
    • Le plus petit « super » type commun
    • peut-être virtuel (« non-dénotable »)
    @TypeChecked  test()  {
           //  an  integer  and  a  BigDecimal
           return  [1234,  3.14]
    }
    Type inféré :
    List

    View full-size slide

  58. Flow typing
    • La vérification statique « suit » le type des
    valeurs assignées dans les variables
    @TypeChecked  test()  {
           def  var  =  123                  //  int  inferé
           int  x  =  var                      //  var  est  un  int
           var  =  "123"                      //  assigne  une  String  dans  var
           x  =  var.toInteger()      //  pas  besoin  de  cast
           var  =  123
           x  =  var.toUpperCase()  //  erreur,  var  est  un  int  !
    }

    View full-size slide

  59. Pô très clean ton code,
    non mais allô quoi ?

    View full-size slide

  60. Pô très clean ton code,
    non mais allô quoi ?
    Ben non !

    View full-size slide

  61. Vérification statique et code dynamique
    • La vérification statique à la compilation
    • @TypeChecked ne change pas le comportement
    • ne pas confondre avec compilation statique
    • La plupart des fonctionnalités dynamiques
    ne peuvent être vérifiées
    • changement de métaclasse, catégories...
    • variables dynamiques dans le « script binding »
    • Mais métaprogrammation compile-time OK
    • si suffisamment d’informations de type

    View full-size slide

  62. Pas de métaprogrammation dynamique
    @TypeChecked  
    void  test()  {
           Integer.metaClass.foo  =  {}
           123.foo()
    }

    View full-size slide

  63. Pas de métaprogrammation dynamique
    @TypeChecked  
    void  test()  {
           Integer.metaClass.foo  =  {}
           123.foo()
    }
    Accès au champ
    dynamique
    metaClass interdit

    View full-size slide

  64. Pas de métaprogrammation dynamique
    @TypeChecked  
    void  test()  {
           Integer.metaClass.foo  =  {}
           123.foo()
    }
    Accès au champ
    dynamique
    metaClass interdit
    Méthode non
    reconnue

    View full-size slide

  65. Type explicite pour les paramètres de closure
    @TypeChecked  test()  {
           ["a",  "b",  "c"].collect  {
                   it.toUpperCase()  //  Pas  d’accord  !
           }
    }

    View full-size slide

  66. Type explicite pour les paramètres de closure
    @TypeChecked  test()  {
           ["a",  "b",  "c"].collect  {  String  it  -­‐>
                   it.toUpperCase()  //  OK,  une  String
           }
    }

    View full-size slide

  67. Type explicite pour les paramètres de closure
    @TypeChecked  test()  {
           ["a",  "b",  "c"].collect  {  String  it  -­‐>
                   it.toUpperCase()  //  OK,  une  String
           }
    }
    Obligé d’indiquer le
    type explicitement

    View full-size slide

  68. Type explicite pour les paramètres de closure
    @TypeChecked  test()  {
           ["a",  "b",  "c"].collect  {  String  it  -­‐>
                   it.toUpperCase()  //  OK,  une  String
           }
    }
    Obligé d’indiquer le
    type explicitement
    La liste peut
    contenir n’importe
    quoi à l’exécution !

    View full-size slide

  69. Mais si c’est pô dynamique,
    on peut compiler
    statiquement ?

    View full-size slide

  70. Mais si c’est pô dynamique,
    on peut compiler
    statiquement ?
    Ben oui !

    View full-size slide

  71. Compilation statique
    • Etant donné que le code est vérifié, que l’on
    infère beaucoup d’information de type...
    on peut aussi bien compiler statiquement !
    • càd générer le même bytecode que javac
    • Aussi intéressant pour ceux qui sont bloqués
    en JDK < 7, pour bénéficier d’améliorations
    de performances

    View full-size slide

  72. Avantages de la compilation statique
    • On gagne :
    • de la « type safety »
    • grâce à la vérification statique
    • car la compilation statique s’appuie dessus
    • du code plus rapide
    • aussi proche que la performance de Java
    • du code immunisé contre le « monkey patching »
    • la métaprogrammation dynamique peut
    interférer avec vos frameworks
    • du bytecode généré plus petit

    View full-size slide

  73. Ouais, ch’fais
    c’que j’veux
    avec ton code

    View full-size slide

  74. Ouais, ch’fais
    c’que j’veux
    avec ton code
    Niark !

    View full-size slide

  75. Inconvénients de la compilation statique
    • On y perds...
    • Certaines fonctionnalités dynamiques
    • changement de métaclasse, catégories
    • Le « dynamic dispatch » de méthode peut différer
    • même si grâce à l’inférence de type, elle est aussi
    proche de Groovy « classique » que possible

    View full-size slide

  76. Mixer compilation statique et code dynamique
    @CompileStatic
    String  greeting(String  name)  {
           //  call  method  with  dynamic  behavior
           //  but  with  proper  signature
           generateMarkup(name.toUpperCase())
    }
     
    //  usual  dynamic  behavior
    String  generateMarkup(String  name)  {
           def  sw  =  new  StringWriter()
           new  MarkupBuilder(sw).html  {
                   body  {
                           div  name
                   }
           }
           sw.toString()
    }

    View full-size slide

  77. Mixer compilation statique et code dynamique
    @CompileStatic
    String  greeting(String  name)  {
           //  call  method  with  dynamic  behavior
           //  but  with  proper  signature
           generateMarkup(name.toUpperCase())
    }
     
    //  usual  dynamic  behavior
    String  generateMarkup(String  name)  {
           def  sw  =  new  StringWriter()
           new  MarkupBuilder(sw).html  {
                   body  {
                           div  name
                   }
           }
           sw.toString()
    }
    Statiquement compilé

    View full-size slide

  78. Mixer compilation statique et code dynamique
    @CompileStatic
    String  greeting(String  name)  {
           //  call  method  with  dynamic  behavior
           //  but  with  proper  signature
           generateMarkup(name.toUpperCase())
    }
     
    //  usual  dynamic  behavior
    String  generateMarkup(String  name)  {
           def  sw  =  new  StringWriter()
           new  MarkupBuilder(sw).html  {
                   body  {
                           div  name
                   }
           }
           sw.toString()
    }
    Statiquement compilé
    Dynamique

    View full-size slide

  79. Mixer compilation statique et code dynamique
    @CompileStatic
    String  greeting(String  name)  {
           //  call  method  with  dynamic  behavior
           //  but  with  proper  signature
           generateMarkup(name.toUpperCase())
    }
     
    //  usual  dynamic  behavior
    String  generateMarkup(String  name)  {
           def  sw  =  new  StringWriter()
           new  MarkupBuilder(sw).html  {
                   body  {
                           div  name
                   }
           }
           sw.toString()
    }
    Statiquement compilé
    Dynamique
    Appel d’une
    méthode au
    contenu
    dynamique

    View full-size slide

  80. Mixer compilation statique et code dynamique
    @CompileStatic
    String  greeting(String  name)  {
           //  call  method  with  dynamic  behavior
           //  but  with  proper  signature
           generateMarkup(name.toUpperCase())
    }
     
    //  usual  dynamic  behavior
    String  generateMarkup(String  name)  {
           def  sw  =  new  StringWriter()
           new  MarkupBuilder(sw).html  {
                   body  {
                           div  name
                   }
           }
           sw.toString()
    }
    Statiquement compilé
    Dynamique
    Appel d’une
    méthode au
    contenu
    dynamique
    La signature d’une
    méthode est un
    contrat !

    View full-size slide

  81. Et la performance dans tout ça ?
    • Comparaisons entre :
    • Java
    • Groovy
    • avec compilation statique — Groovy 2.0
    • avec optimisations types primitifs — Groovy 1.8+
    • sans optimisation — Groovy 1.7

    View full-size slide

  82. Et la performance dans tout ça ?
    Fibonacci
    Pi (π)
    quadrature
    Binary
    trees
    Java
    Static
    compilation
    Primitive
    optimizations
    No prim.
    optimizations
    191 ms 97 ms 3.6 s
    197 ms 101 ms 4.3 s
    360 ms 111 ms 23.7 s
    2590 ms 3220 ms 50.0 s
    1.7 1.8 2.x

    View full-size slide

  83. ...maintenant
    Groovy 2.1
    Support complet d’invoke dynamic
    Méta-annotations
    Configuration avancée du compilateur
    Extensions du type checker

    View full-size slide

  84. Invoke Dynamic
    Support complet
    de Invoke Dynamic

    View full-size slide

  85. Support complet d’invoke dynamic
    • Dans Groovy 2.0, tous les appels de méthode
    ne passaient pas par « indy »
    • seulement les appels de méthodes normals
    • utilisation conjointe du « call site caching »
    • Sur JDK 7, avec le JAR « indy », Groovy 2.1
    utilise « invoke dynamic » partout
    • Sur JDK < 7, encore du « call site caching »

    View full-size slide

  86. Méta-annotations
    Un annotation pour
    les gouverner toutes !

    View full-size slide

  87. Méta-annotations
    • Créer des méta-annotations
    qui combinent et / ou paramétrisent
    d’autres annotations
    • Et qui fonctionnent avec les annotations des
    transformations d’AST

    View full-size slide

  88. Méta-annotations
    @Immutable
    @ToString(excludes  =  ["age"])
    @AnnotationCollector
    @interface  MyAlias  {}

    View full-size slide

  89. Méta-annotations
    @Immutable
    @ToString(excludes  =  ["age"])
    @AnnotationCollector
    @interface  MyAlias  {}
    Annotations collectées

    View full-size slide

  90. Méta-annotations
    @Immutable
    @ToString(excludes  =  ["age"])
    @AnnotationCollector
    @interface  MyAlias  {}
    Annotations collectées
    Le collecteur

    View full-size slide

  91. Méta-annotations
    @Immutable
    @ToString(excludes  =  ["age"])
    @AnnotationCollector
    @interface  MyAlias  {}
    Annotations collectées
    Le collecteur
    Votre propre alias
    d’annotation

    View full-size slide

  92. Méta-annotations
    @Immutable
    @ToString(excludes  =  ["age"])
    @AnnotationCollector
    @interface  MyAlias  {}
    @MyAlias
    class  Foo  {
           String  name
           int  age
    }
    Annotations collectées
    Le collecteur
    Votre propre alias
    d’annotation

    View full-size slide

  93. Méta-annotations
    @Immutable
    @ToString(excludes  =  ["age"])
    @AnnotationCollector
    @interface  MyAlias  {}
    @MyAlias
    class  Foo  {
           String  name
           int  age
    }
    Annotations collectées
    Le collecteur
    Votre propre alias
    d’annotation
    Utilisez votre
    méta-annotation

    View full-size slide

  94. L’annotation
    @DelegatesTo
    Améliorer l’outillage
    pour le support des
    Domain-Specific Languages

    View full-size slide

  95. Annotation @DelegatesTo
    • La vérification statique fonctionne bien avec
    certains Domain-Specific Languages
    • « command chains », méthodes d’extension...
    • Mais pas pour les DSLs utilisant des
    closures et de la délégation d’appel
    • souvent utilisé dans les DSLs comme Gradle
    task  copyTask(type:  Copy)  {
           from  'src/main/webapp'
           into  'build/explodedWar'
    }

    View full-size slide

  96. Annotation @DelegatesTo
    exec(spec)  {
           foo()
    }

    View full-size slide

  97. Annotation @DelegatesTo
    class  ExecSpec  {
           void  foo()
    }
    exec(spec)  {
           foo()
    }

    View full-size slide

  98. Annotation @DelegatesTo
    class  ExecSpec  {
           void  foo()
    }
    void  exec(ExecSpec  sp,  Closure  c)  {
           c.delegate  =  sp
           c()
    }
    exec(spec)  {
           foo()
    }

    View full-size slide

  99. Annotation @DelegatesTo
    class  ExecSpec  {
           void  foo()
    }
    void  exec(ExecSpec  sp,  Closure  c)  {
           c.delegate  =  sp
           c()
    }
    exec(spec)  {
           foo()
    }
    Le vérificateur statique ne sait
    rien de la méthode foo()

    View full-size slide

  100. Annotation @DelegatesTo
    class  ExecSpec  {
           void  foo()
    }
    void  exec(ExecSpec  sp,  Closure  c)  {
           c.delegate  =  sp
           c()
    }
    exec(spec)  {
           foo()
    }
    Annoter avec
    @DelegatesTo(ExecSpec)
    Le vérificateur statique ne sait
    rien de la méthode foo()

    View full-size slide

  101. Annotation @DelegatesTo
    • Avec une autre stratégie de délégation
    void  exec(ExecSpec  sp,  Closure  c)  {
           c.delegate  =  sp
           c.resolveStrategy  =  DELEGATE_FIRST
           c()
    }

    View full-size slide

  102. Annotation @DelegatesTo
    • Avec une autre stratégie de délégation
    void  exec(ExecSpec  sp,  Closure  c)  {
           c.delegate  =  sp
           c.resolveStrategy  =  DELEGATE_FIRST
           c()
    }
    Annoter avec
    @DelegatesTo(value = ExecSpec,
    strategy = DELEGATE_FIRST)

    View full-size slide

  103. Annotation @DelegatesTo
    • Utiliser Target pour préciser à qui déléguer
    void  exec(ExecSpec  sp,  Closure  c)  {
           c.delegate  =  sp
           c()
    }

    View full-size slide

  104. Annotation @DelegatesTo
    • Utiliser Target pour préciser à qui déléguer
    void  exec(ExecSpec  sp,  Closure  c)  {
           c.delegate  =  sp
           c()
    }
    @DelegatesTo.Target(‘‘id’’)

    View full-size slide

  105. Annotation @DelegatesTo
    • Utiliser Target pour préciser à qui déléguer
    void  exec(ExecSpec  sp,  Closure  c)  {
           c.delegate  =  sp
           c()
    }
    @DelegatesTo.Target(‘‘id’’) @DelegatesTo(target = ‘‘id’’)

    View full-size slide

  106. Annotation @DelegatesTo
    • Intéressant surtout pour les DSLs utilisation
    la délégation d’appel
    dans les closures
    • Excellent pour...
    • documenter les APIs
    • l’intégration avec l’IDE
    • complétion de code, navigation...
    • fonctionne avec la vérification statique et la
    compilation statique

    View full-size slide

  107. Etendre le
    vérificateur
    Pour aller plus loin
    que Java lui même

    View full-size slide

  108. Etendre le vérificateur statique de type
    • Etendre le vérificateur pour
    le rendre encore plus intelligent !
    • voire même plus intelligent que celui de Java :-)
    • En créant sa propre extension
    @TypeChecked(extensions  =  
                             'MyExtension.groovy')
    void  exec()  {
           //  code  to  be  further  checked...
    }

    View full-size slide

  109. Etendre le vérificateur statique de type
    • Etendre le vérificateur pour
    le rendre encore plus intelligent !
    • voire même plus intelligent que celui de Java :-)
    • En créant sa propre extension
    @TypeChecked(extensions  =  
                             'MyExtension.groovy')
    void  exec()  {
           //  code  to  be  further  checked...
    }
    On pourra créer une
    méta-annotation

    View full-size slide

  110. • Aider le vérificateur lorsque...
    • impossible d’inférer un type
    • aucune méthode trouvée
    • pas d’attribut trouvé
    • assignation incorrecte
    Etendre le vérificateur statique de type

    View full-size slide

  111. • Votre extension a accès à
    une API orientée événement
    Etendre le vérificateur statique de type
    • onMethodSelection
    • afterMethodCall
    • beforeMethodCall
    • afterVisitMethod
    • beforeVisitMethod
    • methodNotFound
    • unresolvedVariable
    • unresolvedProperty
    • unresolvedAttribute
    • incompatibleAssignment

    View full-size slide

  112. Etendre le vérificateur statique de type
    onMethodSelection  {  expr,  method  -­‐>  ...  }
    afterMethodCall  {  mc  -­‐>  ...  }
    unresolvedVariable  {  var  -­‐>  ...  }
    methodNotFound  {  receiver,  name,  argList,  argTypes,  call  -­‐>  ...  }
    incompatibleAssignment  {  lhsType,  rhsType,  expr  -­‐>  ...  }

    View full-size slide

  113. Etendre le vérificateur statique de type
    onMethodSelection  {  expr,  method  -­‐>  ...  }
    afterMethodCall  {  mc  -­‐>  ...  }
    unresolvedVariable  {  var  -­‐>  ...  }
    methodNotFound  {  receiver,  name,  argList,  argTypes,  call  -­‐>  ...  }
    incompatibleAssignment  {  lhsType,  rhsType,  expr  -­‐>  ...  }
    MyExtension.groovy

    View full-size slide

  114. Etendre le vérificateur statique de type
    onMethodSelection  {  expr,  method  -­‐>  ...  }
    afterMethodCall  {  mc  -­‐>  ...  }
    unresolvedVariable  {  var  -­‐>  ...  }
    methodNotFound  {  receiver,  name,  argList,  argTypes,  call  -­‐>  ...  }
    incompatibleAssignment  {  lhsType,  rhsType,  expr  -­‐>  ...  }
    MyExtension.groovy
    Apprenez votre
    AST Groovy !

    View full-size slide

  115. Etendre le vérificateur statique de type
    onMethodSelection  {  expr,  method  -­‐>  ...  }
    afterMethodCall  {  mc  -­‐>  ...  }
    unresolvedVariable  {  var  -­‐>  ...  }
    methodNotFound  {  receiver,  name,  argList,  argTypes,  call  -­‐>  ...  }
    incompatibleAssignment  {  lhsType,  rhsType,  expr  -­‐>  ...  }
    MyExtension.groovy
    Apprenez votre
    AST Groovy !
    Pas besoin
    d’être compilé

    View full-size slide

  116. • Quelques exemples...
    • Vérifier qu’une chaîne représentant
    une requête SQL est valide
    • Vérifier le type des arguments passés à
    sprintf() avec le pattern de la chaîne
    Etendre le vérificateur statique de type

    View full-size slide

  117. Configurer le
    compilateur
    Classe de script de base
    Script de configuration
    DSL de configuration

    View full-size slide

  118. Customiser le compilateur
    • Groovy 1.8 a introduit la notion
    de « customizer »
    • rajouter des imports transparents
    • appliquer des transformations d’AST
    • filtrer / sécuriser les scripts
    • Avec le « static type checker » et la «
    compilation statique », on nous a demandé
    s’il était possible de les appliquer par
    défaut

    View full-size slide

  119. Customiser le compilateur
    • Nouvelles options
    • --basescript
    pour définir une classe de base pour les scripts
    • --configscript
    pour indiquer un script qui va configurer
    CompilerConfiguration

    View full-size slide

  120. Customiser le compilateur
    • Rajouter la transformation @ToString

    import  groovy.transform.ToString
    import  org.codehaus.groovy.control.customizers
                 .ASTTransformationCustomizer
    configuration.addCompilationCustomizer(
           new  ASTTransformationCustomizer(ToString)
    )

    View full-size slide

  121. Customiser le compilateur
    • Rajouter la transformation @ToString

    import  groovy.transform.ToString
    import  org.codehaus.groovy.control.customizers
                 .ASTTransformationCustomizer
    configuration.addCompilationCustomizer(
           new  ASTTransformationCustomizer(ToString)
    )
    Instance de CompilerConfiguration
    injectée par défaut

    View full-size slide

  122. Customiser le compilateur
    • Un petit DSL pour simplifier la configuration
    configuration.customizers  {
           //  apply  to  MyBean.groovy
           source(basename:  'MyBean')  {
                   ast(ToString)
           }
    }

    View full-size slide

  123. Customiser le compilateur
    • Un petit DSL pour simplifier la configuration
    configuration.customizers  {
           //  apply  to  MyBean.groovy
           source(basename:  'MyBean')  {
                   ast(ToString)
           }
    }
    configuration.customizers  {
           //  apply  to  *.gbean  files
           source(extension:  '.gbean')  {
                   ast(ToString)
           }
    }

    View full-size slide

  124. Customiser le compilateur
    • Un petit DSL pour simplifier la configuration
    configuration.customizers  {
           //  apply  to  MyBean.groovy
           source(basename:  'MyBean')  {
                   ast(ToString)
           }
    }
    configuration.customizers  {
           //  apply  to  *.gbean  files
           source(extension:  '.gbean')  {
                   ast(ToString)
           }
    }
    configuration.customizers  {
           //  custom  filter  logic
           source(unitValidator:  {  unit  -­‐>  ...  })  {
                   ast(ToString)
                   imports  {
                           staticStar  'java.lang.Math'
                   }
           }
    }

    View full-size slide

  125. Pour en savoir plus...
    Groovy 2.0
    http://groovy.codehaus.org/Groovy+2.0+release+notes
    Groovy 2.1
    http://groovy.codehaus.org/Groovy+2.1+release+notes

    View full-size slide

  126. Et après ?
    Groovy 3 !
    Nouveau « MOP »
    Nouvelle grammaire Antlr v4
    Support des lambdas de Java 8

    View full-size slide

  127. Parlons un peu de roadmap...
    2014
    2014
    2013
    2012
    Groovy 2.1
    Groovy 3.0
    Groovy 2.0

    View full-size slide

  128. Parlons un peu de roadmap...
    2014
    2014
    2013
    2012
    Groovy 2.1
    Groovy 3.0
    Groovy 2.0

    View full-size slide

  129. Parlons un peu de roadmap...
    2014
    2014
    2013
    2012
    Groovy 2.1
    Groovy 3.0
    Groovy 2.0

    View full-size slide

  130. Grammaire
    Antlr 4

    View full-size slide

  131. λ
    Lambdas
    JDK
    8

    View full-size slide

  132. Conclusion — 1/2
    • Un écosystème riche et fleurissant
    • Groovy 2.0
    • plus de modularité
    • un thème « statique »
    • vérification statique de type
    • compilation statique
    • un thème JDK 7
    • support de invoke dynamic
    • syntaxe project coin

    View full-size slide

  133. Conclusion — 2/2
    • Groovy 2.1
    • support complet de invoke dynamic
    • @DelegatesTo
    • extension du type checker pour les DSLSs
    • méta-annotations
    • Et au-delà...
    • un nouveau MOP (Meta-Object Protocol)
    • une nouvelle grammaire avec Antlr v4
    • le support des lambdas de JDK 8

    View full-size slide

  134. Questions & Réponses

    View full-size slide

  135. N’oubliez pas l’atelier...
    Groovy, les mains dans le cambouis
    14h30 — 16h00 / Salle Dijkstra

    View full-size slide

  136. Merci !
    @glaforge 
    http://glaforge.appspot.com 
    http://gplus.to/glaforge 

    View full-size slide

  137. Crédits images
    • cerisier
    http://wallpaperswide.com/cherry_blossom_3-wallpapers.html
    • NKOTB
    http://images1.fanpop.com/images/photos/2300000/nkotb-new-kids-on-the-block-2314664-1280-960.jpg
    • tomates
    http://www.infoescola.com/wp-content/uploads/2011/01/tomate.jpg
    • patates
    http://toooof.free.fr/blogs/captainslip/screenshots/pommes_de_terre.jpg
    • canard
    http://www.objets-publicitaires-pro.com/images/objet-publicitaire/produit/large/canard-geant-a-personnaliser-jaune.jpg
    • grincheux
    https://si0.twimg.com/profile_images/3115998027/b47c180a703a5ffa7d1437a66f545dc0.jpeg
    • singe
    http://static.ddmcdn.com/gif/how-to-draw-animals-31.jpg
    • warning
    http://th07.deviantart.net/fs71/PRE/i/2012/261/8/6/warning_gangnam_style_zone_by_untoucheddesigns-d5f6bal.png
    • coyote
    http://nittygriddy.com/wp-content/uploads/2011/01/Wiley-Coyote-Help.jpg
    • ring
    http://img.banggood.com/images/upload/2012/limin/SKU028431_11.JPG
    • magnifying glass
    http://www.renders-graphiques.fr/image/upload/normal/loupe.png
    • chronomètre
    http://www.moineau-instruments.com/59-thickbox/chronometre-mecanique-1-10-t15-mn-2-fonctions.jpg
    • that’s all folks
    http://4.bp.blogspot.com/-wJxosualm48/T4M_spcUUjI/AAAAAAAAB8E/njfLjNZQdsc/s1600/thats-all-folks.jpg
    • MOP
    http://imagethumbnails.milo.com/024/913/894/trimmed/24913521_25989894_trimmed.jpg
    • grammar
    http://edudemic.com/wp-content/uploads/2012/11/connected-learner-grammar.jpg

    View full-size slide