Les nouveautésde Groovy 2GuillaumeLaforgeGroovy Project ManagerSpringSource / VMware
GuillaumeLaforge@glaforge http://glaforge.appspot.com http://gplus.to/glaforge 
Langage dynamiqueoptionnellement typéGroovy
...statiquement vérifiéet compiléGroovy
syntaxe dérivant de Java :facile à apprendre !Groovy
1.7 milliondownloads
AblossomingEcosystem
GVM
GVM
GVMGROOVYENVIRONMENTMANAGER
GVM:GroovyenVironmentManager• Nouveau venu dans la communauté• http://gvmtool.net/ — @gvmtool• Gérer les versions parallèl...
Commençonspar Groovy2.0ModularityJava 7: ProjectCoin & invokedynamicStatic typechecking & compilation
Modularité« Tout le monde n’a pas besoin de tout,tout le temps, en même temps ! »
LamodularitédeGroovy• Le JAR « groovy-all » de... 6 Mo !• En plus du langage, des APIs :• moteur de template, scripting th...
LesnouveauxJARs• Un JAR principal plus petit 3 Mo• Modules– console– docgenerator– groovydoc– groovysh– ant– bsf– jsr-223–...
LesnouveauxJARs• Un JAR principal plus petit 3 Mo• Modules– console– docgenerator– groovydoc– groovysh– ant– bsf– jsr-223–...
« Fais tonmarché »
Lesmodulesd’extension• Créer sa propre extension• contribuer des méthodes d’instancepackage	  fooclass	  StringExtension	 ...
Lesmodulesd’extension• Créer sa propre extension• contribuer des méthodes d’instancepackage	  fooclass	  StringExtension	 ...
Lesmodulesd’extension• Créer sa propre extension• contribuer des méthodes statiquespackage	  fooclass	  StaticStringExtens...
Descripteurdesmodulesd’extension• META-INF/• services/• org.codehaus.groovy.runtime.ExtensionModulemoduleName	  =	  string...
Thème Java 7Syntaxe de « Project Coin »Support d’invoke dynamic
Une histoire decanard...
Littérauxbinaires• En plus de décimal, octal, et héxa...• On a une représentation binaire :int	  x	  =	  0b10101111assert	...
Les«underscores»dansleslittéraux• Utilisation des « underscores » pour séparerles unités au choixlong	  creditCardNumber	 ...
Catchd’exceptionsmultiples• Un seul bloc catch pour plusieursexceptions, plutôt que dupliquer les blocstry	  {	  	  	  	  ...
Coin-Coin !
Supportd’invokedynamicdeJDK7• Nouveau « flag » pour compiler avec « indy »• on proposera peut-être un backport (pour JDK <...
Thème « statique »Vérification statique de typeCompilation statique
Vérificationstatiquesdetype• But : rendre le compilateur « grincheux » !• jeter des erreurs à la compilation• et non pas a...
Tout le monde n’a pasbesoin de dynamiquetout le temps !
Tout le monde n’a pasbesoin de dynamiquetout le temps !Nah !
Vérificationstatiquedetype• Le compilateur grincheux souhaite...• dire quand il y a une faute de frappedans le nom d’une m...
Vérificationstatiquedetype• Le compilateur doit inférer les types...• moins besoin de types explicites et de casts• infére...
Vérificationstatiquedetype• Mais le compilateur doit comprendre lesméthodes d’extension de Groovy• permet d’avoir un bon n...
Fautesdefrappeimport	  groovy.transform.TypeChecked	  void	  method()	  {}	  @TypeChecked	  test()	  {	  	  	  	  //	  Can...
Fautesdefrappeimport	  groovy.transform.TypeChecked	  void	  method()	  {}	  @TypeChecked	  test()	  {	  	  	  	  //	  Can...
Fautesdefrappeimport	  groovy.transform.TypeChecked	  void	  method()	  {}	  @TypeChecked	  test()	  {	  	  	  	  //	  Can...
Fautesdefrappeimport	  groovy.transform.TypeChecked	  void	  method()	  {}	  @TypeChecked	  test()	  {	  	  	  	  //	  Can...
Mauvaisesaffectationsdevariable//	  cannot	  assign	  value	  of	  type...	  to	  variable...int	  x	  =	  new	  Object()S...
Mauvaisesaffectationsdevariable//	  cannot	  assign	  value	  of	  type...	  to	  variable...int	  x	  =	  new	  Object()S...
Mauvaisesaffectationsdevariable//	  cannot	  assign	  value	  of	  type...	  to	  variable...int	  x	  =	  new	  Object()S...
Mauvaisesaffectationsdevariable//	  cannot	  assign	  value	  of	  type...	  to	  variable...int	  x	  =	  new	  Object()S...
Mauvaistypederetour//	  checks	  if/else	  branch	  return	  values@TypeCheckedint	  method()	  {	  	  	  	  if	  (true)	 ...
Mauvaistypederetour//	  checks	  if/else	  branch	  return	  values@TypeCheckedint	  method()	  {	  	  	  	  if	  (true)	 ...
Mauvaistypederetour//	  checks	  if/else	  branch	  return	  values@TypeCheckedint	  method()	  {	  	  	  	  if	  (true)	 ...
Inférencedetype@TypeChecked	  test()	  {	  	  	  	  def	  name	  =	  "	  	  Guillaume	  	  "	  	  	  	  	  //	  String	  t...
Inférencedetype@TypeChecked	  test()	  {	  	  	  	  def	  name	  =	  "	  	  Guillaume	  	  "	  	  	  	  	  //	  String	  t...
Inférencedetype@TypeChecked	  test()	  {	  	  	  	  def	  name	  =	  "	  	  Guillaume	  	  "	  	  	  	  	  //	  String	  t...
Inférencedetype@TypeChecked	  test()	  {	  	  	  	  def	  name	  =	  "	  	  Guillaume	  	  "	  	  	  	  	  //	  String	  t...
Inférencedetype@TypeChecked	  test()	  {	  	  	  	  def	  name	  =	  "	  	  Guillaume	  	  "	  	  	  	  	  //	  String	  t...
Mélangerdynamiqueetstatiquementvérifié@TypeCheckedString	  greeting(String	  name)	  {	  	  	  	  //	  call	  method	  wit...
Mélangerdynamiqueetstatiquementvérifié@TypeCheckedString	  greeting(String	  name)	  {	  	  	  	  //	  call	  method	  wit...
Mélangerdynamiqueetstatiquementvérifié@TypeCheckedString	  greeting(String	  name)	  {	  	  	  	  //	  call	  method	  wit...
Vérificationsparinstanceof@TypeChecked	  void	  test(Object	  val)	  {	  	  	  	  if	  (val	  instanceof	  String)	  {	  	...
Vérificationsparinstanceof@TypeChecked	  void	  test(Object	  val)	  {	  	  	  	  if	  (val	  instanceof	  String)	  {	  	...
Vérificationsparinstanceof@TypeChecked	  void	  test(Object	  val)	  {	  	  	  	  if	  (val	  instanceof	  String)	  {	  	...
Vérificationsparinstanceof@TypeChecked	  void	  test(Object	  val)	  {	  	  	  	  if	  (val	  instanceof	  String)	  {	  	...
LowestUpperBound• Le plus petit « super » type commun• peut-être virtuel (« non-dénotable »)@TypeChecked	  test()	  {	  	 ...
LowestUpperBound• Le plus petit « super » type commun• peut-être virtuel (« non-dénotable »)@TypeChecked	  test()	  {	  	 ...
Flowtyping• La vérification statique « suit » le type desvaleurs assignées dans les variables@TypeChecked	  test()	  {	  	 ...
Pô très clean ton code,non mais allô quoi ?
Pô très clean ton code,non mais allô quoi ?Ben non !
Vérificationstatiqueetcodedynamique• La vérification statique à la compilation• @TypeChecked ne change pas le comportement•...
Pasdemétaprogrammationdynamique@TypeChecked	  void	  test()	  {	  	  	  	  Integer.metaClass.foo	  =	  {}	  	  	  	  123.f...
Pasdemétaprogrammationdynamique@TypeChecked	  void	  test()	  {	  	  	  	  Integer.metaClass.foo	  =	  {}	  	  	  	  123.f...
Pasdemétaprogrammationdynamique@TypeChecked	  void	  test()	  {	  	  	  	  Integer.metaClass.foo	  =	  {}	  	  	  	  123.f...
Typeexplicitepourlesparamètresdeclosure@TypeChecked	  test()	  {	  	  	  	  ["a",	  "b",	  "c"].collect	  {	  	  	  	  	  ...
Typeexplicitepourlesparamètresdeclosure@TypeChecked	  test()	  {	  	  	  	  ["a",	  "b",	  "c"].collect	  {	  String	  it	...
Typeexplicitepourlesparamètresdeclosure@TypeChecked	  test()	  {	  	  	  	  ["a",	  "b",	  "c"].collect	  {	  String	  it	...
Typeexplicitepourlesparamètresdeclosure@TypeChecked	  test()	  {	  	  	  	  ["a",	  "b",	  "c"].collect	  {	  String	  it	...
Mais si c’est pô dynamique,on peut compilerstatiquement ?
Mais si c’est pô dynamique,on peut compilerstatiquement ?Ben oui !
Compilationstatique• Etant donné que le code est vérifié, que l’oninfère beaucoup d’information de type...on peut aussi bie...
Avantagesdelacompilationstatique• On gagne :• de la « type safety »• grâce à la vérification statique• car la compilation s...
Ouais, ch’faisc’que j’veuxavec ton code
Ouais, ch’faisc’que j’veuxavec ton codeNiark !
Inconvénientsdelacompilationstatique• On y perds...• Certaines fonctionnalités dynamiques• changement de métaclasse, catég...
Mixercompilationstatiqueetcodedynamique@CompileStaticString	  greeting(String	  name)	  {	  	  	  	  //	  call	  method	  ...
Mixercompilationstatiqueetcodedynamique@CompileStaticString	  greeting(String	  name)	  {	  	  	  	  //	  call	  method	  ...
Mixercompilationstatiqueetcodedynamique@CompileStaticString	  greeting(String	  name)	  {	  	  	  	  //	  call	  method	  ...
Mixercompilationstatiqueetcodedynamique@CompileStaticString	  greeting(String	  name)	  {	  	  	  	  //	  call	  method	  ...
Mixercompilationstatiqueetcodedynamique@CompileStaticString	  greeting(String	  name)	  {	  	  	  	  //	  call	  method	  ...
Etlaperformancedanstoutça?• Comparaisons entre :• Java• Groovy• avec compilation statique — Groovy 2.0• avec optimisations...
Etlaperformancedanstoutça?FibonacciPi (π)quadratureBinarytreesJavaStaticcompilationPrimitiveoptimizationsNo prim.optimizat...
...maintenantGroovy2.1Support complet d’invoke dynamicMéta-annotationsConfiguration avancée du compilateurExtensions du ty...
Invoke DynamicSupport completde Invoke Dynamic
Supportcompletd’invokedynamic• Dans Groovy 2.0, tous les appels de méthodene passaient pas par « indy »• seulement les app...
Méta-annotationsUn annotation pourles gouverner toutes !
Méta-annotations• Créer des méta-annotationsqui combinent et / ou paramétrisentd’autres annotations• Et qui fonctionnent a...
Méta-annotations@Immutable@ToString(excludes	  =	  ["age"])@AnnotationCollector@interface	  MyAlias	  {}
Méta-annotations@Immutable@ToString(excludes	  =	  ["age"])@AnnotationCollector@interface	  MyAlias	  {}Annotations collec...
Méta-annotations@Immutable@ToString(excludes	  =	  ["age"])@AnnotationCollector@interface	  MyAlias	  {}Annotations collec...
Méta-annotations@Immutable@ToString(excludes	  =	  ["age"])@AnnotationCollector@interface	  MyAlias	  {}Annotations collec...
Méta-annotations@Immutable@ToString(excludes	  =	  ["age"])@AnnotationCollector@interface	  MyAlias	  {}@MyAliasclass	  Fo...
Méta-annotations@Immutable@ToString(excludes	  =	  ["age"])@AnnotationCollector@interface	  MyAlias	  {}@MyAliasclass	  Fo...
L’annotation@DelegatesToAméliorer l’outillagepour le support desDomain-Specific Languages
Annotation@DelegatesTo• La vérification statique fonctionne bien aveccertains Domain-Specific Languages• « command chains »,...
Annotation@DelegatesToexec(spec)	  {	  	  	  	  foo()}
Annotation@DelegatesToclass	  ExecSpec	  {	  	  	  	  void	  foo()}exec(spec)	  {	  	  	  	  foo()}
Annotation@DelegatesToclass	  ExecSpec	  {	  	  	  	  void	  foo()}void	  exec(ExecSpec	  sp,	  Closure	  c)	  {	  	  	  	...
Annotation@DelegatesToclass	  ExecSpec	  {	  	  	  	  void	  foo()}void	  exec(ExecSpec	  sp,	  Closure	  c)	  {	  	  	  	...
Annotation@DelegatesToclass	  ExecSpec	  {	  	  	  	  void	  foo()}void	  exec(ExecSpec	  sp,	  Closure	  c)	  {	  	  	  	...
Annotation@DelegatesTo• Avec une autre stratégie de délégationvoid	  exec(ExecSpec	  sp,	  Closure	  c)	  {	  	  	  	  c.d...
Annotation@DelegatesTo• Avec une autre stratégie de délégationvoid	  exec(ExecSpec	  sp,	  Closure	  c)	  {	  	  	  	  c.d...
Annotation@DelegatesTo• Utiliser Target pour préciser à qui déléguervoid	  exec(ExecSpec	  sp,	  Closure	  c)	  {	  	  	  ...
Annotation@DelegatesTo• Utiliser Target pour préciser à qui déléguervoid	  exec(ExecSpec	  sp,	  Closure	  c)	  {	  	  	  ...
Annotation@DelegatesTo• Utiliser Target pour préciser à qui déléguervoid	  exec(ExecSpec	  sp,	  Closure	  c)	  {	  	  	  ...
Annotation@DelegatesTo• Intéressant surtout pour les DSLs utilisationla délégation d’appeldans les closures• Excellent pou...
Etendre levérificateurPour aller plus loinque Java lui même
Etendrelevérificateurstatiquedetype• Etendre le vérificateur pourle rendre encore plus intelligent !• voire même plus intel...
Etendrelevérificateurstatiquedetype• Etendre le vérificateur pourle rendre encore plus intelligent !• voire même plus intel...
• Aider le vérificateur lorsque...• impossible d’inférer un type• aucune méthode trouvée• pas d’attribut trouvé• assignatio...
• Votre extension a accès àune API orientée événementEtendrelevérificateurstatiquedetype• onMethodSelection• afterMethodCa...
EtendrelevérificateurstatiquedetypeonMethodSelection	  {	  expr,	  method	  -­‐>	  ...	  }afterMethodCall	  {	  mc	  -­‐>	...
EtendrelevérificateurstatiquedetypeonMethodSelection	  {	  expr,	  method	  -­‐>	  ...	  }afterMethodCall	  {	  mc	  -­‐>	...
EtendrelevérificateurstatiquedetypeonMethodSelection	  {	  expr,	  method	  -­‐>	  ...	  }afterMethodCall	  {	  mc	  -­‐>	...
EtendrelevérificateurstatiquedetypeonMethodSelection	  {	  expr,	  method	  -­‐>	  ...	  }afterMethodCall	  {	  mc	  -­‐>	...
• Quelques exemples...• Vérifier qu’une chaîne représentantune requête SQL est valide• Vérifier le type des arguments passés...
Configurer lecompilateurClasse de script de baseScript de configurationDSL de configuration
Customiserlecompilateur• Groovy 1.8 a introduit la notionde « customizer »• rajouter des imports transparents• appliquer d...
Customiserlecompilateur• Nouvelles options• --basescriptpour définir une classe de base pour les scripts• --configscriptpour...
Customiserlecompilateur• Rajouter la transformation @ToString•import	  groovy.transform.ToStringimport	  org.codehaus.groo...
Customiserlecompilateur• Rajouter la transformation @ToString•import	  groovy.transform.ToStringimport	  org.codehaus.groo...
Customiserlecompilateur• Un petit DSL pour simplifier la configurationconfiguration.customizers	  {	  	  	  	  //	  apply	  ...
Customiserlecompilateur• Un petit DSL pour simplifier la configurationconfiguration.customizers	  {	  	  	  	  //	  apply	  ...
Customiserlecompilateur• Un petit DSL pour simplifier la configurationconfiguration.customizers	  {	  	  	  	  //	  apply	  ...
Pour en savoir plus...Groovy2.0http://groovy.codehaus.org/Groovy+2.0+release+notesGroovy2.1http://groovy.codehaus.org/Groo...
Et après ?Groovy3 !Nouveau « MOP »Nouvellegrammaire Antlr v4Support des lambdasdeJava8
Parlonsunpeuderoadmap...2014201420132012Groovy 2.1Groovy 3.0Groovy 2.0
Parlonsunpeuderoadmap...2014201420132012Groovy 2.1Groovy 3.0Groovy 2.0
Parlonsunpeuderoadmap...2014201420132012Groovy 2.1Groovy 3.0Groovy 2.0
MOP2
GrammaireAntlr4
λLambdasJDK8
Conclusion—1/2• Un écosystème riche et fleurissant• Groovy 2.0• plus de modularité• un thème « statique »• vérification sta...
Conclusion—2/2• Groovy 2.1• support complet de invoke dynamic• @DelegatesTo• extension du type checker pour les DSLSs• mét...
Questions&Réponses
N’oubliez pas l’atelier...Groovy,lesmainsdanslecambouis14h30 — 16h00 / Salle Dijkstra
Merci!@glaforge http://glaforge.appspot.com http://gplus.to/glaforge 
Créditsimages• cerisierhttp://wallpaperswide.com/cherry_blossom_3-wallpapers.html• NKOTBhttp://images1.fanpop.com/images/p...
Les nouveautés de Groovy 2 -- Mix-IT 2013
Les nouveautés de Groovy 2 -- Mix-IT 2013
Les nouveautés de Groovy 2 -- Mix-IT 2013
Les nouveautés de Groovy 2 -- Mix-IT 2013
Les nouveautés de Groovy 2 -- Mix-IT 2013
Les nouveautés de Groovy 2 -- Mix-IT 2013
Les nouveautés de Groovy 2 -- Mix-IT 2013
Les nouveautés de Groovy 2 -- Mix-IT 2013
Upcoming SlideShare
Loading in...5
×

Les nouveautés de Groovy 2 -- Mix-IT 2013

1,225

Published on

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 !

Published in: Technology
0 Comments
0 Likes
Statistics
Notes
  • Be the first to comment

  • Be the first to like this

No Downloads
Views
Total Views
1,225
On Slideshare
0
From Embeds
0
Number of Embeds
1
Actions
Shares
0
Downloads
10
Comments
0
Likes
0
Embeds 0
No embeds

No notes for slide

Les nouveautés de Groovy 2 -- Mix-IT 2013

  1. 1. Les nouveautésde Groovy 2GuillaumeLaforgeGroovy Project ManagerSpringSource / VMware
  2. 2. GuillaumeLaforge@glaforge http://glaforge.appspot.com http://gplus.to/glaforge 
  3. 3. Langage dynamiqueoptionnellement typéGroovy
  4. 4. ...statiquement vérifiéet compiléGroovy
  5. 5. syntaxe dérivant de Java :facile à apprendre !Groovy
  6. 6. 1.7 milliondownloads
  7. 7. AblossomingEcosystem
  8. 8. GVM
  9. 9. GVM
  10. 10. GVMGROOVYENVIRONMENTMANAGER
  11. 11. GVM:GroovyenVironmentManager• Nouveau venu dans la communauté• http://gvmtool.net/ — @gvmtool• Gérer les versions parallèles de différentsprojets de l’écosystème• Supporte...• Groovy, Grails, Griffon, Gradle, Vert.x• Sur Linux, MacOS, Cygwin, Solaris, FreeBSD
  12. 12. Commençonspar Groovy2.0ModularityJava 7: ProjectCoin & invokedynamicStatic typechecking & compilation
  13. 13. Modularité« Tout le monde n’a pas besoin de tout,tout le temps, en même temps ! »
  14. 14. LamodularitédeGroovy• 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
  15. 15. LesnouveauxJARs• 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
  16. 16. LesnouveauxJARs• 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
  17. 17. « Fais tonmarché »
  18. 18. Lesmodulesd’extension• Créer sa propre extension• contribuer des méthodes d’instancepackage  fooclass  StringExtension  {        static  introduces(String  self,  String  name)  {                "Hi  ${name),  I’m  ${self}"        }}//  usage:  "Guillaume".introduces("Cédric")
  19. 19. Lesmodulesd’extension• Créer sa propre extension• contribuer des méthodes d’instancepackage  fooclass  StringExtension  {        static  introduces(String  self,  String  name)  {                "Hi  ${name),  I’m  ${self}"        }}//  usage:  "Guillaume".introduces("Cédric")Même structureque les catégories
  20. 20. Lesmodulesd’extension• Créer sa propre extension• contribuer des méthodes statiquespackage  fooclass  StaticStringExtension  {        static  hi(String  self)  {                "Hi!"        }}//  usage:  String.hi()
  21. 21. Descripteurdesmodulesd’extension• META-INF/• services/• org.codehaus.groovy.runtime.ExtensionModulemoduleName  =  stringExtensionsmoduleVersion  =  1.0//  liste  de  noms  de  classe  séparées  par  des  virgulesextensionClasses  =  foo.StringExtension//  liste  de  noms  de  classe  séparées  par  des  virgulesstaticExtensionClasses  =  foo.StaticStringExtension
  22. 22. Thème Java 7Syntaxe de « Project Coin »Support d’invoke dynamic
  23. 23. Une histoire decanard...
  24. 24. Littérauxbinaires• En plus de décimal, octal, et héxa...• On a une représentation binaire :int  x  =  0b10101111assert  x  ==  175  byte  aByte  =  0b00100001assert  aByte  ==  33  int  anInt  =  0b1010000101000101assert  anInt  ==  41285
  25. 25. Les«underscores»dansleslittéraux• Utilisation des « underscores » pour séparerles unités au choixlong  creditCardNumber  =  1234_5678_9012_3456Llong  socialSecurityNumbers  =  999_99_9999Lfloat  monetaryAmount  =  12_345_132.12long  hexBytes  =  0xFF_EC_DE_5Elong  hexWords  =  0xFFEC_DE5Elong  maxLong  =  0x7fff_ffff_ffff_ffffLlong  alsoMaxLong  =  9_223_372_036_854_775_807Llong  bytes  =  0b11010010_01101001_10010100_10010010
  26. 26. Catchd’exceptionsmultiples• Un seul bloc catch pour plusieursexceptions, plutôt que dupliquer les blocstry  {        /*  ...  */}  catch(IOException  |  NullPointerException  e)  {        /*  un  seul  bloc  */}
  27. 27. Coin-Coin !
  28. 28. Supportd’invokedynamicdeJDK7• 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
  29. 29. Thème « statique »Vérification statique de typeCompilation statique
  30. 30. Vérificationstatiquesdetype• But : rendre le compilateur « grincheux » !• jeter des erreurs à la compilation• et non pas au runtime !
  31. 31. Tout le monde n’a pasbesoin de dynamiquetout le temps !
  32. 32. Tout le monde n’a pasbesoin de dynamiquetout le temps !Nah !
  33. 33. Vérificationstatiquedetype• Le compilateur grincheux souhaite...• dire quand il y a une faute de frappedans le nom d’une méthode ou d’une variable• râler quand on appelle une méthodeinexistante• ou quand on fait de mauvaisesaffectations ou utilise unmauvais type de retour
  34. 34. Vérificationstatiquedetype• Le compilateur doit inférer les types...• moins besoin de types explicites et de casts• inférence fine• « flow typing »• « lowest upper bound »
  35. 35. Vérificationstatiquedetype• Mais le compilateur doit comprendre lesméthodes d’extension de Groovy• permet d’avoir un bon niveau de dynamismemalgré les restrictions supplémentaires
  36. 36. Fautesdefrappeimport  groovy.transform.TypeChecked  void  method()  {}  @TypeChecked  test()  {        //  Cannot  find  matching  method  metthhoood()        metthhoood()          def  name  =  "Guillaume"        //  variable  naamme  is  undeclared        println  naamme}
  37. 37. Fautesdefrappeimport  groovy.transform.TypeChecked  void  method()  {}  @TypeChecked  test()  {        //  Cannot  find  matching  method  metthhoood()        metthhoood()          def  name  =  "Guillaume"        //  variable  naamme  is  undeclared        println  naamme}Erreur decompilation
  38. 38. Fautesdefrappeimport  groovy.transform.TypeChecked  void  method()  {}  @TypeChecked  test()  {        //  Cannot  find  matching  method  metthhoood()        metthhoood()          def  name  =  "Guillaume"        //  variable  naamme  is  undeclared        println  naamme}Erreur decompilationErreur decompilation
  39. 39. Fautesdefrappeimport  groovy.transform.TypeChecked  void  method()  {}  @TypeChecked  test()  {        //  Cannot  find  matching  method  metthhoood()        metthhoood()          def  name  =  "Guillaume"        //  variable  naamme  is  undeclared        println  naamme}Erreur decompilationErreur decompilationAnnotation niveauclasse ou méthode
  40. 40. Mauvaisesaffectationsdevariable//  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  =  0i  +=  1
  41. 41. Mauvaisesaffectationsdevariable//  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  =  0i  +=  1Erreurs decompilation
  42. 42. Mauvaisesaffectationsdevariable//  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  =  0i  +=  1Erreurs decompilationErreurs decompilation
  43. 43. Mauvaisesaffectationsdevariable//  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  =  0i  +=  1Erreurs decompilationErreurs decompilationErreurs decompilation
  44. 44. Mauvaistypederetour//  checks  if/else  branch  return  values@TypeCheckedint  method()  {        if  (true)  {  String  }        else  {  42  }}//  works  for  switch/case  &  try/catch/finally  //  transparent  toString()  implied@TypeCheckedString  greeting(String  name)  {        def  sb  =  new  StringBuilder()        sb  <<  "Hi  "  <<  name}
  45. 45. Mauvaistypederetour//  checks  if/else  branch  return  values@TypeCheckedint  method()  {        if  (true)  {  String  }        else  {  42  }}//  works  for  switch/case  &  try/catch/finally  //  transparent  toString()  implied@TypeCheckedString  greeting(String  name)  {        def  sb  =  new  StringBuilder()        sb  <<  "Hi  "  <<  name}Erreur decompilation
  46. 46. Mauvaistypederetour//  checks  if/else  branch  return  values@TypeCheckedint  method()  {        if  (true)  {  String  }        else  {  42  }}//  works  for  switch/case  &  try/catch/finally  //  transparent  toString()  implied@TypeCheckedString  greeting(String  name)  {        def  sb  =  new  StringBuilder()        sb  <<  "Hi  "  <<  name}Erreur decompilationAu final, appèle letoString() deStringBuilder
  47. 47. Inférencedetype@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        }}
  48. 48. Inférencedetype@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        }}Variableoptionnellement typée
  49. 49. Inférencedetype@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        }}Variableoptionnellement typéeType String inféré
  50. 50. Inférencedetype@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        }}Variableoptionnellement typéeMéthode trim() ajoutéedynamiquement par GroovyType String inféré
  51. 51. Inférencedetype@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        }}Variableoptionnellement typéeType des élémentsd’un tableau inféréMéthode trim() ajoutéedynamiquement par GroovyType String inféré
  52. 52. Mélangerdynamiqueetstatiquementvérifié@TypeCheckedString  greeting(String  name)  {        //  call  method  with  dynamic  behavior        //  but  with  proper  signature        generateMarkup(name.toUpperCase())}  //  usual  dynamic  behaviorString  generateMarkup(String  name)  {        def  sw  =  new  StringWriter()        new  MarkupBuilder(sw).html  {                body  {                        div  name                }        }        sw.toString()}
  53. 53. Mélangerdynamiqueetstatiquementvérifié@TypeCheckedString  greeting(String  name)  {        //  call  method  with  dynamic  behavior        //  but  with  proper  signature        generateMarkup(name.toUpperCase())}  //  usual  dynamic  behaviorString  generateMarkup(String  name)  {        def  sw  =  new  StringWriter()        new  MarkupBuilder(sw).html  {                body  {                        div  name                }        }        sw.toString()}Statiquement vérifié
  54. 54. Mélangerdynamiqueetstatiquementvérifié@TypeCheckedString  greeting(String  name)  {        //  call  method  with  dynamic  behavior        //  but  with  proper  signature        generateMarkup(name.toUpperCase())}  //  usual  dynamic  behaviorString  generateMarkup(String  name)  {        def  sw  =  new  StringWriter()        new  MarkupBuilder(sw).html  {                body  {                        div  name                }        }        sw.toString()}Statiquement vérifiéDynamique
  55. 55. Vérificationsparinstanceof@TypeChecked  void  test(Object  val)  {        if  (val  instanceof  String)  {                println  val.toUpperCase()        }  else  if  (val  instanceof  Number)  {                println  "X"  *  val.intValue()        }}
  56. 56. Vérificationsparinstanceof@TypeChecked  void  test(Object  val)  {        if  (val  instanceof  String)  {                println  val.toUpperCase()        }  else  if  (val  instanceof  Number)  {                println  "X"  *  val.intValue()        }}Pas besoinde cast
  57. 57. Vérificationsparinstanceof@TypeChecked  void  test(Object  val)  {        if  (val  instanceof  String)  {                println  val.toUpperCase()        }  else  if  (val  instanceof  Number)  {                println  "X"  *  val.intValue()        }}Pas besoinde castPas besoinde cast
  58. 58. Vérificationsparinstanceof@TypeChecked  void  test(Object  val)  {        if  (val  instanceof  String)  {                println  val.toUpperCase()        }  else  if  (val  instanceof  Number)  {                println  "X"  *  val.intValue()        }}Pas besoinde castPas besoinde castComprends la méthode duGDK : String#multuply(int)
  59. 59. LowestUpperBound• Le plus petit « super » type commun• peut-être virtuel (« non-dénotable »)@TypeChecked  test()  {        //  an  integer  and  a  BigDecimal        return  [1234,  3.14]}
  60. 60. LowestUpperBound• 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<Number & Comparable>
  61. 61. Flowtyping• La vérification statique « suit » le type desvaleurs 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  !}
  62. 62. Pô très clean ton code,non mais allô quoi ?
  63. 63. Pô très clean ton code,non mais allô quoi ?Ben non !
  64. 64. Vérificationstatiqueetcodedynamique• La vérification statique à la compilation• @TypeChecked ne change pas le comportement• ne pas confondre avec compilation statique• La plupart des fonctionnalités dynamiquesne 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
  65. 65. Pasdemétaprogrammationdynamique@TypeChecked  void  test()  {        Integer.metaClass.foo  =  {}        123.foo()}
  66. 66. Pasdemétaprogrammationdynamique@TypeChecked  void  test()  {        Integer.metaClass.foo  =  {}        123.foo()}Accès au champdynamiquemetaClass interdit
  67. 67. Pasdemétaprogrammationdynamique@TypeChecked  void  test()  {        Integer.metaClass.foo  =  {}        123.foo()}Accès au champdynamiquemetaClass interditMéthode nonreconnue
  68. 68. Typeexplicitepourlesparamètresdeclosure@TypeChecked  test()  {        ["a",  "b",  "c"].collect  {                it.toUpperCase()  //  Pas  d’accord  !        }}
  69. 69. Typeexplicitepourlesparamètresdeclosure@TypeChecked  test()  {        ["a",  "b",  "c"].collect  {  String  it  -­‐>                it.toUpperCase()  //  OK,  une  String        }}
  70. 70. Typeexplicitepourlesparamètresdeclosure@TypeChecked  test()  {        ["a",  "b",  "c"].collect  {  String  it  -­‐>                it.toUpperCase()  //  OK,  une  String        }}Obligé d’indiquer letype explicitement
  71. 71. Typeexplicitepourlesparamètresdeclosure@TypeChecked  test()  {        ["a",  "b",  "c"].collect  {  String  it  -­‐>                it.toUpperCase()  //  OK,  une  String        }}Obligé d’indiquer letype explicitementLa liste peutcontenir n’importequoi à l’exécution !
  72. 72. Mais si c’est pô dynamique,on peut compilerstatiquement ?
  73. 73. Mais si c’est pô dynamique,on peut compilerstatiquement ?Ben oui !
  74. 74. Compilationstatique• Etant donné que le code est vérifié, que l’oninfè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ésen JDK < 7, pour bénéficier d’améliorationsde performances
  75. 75. Avantagesdelacompilationstatique• 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 peutinterférer avec vos frameworks• du bytecode généré plus petit
  76. 76. Ouais, ch’faisc’que j’veuxavec ton code
  77. 77. Ouais, ch’faisc’que j’veuxavec ton codeNiark !
  78. 78. Inconvénientsdelacompilationstatique• 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 aussiproche de Groovy « classique » que possible
  79. 79. Mixercompilationstatiqueetcodedynamique@CompileStaticString  greeting(String  name)  {        //  call  method  with  dynamic  behavior        //  but  with  proper  signature        generateMarkup(name.toUpperCase())}  //  usual  dynamic  behaviorString  generateMarkup(String  name)  {        def  sw  =  new  StringWriter()        new  MarkupBuilder(sw).html  {                body  {                        div  name                }        }        sw.toString()}
  80. 80. Mixercompilationstatiqueetcodedynamique@CompileStaticString  greeting(String  name)  {        //  call  method  with  dynamic  behavior        //  but  with  proper  signature        generateMarkup(name.toUpperCase())}  //  usual  dynamic  behaviorString  generateMarkup(String  name)  {        def  sw  =  new  StringWriter()        new  MarkupBuilder(sw).html  {                body  {                        div  name                }        }        sw.toString()}Statiquement compilé
  81. 81. Mixercompilationstatiqueetcodedynamique@CompileStaticString  greeting(String  name)  {        //  call  method  with  dynamic  behavior        //  but  with  proper  signature        generateMarkup(name.toUpperCase())}  //  usual  dynamic  behaviorString  generateMarkup(String  name)  {        def  sw  =  new  StringWriter()        new  MarkupBuilder(sw).html  {                body  {                        div  name                }        }        sw.toString()}Statiquement compiléDynamique
  82. 82. Mixercompilationstatiqueetcodedynamique@CompileStaticString  greeting(String  name)  {        //  call  method  with  dynamic  behavior        //  but  with  proper  signature        generateMarkup(name.toUpperCase())}  //  usual  dynamic  behaviorString  generateMarkup(String  name)  {        def  sw  =  new  StringWriter()        new  MarkupBuilder(sw).html  {                body  {                        div  name                }        }        sw.toString()}Statiquement compiléDynamiqueAppel d’uneméthode aucontenudynamique
  83. 83. Mixercompilationstatiqueetcodedynamique@CompileStaticString  greeting(String  name)  {        //  call  method  with  dynamic  behavior        //  but  with  proper  signature        generateMarkup(name.toUpperCase())}  //  usual  dynamic  behaviorString  generateMarkup(String  name)  {        def  sw  =  new  StringWriter()        new  MarkupBuilder(sw).html  {                body  {                        div  name                }        }        sw.toString()}Statiquement compiléDynamiqueAppel d’uneméthode aucontenudynamiqueLa signature d’uneméthode est uncontrat !
  84. 84. Etlaperformancedanstoutça?• Comparaisons entre :• Java• Groovy• avec compilation statique — Groovy 2.0• avec optimisations types primitifs — Groovy 1.8+• sans optimisation — Groovy 1.7
  85. 85. Etlaperformancedanstoutça?FibonacciPi (π)quadratureBinarytreesJavaStaticcompilationPrimitiveoptimizationsNo prim.optimizations191 ms 97 ms 3.6 s197 ms 101 ms 4.3 s360 ms 111 ms 23.7 s2590 ms 3220 ms 50.0 s1.71.82.x
  86. 86. ...maintenantGroovy2.1Support complet d’invoke dynamicMéta-annotationsConfiguration avancée du compilateurExtensions du typechecker
  87. 87. Invoke DynamicSupport completde Invoke Dynamic
  88. 88. Supportcompletd’invokedynamic• Dans Groovy 2.0, tous les appels de méthodene 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.1utilise « invoke dynamic » partout• Sur JDK < 7, encore du « call site caching »
  89. 89. Méta-annotationsUn annotation pourles gouverner toutes !
  90. 90. Méta-annotations• Créer des méta-annotationsqui combinent et / ou paramétrisentd’autres annotations• Et qui fonctionnent avec les annotations destransformations d’AST
  91. 91. Méta-annotations@Immutable@ToString(excludes  =  ["age"])@AnnotationCollector@interface  MyAlias  {}
  92. 92. Méta-annotations@Immutable@ToString(excludes  =  ["age"])@AnnotationCollector@interface  MyAlias  {}Annotations collectées
  93. 93. Méta-annotations@Immutable@ToString(excludes  =  ["age"])@AnnotationCollector@interface  MyAlias  {}Annotations collectéesLe collecteur
  94. 94. Méta-annotations@Immutable@ToString(excludes  =  ["age"])@AnnotationCollector@interface  MyAlias  {}Annotations collectéesLe collecteurVotre propre aliasd’annotation
  95. 95. Méta-annotations@Immutable@ToString(excludes  =  ["age"])@AnnotationCollector@interface  MyAlias  {}@MyAliasclass  Foo  {        String  name        int  age}Annotations collectéesLe collecteurVotre propre aliasd’annotation
  96. 96. Méta-annotations@Immutable@ToString(excludes  =  ["age"])@AnnotationCollector@interface  MyAlias  {}@MyAliasclass  Foo  {        String  name        int  age}Annotations collectéesLe collecteurVotre propre aliasd’annotationUtilisez votreméta-annotation
  97. 97. L’annotation@DelegatesToAméliorer l’outillagepour le support desDomain-Specific Languages
  98. 98. Annotation@DelegatesTo• La vérification statique fonctionne bien aveccertains Domain-Specific Languages• « command chains », méthodes d’extension...• Mais pas pour les DSLs utilisant desclosures et de la délégation d’appel• souvent utilisé dans les DSLs comme Gradletask  copyTask(type:  Copy)  {        from  src/main/webapp        into  build/explodedWar}
  99. 99. Annotation@DelegatesToexec(spec)  {        foo()}
  100. 100. Annotation@DelegatesToclass  ExecSpec  {        void  foo()}exec(spec)  {        foo()}
  101. 101. Annotation@DelegatesToclass  ExecSpec  {        void  foo()}void  exec(ExecSpec  sp,  Closure  c)  {        c.delegate  =  sp        c()}exec(spec)  {        foo()}
  102. 102. Annotation@DelegatesToclass  ExecSpec  {        void  foo()}void  exec(ExecSpec  sp,  Closure  c)  {        c.delegate  =  sp        c()}exec(spec)  {        foo()}Le vérificateur statique ne saitrien de la méthode foo()
  103. 103. Annotation@DelegatesToclass  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 saitrien de la méthode foo()
  104. 104. Annotation@DelegatesTo• Avec une autre stratégie de délégationvoid  exec(ExecSpec  sp,  Closure  c)  {        c.delegate  =  sp        c.resolveStrategy  =  DELEGATE_FIRST        c()}
  105. 105. Annotation@DelegatesTo• Avec une autre stratégie de délégationvoid  exec(ExecSpec  sp,  Closure  c)  {        c.delegate  =  sp        c.resolveStrategy  =  DELEGATE_FIRST        c()}Annoter avec@DelegatesTo(value = ExecSpec,strategy = DELEGATE_FIRST)
  106. 106. Annotation@DelegatesTo• Utiliser Target pour préciser à qui déléguervoid  exec(ExecSpec  sp,  Closure  c)  {        c.delegate  =  sp        c()}
  107. 107. Annotation@DelegatesTo• Utiliser Target pour préciser à qui déléguervoid  exec(ExecSpec  sp,  Closure  c)  {        c.delegate  =  sp        c()}@DelegatesTo.Target(‘‘id’’)
  108. 108. Annotation@DelegatesTo• Utiliser Target pour préciser à qui déléguervoid  exec(ExecSpec  sp,  Closure  c)  {        c.delegate  =  sp        c()}@DelegatesTo.Target(‘‘id’’) @DelegatesTo(target = ‘‘id’’)
  109. 109. Annotation@DelegatesTo• Intéressant surtout pour les DSLs utilisationla délégation d’appeldans 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 lacompilation statique
  110. 110. Etendre levérificateurPour aller plus loinque Java lui même
  111. 111. Etendrelevérificateurstatiquedetype• Etendre le vérificateur pourle 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...}
  112. 112. Etendrelevérificateurstatiquedetype• Etendre le vérificateur pourle 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 uneméta-annotation
  113. 113. • Aider le vérificateur lorsque...• impossible d’inférer un type• aucune méthode trouvée• pas d’attribut trouvé• assignation incorrecteEtendrelevérificateurstatiquedetype
  114. 114. • Votre extension a accès àune API orientée événementEtendrelevérificateurstatiquedetype• onMethodSelection• afterMethodCall• beforeMethodCall• afterVisitMethod• beforeVisitMethod• methodNotFound• unresolvedVariable• unresolvedProperty• unresolvedAttribute• incompatibleAssignment
  115. 115. EtendrelevérificateurstatiquedetypeonMethodSelection  {  expr,  method  -­‐>  ...  }afterMethodCall  {  mc  -­‐>  ...  }unresolvedVariable  {  var  -­‐>  ...  }methodNotFound  {  receiver,  name,  argList,  argTypes,  call  -­‐>  ...  }incompatibleAssignment  {  lhsType,  rhsType,  expr  -­‐>  ...  }
  116. 116. EtendrelevérificateurstatiquedetypeonMethodSelection  {  expr,  method  -­‐>  ...  }afterMethodCall  {  mc  -­‐>  ...  }unresolvedVariable  {  var  -­‐>  ...  }methodNotFound  {  receiver,  name,  argList,  argTypes,  call  -­‐>  ...  }incompatibleAssignment  {  lhsType,  rhsType,  expr  -­‐>  ...  }MyExtension.groovy
  117. 117. EtendrelevérificateurstatiquedetypeonMethodSelection  {  expr,  method  -­‐>  ...  }afterMethodCall  {  mc  -­‐>  ...  }unresolvedVariable  {  var  -­‐>  ...  }methodNotFound  {  receiver,  name,  argList,  argTypes,  call  -­‐>  ...  }incompatibleAssignment  {  lhsType,  rhsType,  expr  -­‐>  ...  }MyExtension.groovyApprenez votreAST Groovy !
  118. 118. EtendrelevérificateurstatiquedetypeonMethodSelection  {  expr,  method  -­‐>  ...  }afterMethodCall  {  mc  -­‐>  ...  }unresolvedVariable  {  var  -­‐>  ...  }methodNotFound  {  receiver,  name,  argList,  argTypes,  call  -­‐>  ...  }incompatibleAssignment  {  lhsType,  rhsType,  expr  -­‐>  ...  }MyExtension.groovyApprenez votreAST Groovy !Pas besoind’être compilé
  119. 119. • Quelques exemples...• Vérifier qu’une chaîne représentantune requête SQL est valide• Vérifier le type des arguments passés àsprintf() avec le pattern de la chaîneEtendrelevérificateurstatiquedetype
  120. 120. Configurer lecompilateurClasse de script de baseScript de configurationDSL de configuration
  121. 121. Customiserlecompilateur• Groovy 1.8 a introduit la notionde « 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 pardéfaut
  122. 122. Customiserlecompilateur• Nouvelles options• --basescriptpour définir une classe de base pour les scripts• --configscriptpour indiquer un script qui va configurerCompilerConfiguration
  123. 123. Customiserlecompilateur• Rajouter la transformation @ToString•import  groovy.transform.ToStringimport  org.codehaus.groovy.control.customizers              .ASTTransformationCustomizerconfiguration.addCompilationCustomizer(        new  ASTTransformationCustomizer(ToString))
  124. 124. Customiserlecompilateur• Rajouter la transformation @ToString•import  groovy.transform.ToStringimport  org.codehaus.groovy.control.customizers              .ASTTransformationCustomizerconfiguration.addCompilationCustomizer(        new  ASTTransformationCustomizer(ToString))Instance de CompilerConfigurationinjectée par défaut
  125. 125. Customiserlecompilateur• Un petit DSL pour simplifier la configurationconfiguration.customizers  {        //  apply  to  MyBean.groovy        source(basename:  MyBean)  {                ast(ToString)        }}
  126. 126. Customiserlecompilateur• Un petit DSL pour simplifier la configurationconfiguration.customizers  {        //  apply  to  MyBean.groovy        source(basename:  MyBean)  {                ast(ToString)        }}configuration.customizers  {        //  apply  to  *.gbean  files        source(extension:  .gbean)  {                ast(ToString)        }}
  127. 127. Customiserlecompilateur• Un petit DSL pour simplifier la configurationconfiguration.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                }        }}
  128. 128. Pour en savoir plus...Groovy2.0http://groovy.codehaus.org/Groovy+2.0+release+notesGroovy2.1http://groovy.codehaus.org/Groovy+2.1+release+notes
  129. 129. Et après ?Groovy3 !Nouveau « MOP »Nouvellegrammaire Antlr v4Support des lambdasdeJava8
  130. 130. Parlonsunpeuderoadmap...2014201420132012Groovy 2.1Groovy 3.0Groovy 2.0
  131. 131. Parlonsunpeuderoadmap...2014201420132012Groovy 2.1Groovy 3.0Groovy 2.0
  132. 132. Parlonsunpeuderoadmap...2014201420132012Groovy 2.1Groovy 3.0Groovy 2.0
  133. 133. MOP2
  134. 134. GrammaireAntlr4
  135. 135. λLambdasJDK8
  136. 136. 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
  137. 137. 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
  138. 138. Questions&Réponses
  139. 139. N’oubliez pas l’atelier...Groovy,lesmainsdanslecambouis14h30 — 16h00 / Salle Dijkstra
  140. 140. Merci!@glaforge http://glaforge.appspot.com http://gplus.to/glaforge 
  141. 141. Créditsimages• cerisierhttp://wallpaperswide.com/cherry_blossom_3-wallpapers.html• NKOTBhttp://images1.fanpop.com/images/photos/2300000/nkotb-new-kids-on-the-block-2314664-1280-960.jpg• tomateshttp://www.infoescola.com/wp-content/uploads/2011/01/tomate.jpg• patateshttp://toooof.free.fr/blogs/captainslip/screenshots/pommes_de_terre.jpg• canardhttp://www.objets-publicitaires-pro.com/images/objet-publicitaire/produit/large/canard-geant-a-personnaliser-jaune.jpg• grincheuxhttps://si0.twimg.com/profile_images/3115998027/b47c180a703a5ffa7d1437a66f545dc0.jpeg• singehttp://static.ddmcdn.com/gif/how-to-draw-animals-31.jpg• warninghttp://th07.deviantart.net/fs71/PRE/i/2012/261/8/6/warning_gangnam_style_zone_by_untoucheddesigns-d5f6bal.png• coyotehttp://nittygriddy.com/wp-content/uploads/2011/01/Wiley-Coyote-Help.jpg• ringhttp://img.banggood.com/images/upload/2012/limin/SKU028431_11.JPG• magnifying glasshttp://www.renders-graphiques.fr/image/upload/normal/loupe.png• chronomètrehttp://www.moineau-instruments.com/59-thickbox/chronometre-mecanique-1-10-t15-mn-2-fonctions.jpg• that’s all folkshttp://4.bp.blogspot.com/-wJxosualm48/T4M_spcUUjI/AAAAAAAAB8E/njfLjNZQdsc/s1600/thats-all-folks.jpg• MOPhttp://imagethumbnails.milo.com/024/913/894/trimmed/24913521_25989894_trimmed.jpg• grammarhttp://edudemic.com/wp-content/uploads/2012/11/connected-learner-grammar.jpg
  1. A particular slide catching your eye?

    Clipping is a handy way to collect important slides you want to go back to later.

×