Many, many tools perform static analysis on code. There are all sorts of automated ways to look through your code and tell you if there are likely errors or not. FindBugs, PMD, and CheckStyle are some of the big names from the Java world. On the Groovy side we have two real options: IntelliJ IDEA and CodeNarc.
This post (over on the Canoo Blog) highlights my favorite static analysis rules for Groovy in IDEA that are not enabled by default. Groovy in IDEA 11 has well over 100 rules, but less than half of them are activated when you install the product. To turn these rules on you’ll need to go into Settings (Ctrl+Alt+S) and enable them under Inspections.
So surf over to the main post and check it out. If you want to leave a comment, then do it on the DZone page. I've been turning comments off on the main posts.
If you like this then you might check out some of my other IDEA related posts: The 10 Best Inspections You’re Not Using (in Java), or the IDEA archive on my blog and the Canoo blog.
And remember if you need Groovy and Grails help, then give me a call or drop me an email at hamlet.darcy@canoo.com
Wednesday, January 18, 2012
The Best Groovy Inspections You’re Not Using
Posted by Hamlet D'Arcy at 7:51 AM 0 comments
Tuesday, December 20, 2011
IntelliJ IDEA 11 for the Groovy Developer
IntelliJ IDEA 11 was released a few weeks ago, and it contains quite a few new features for the Groovy developer. Everything listed in my blog post is in the free and open source Community Edition of IntelliJ IDEA. There are plenty of new Grails features as well, but I wanted to separate out the Ultimate Edition features into a different post.
To read the full post, surf on over to the Canoo Blog: http://www.canoo.com/blog/2011/12/20/intellij-idea-11-for-the-groovy-developer/
And, as usual, you can vote for this thing over at DZone.
Thanks everyone.
Posted by Hamlet D'Arcy at 3:57 AM 0 comments
Thursday, December 8, 2011
The Art of Groovy Command Expressions in DSLs
Domain Specific Languages (DSLs) are often littered with the accidental complexity of the host language. Have you ever seen a supposedly “friendly” language expression like “ride(minutes(10)).on(bus).towards(Basel)”. The newest version of Groovy contains a language feature that aims to eliminate the noise of all those extra periods and parenthesis, so that your DSL looks more like “ride 10.minutes on bus towards Basel”. This article shows you step-by-step how to use Groovy Command Expressions and plain old metaprogramming to write just this DSL, and also offers advice on when, and when not, to use this new language feature.
The full article is available over on the Canoo Blog: http://www.canoo.com/blog/2011/12/08/the-art-of-groovy-command-expressions-in-dsls/
And of course you can upvote in all the usual places.
Until next time...
Posted by Hamlet D'Arcy at 3:09 AM 0 comments
Monday, August 1, 2011
Should Static Type-Checked Compilation Come to Groovy?
Please note: As always, I speak for myself alone and not as a representative for any project or company. These are my opinions and reading of an ever-changing situation.
There were some internal discussions about "Grumpy mode" among some of the Groovy committers. I had a lot of reservations about introducing static-typing or static-mode into Groovy. When I thought about the idea I come up with many unanswerable questions. Is it a good idea or not? Only time will tell. Here are some of the questions that I wish I had answers to.
What exactly do users want?
Do people want a static language with a dynamic backdoor, such as the way C#/.NET has a dynamic keyword or the way you can use Groovy++ by default with the .gpp file extension and then sprinkle in @Dynamic annotations? This is one approach, where the core of your language is statically typed but you have an option to escape into dynamic-land. Or do people want a dynamic language with a static backdoor, which Groovy will be (as far as I know) one of the few examples of. This use case is the same as adding an @Typed keyword to your Groovy code to enable static compilation, or adding an @Grumpy keyword. Or do people just want better performance from Groovy, end of story?
If you want a statically typed language without the verbosity of Java then use Scala. Yes, Scala is complex. But Groovy is just as complex. Does anyone really know Groovy without reading a few books? Yes you can get things done, but understanding metaprogramming, understanding method dispatch, and understanding all the closure options (delegates, delegate-first, trampoline) is just as complex. I am excited about Kotlin and think it looks like a great statically-typed language, but at this point it is nothing more than a slidedeck and a wiki for anyone that isn't on the IntelliJ IDEA development team. It's not available to anyone.
I honestly don't think a Grumpy mode will boost my productivity much. Will it aide in language adoption? I say probably not. In my opinion there are three large barriers to Groovy adoption in the mainstream: performance, tooling, and bugs. Not being statically typed is a connoisseurs criticism, and connoisseurs generally chase after things that are interesting rather than good (it's been said about me as well). Groovy is a language that appeals to people that just want to get something done; it's about productivity not about programming language theory. Adding static typing might please some high-end connoisseurs if it is done in a good way, but I have trouble believing it will please many real users. Search the web for "Groovy sucks". You won't find pages about dynamic type systems, you'll find performance benchmarks. In my personal experience, people I talk to about Groovy++ are asking about performance. Sure, traits are clever. Sure, the type-checking is an interesting idea. But the interest is in performance. Alex's blog posts are mostly about x-thousand transactions per second, or beating Scala performance. I think the number 1 priority of Groovy++ is performance, and type checking is a 2nd nice to have benefit.
And what about people that want a static language with a dynamic backdoor (for builder objects perhaps)? Other languages have this. C# has a "dynamic" variable, right? Boo has a dynamic variable as well, and even lowly Flex has dynamic XML support. This is useful and valuable. I would love to see an @Groovy annotation in Java, where you escape from Java into Groovy, rather than an @Grumpy annotation for Groovy. The benefit of @Groovy for Java is that tool support is the best in the world (without a doubt) and the language has a specification, is well known, and is well tested. Of course, an @Groovy annotation would only ever work with core Java language grammar changes or very ugly hacks.
Lastly, do users just want static compile-time typing for tooling support to catch silly errors as early as possible? Well yes they want that. Who wouldn't? But who is writing Groovy code without testing it? And we already do a great job of recommending suggestions when methods fail ("hashode not found. Did you mean hashcode()"). And the tools exist to do this. IntelliJ IDEA is very reliable in this regard and GroovyLint does the same thing on a limited scale. These features exist today but since they aren't in Eclipse by default then I suspect they are underused. Catching silly errors is entirely possible without the burden of static typing. In fact, some might say that the majority of CodeNarc errors fall into the silly category!
Can Groovy Afford the Complexity?
The Java world talks about a "complexity budget" where a language can only absorb so much complexity before developers leave for something simpler. The term "complexity budget" is poorly defined and often used as a scare tactic in hyperbolic arguments, but I often fear that Groovy could become the next C++ and overrun this arbitrary "complexity budget". C is a good and simple language. Java is a good and simple language. Neither C nor Java are good for all tasks, but they are both successful and capable of having system written in them. C++ started building on C and had every feature known to man added. Nowadays the criticism of C++ is that only 20% is safe to use, but no two C++ programmers can agree on which 20%. Groovy is a multi-paradigm language. You can script, you can OO, and you can FP. Already I am advising teams to find their standard. If you like FP then embrace curry, trampoline, and functions. If you don't then steer clear of those features. Adding a static mode is going to make Groovy more complex. The same code will most likely behave differently between Grumpy mode and not Gumpy. This is one more thing to think about when programming, even if we work to minimize the differences.
Looking at Groovy++, they have done some very cool things. But sometimes the basic features of Groovy++ and Groovy differ, and this cannot be allowed to happen because it is too complex. Already Groovy developers need to know Java and the JVM. I don't know how you could us Groovy outside of Grails without knowing Java. Introducing a new mode that is subtly different could be too much complexity.
Time and Budget Trade-offs
Adding static-mode seems to me like a big undertaking in terms of developer hours. Groovy++ is a good proof of concept for the idea, but the implementation won't be merged into core-groovy. The approach used by Groovy++ is to subclass ASTNodes with AST Transformations and then write out different bytecode for the node, fighting with groovyc to make sure the correct node is invoked. It is better to implement this feature as a part of the core compiler than as an AST transformation, and that is the route the team are currently taking.
It is wonderful that VMWare supports Groovy financially by giving several people jobs. But remember there are finite resources for the project. Any time spent on static-mode means there is less time spent on other features. There aren't enough hours in the day to do everything. So developing a high-performing and well-behaving @Grumpy mode means there are less resources to solve the performance problems of plain old Groovy. I already asserted that performance was a big barrier to wider adoption. Optimized ints are good for benchmarks and came out in Groovy 1.8, but I reckon most method calls are on user defined objects. How many ints are used in a Grails app? Maybe there is a way to do everything at once, but I'm a little sad to see performance improvements not come faster to the language.
My Wishlist
Here is my wishlist of what @Grumpy would do for me and how the feature should roll out.
Some social wishes...
Some type inference and static typing wishes...
* Closure casting to interfaces - When you cast a Closure into a Single-Method-Interface then the arity, return type, and parameter types should all be checked and verified.
So that is my wishlist, perhaps it is a connoisseur's wishlist. What is it that you want to see in Grumpy mode? What do you not want to see?
You can leave feedback here are on the Groovy dev mailing list. We'll see where this goes!
Posted by Hamlet D'Arcy at 11:21 PM 0 comments
Tuesday, July 12, 2011
Mock Objects with Spock Screencast
This screencast demonstrates how to use Spock testing specifications and Groovy for mocking and stubbing behavior in unit tests. It covers creating the mock object syntax, setting expectations, verifying and spying on results, and argument matchers.
If you have any issues with video playback, then trying viewing it from the JBrains.tv website
Here are some useful links to read for this webcast:
- Spock Framework - http://code.google.com/p/spock/
- Spock Basics Screencast: http://tv.jetbrains.net/videocontent/ffff
- Mocks and Stubs aren't Spies: http://hamletdarcy.blogspot.com/2007/10/mocks-and-stubs-arent-spies.html
- Mocking with Spocks: http://www.canoo.com/blog/2010/04/20/spock-and-test-spies-a-logical-choice/
I've made a lot of screencasts and blog posts over the years. If you like this, then there are many ways to see the other stuff I've done:
- My main blog: http://hamletdarcy.blogspot.com
- My other JetBrains.tv posts: http://tv.jetbrains.net/tags/hamlet
- IDEA related posts on my blog: http://hamletdarcy.blogspot.com/search/label/IDEA
- My screencasts on YouTube: http://www.youtube.com/user/HamletDRC
- IDEA related Posts on my work blog: http://www.canoo.com/blog/tag/idea/
- Or follow me on Twitter: @HamletDRC
Phew, that's a lot of self-promotion :)
The screencast was created with Ubuntu 10.04, PiTiVi, Audicity, gtk-RecordMyDesktop, IntelliJ IDEA, and LibreOffice. OS from top to bottom.
Thanks for watching, and leave a comment!
Posted by Hamlet D'Arcy at 6:50 PM 0 comments
Labels: groovy, unit testing
Monday, July 11, 2011
Grails Podcast Interview with Hamlet D'Arcy
Last week I sat down with the gang at the Grails Podcast and talked shop for about 45 minutes. We talked about a lot of different topics such as Groovy, Lean software, Spock, Groovy in Action, and of course Hackergarten. Check out the full audio and shownotes over at Grails Podcast Episode 125.
Posted by Hamlet D'Arcy at 3:11 PM 0 comments
Labels: groovy
Monday, May 23, 2011
IntelliJ IDEA 10.5 for the Groovy and Grails Developer
The formal release of IntelliJ IDEA 10.5 came out this month, and the new Groovy features are all part of the free and open source Community Edition, and the Grails features are part of the Ultimate Edition. IDEA X (or 10 to you non-Romans) was a larger release of the product, and I already blogged about IDEA X for Groovy and IDEA X for Grails. There’s still plenty of nice features in 10.5 though. The prices for IDEA recently dropped between $100 and $50, and anyone purchasing IDEA since last November gets 10.5 as a free upgrade.
Posted by Hamlet D'Arcy at 9:00 AM 0 comments
Friday, April 15, 2011
Getting Started with Spock and Groovy
This screencast demonstrates how to create Spock testing specifications. It covers creating basic when/then blocks, given/when/then blocks, expect/where blocks, and data tables. It explains how to create Spock file templates and Spock Live Templates for IDEA.
If there are any playback issues then you might try watching it from the JetBrains.tv site.
Here are some useful links to read for this webcast:
- Spock Framework - http://code.google.com/p/spock/
- IDEA File Templates - http://www.jetbrains.com/idea/webhelp/file-templates.html
- IDEA Live Templates - http://www.jetbrains.com/idea/webhelp/live-templates.html
To work with Spock, I use one file template and three live templates.
My file template creates a Spock Specification with the correct java package and javadoc:
The text of the template is:
#if (${PACKAGE_NAME} != "")package ${PACKAGE_NAME};#end
import spock.lang.Specification
#parse("File Header.java")
class ${NAME} extends Specification {
}
My first Live Template is the when-then template:
The text of the template is:
def "$NAME$"() {
when:
$END$
then:
true
}
The second template is the given/when/then template:
The text of the template is:
def "$NAME$"() {
given:
$END$
when:
// TODO: add when
then:
true
}
The last template is the expect/where template:
The text of the template is:
def "$NAME$"() {
expect:
$END$
where:
// TODO add where block
}
I've made a lot of screencasts and blog posts over the years. If you like this, then there are many ways to see the other stuff I've done:
- My main blog: http://hamletdarcy.blogspot.com
- My other JetBrains.tv posts: http://tv.jetbrains.net/tags/hamlet
- IDEA related posts on my blog: http://hamletdarcy.blogspot.com/search/label/IDEA
- My screencasts on YouTube: http://www.youtube.com/user/HamletDRC
- IDEA related Posts on my work blog: http://www.canoo.com/blog/tag/idea/
- Or follow me on Twitter: @HamletDRC
Phew, that's a lot of self-promotion :)
Thanks for watching, and leave a comment!
Posted by Hamlet D'Arcy at 10:58 AM 0 comments
Labels: groovy, IDEA, unit testing
Friday, March 4, 2011
Griffon MVC Groups and Event System
Griffon has a strong MVC focus, and functionality is built using MVC groups. This is not a screen or a form, an MVC group is a piece of functionality, and a single form is made of MVC groups composed together. The way MVC groups talk to each other is through an event bus, rather than being coupled directly to each other.
I created a screencast that demonstrates these concepts in just under 7 minutes. In the video, I create an app, create several MVC groups, and then wire them together with the event bus.
If the video doesn't play correctly, you may want to launch it from the JetBrains.tv site. Also, if you want to be nice then you can upvote this at DZone.
Boom. Winning.
If you like this, you can check out my other screencasts on YouTube (http://www.youtube.com/user/HamletDRC) or JetBrains.tv (http://tv.jetbrains.net/tags/hamlet)
If you want written documentation on these topics, then please read:
* The Griffon RefCard - http://refcardz.dzone.com/refcardz/getting-started-griffon
* The Griffon User Guide - http://dist.codehaus.org/griffon/guide/index.html
* The Griffon Main Site - http://griffon.codehaus.org/
Posted by Hamlet D'Arcy at 2:12 AM 0 comments
Tuesday, January 25, 2011
Effective Groovy with CodeNarc 0.12
The new release of everyone’s favorite static anaylsis engine for Groovy is here. Time to download CodeNarc 0.12 while it’s hot. And in case this is your first time, CodeNarc analyzes your Groovy code and looks for potential problems and errors, creating a nice report or flagging the problem in your IDE. It’s like FindBugs, Lint, or PMD, but for Groovy.
So what’s new in 0.12? Performance improvements, 35 new analysis rules, and a new logo. It’s supposed to be an armadillo, but no one can tell. We’re calling it the CodeNarc Grue, as in “You are in a maze of twisty little groovy scripts, all alike.” Anyway, you can read the full rundown over on the Canoo blog. My blog post describes the rules and reasons why you might want to use them.
Read the Canoo Blog Post here.
And as usual, vote at DZone or Retweet to spread the word.
Posted by Hamlet D'Arcy at 2:11 PM 0 comments
Thursday, December 23, 2010
IDEA X for the Grails Developer
The new version of IntelliJ IDEA was released last week. I already blogged what IDEA X means for Groovy developers, and all of those features are obviously available to any Community Edition user (that’s the free one). This post looks at all the new Grails features available in the Ultimate Edition (the one you pay for). These features are a little harder for me to try out personally as my current project is EJB3 and not Grails (someone save me please!). I’ve tried quite a few of them personally, but feedback is always welcome in case I miss or exaggerate something.
As usual, you can read the full article over on the Canoo blog. Feeling magnanimous? Upvote at DZone.
Happy holidays everyone. Six years ago this week I decided to take a few vacation days at my in-law's house and finally get serious about learning Java. I wrote a little Swing app called "TimeTool" whose source code I would be thoroughly embarrassed by today. What a long, strange trip it's been.
Posted by Hamlet D'Arcy at 12:08 AM 0 comments
Monday, December 20, 2010
IntelliJ IDEA X for Groovy Developers
The new version of IntelliJ IDEA was released last week. Here’s what it means for Groovy developers. I’ve tried out most of these new features, but there are one or two that I haven’t yet seen in action. Also, there’s a whole slew of Grails features that I’ll cover in a later blog post.
Without further ado, read about the features over on the Canoo Blog. As always, if you want to contribute to the hype cycle then vote this up at DZone.
Posted by Hamlet D'Arcy at 4:07 AM 0 comments
Tuesday, December 7, 2010
Slimmed Down Software – A Lean, Groovy Approach Part 6 – Respect People
Respecting people means creating an environment where the human element drives innovation and value. Creative problem solving and spontaneity are our most valuable assets, and great companies arrange their development process to let every single employee be able to exercise these traits...
This article originally appeared in the September 2010 edition of GroovyMag, the Groovy and Grails magazine. Part 7 is currently available for download from the magazine’s site, and more will come each month. Previous articles in this series are on the Canoo website: Part 1: Eliminate Waste, Part 2: Build Quality In, Part 3: Create Knowledge, Part 4: Defer Commitment, and Part 5: Deliver Fast. Lastly, if you like this, you may want to check out some of my older blog posts from my personal site under the ‘craft’ category. Enjoy!
Posted by Hamlet D'Arcy at 2:36 PM 0 comments
Thursday, December 2, 2010
Remote Script Execution with GroovySocketServer
File under: extremely dangerous but definitely fun. Here's some directions on how to execute any arbitrary Groovy script on a remote server. We're going to write a one line Groovy script that, when run, will listen to a socket and execute any incoming text as if it were Groovy script and return the result to the client. We'll do it from the command line and programatically. The client is actually more difficult to write and weighs in at a whooping 5 lines. Let's get started.
The whole article is available on the Canoo Blog. For those inclined there is certainly a Dzone Link to upvote. And none of the URLs have dirty words in them this time!
Posted by Hamlet D'Arcy at 5:02 AM 0 comments
Labels: groovy
Monday, November 29, 2010
CodeNarc and GroovyServ Screencasts
At the last Hackergarten we came together and created two screencasts, both about projects in the Groovy ecosystem.
The first is about CodeNarc, a static analysis tool for Groovy similar to FindBugs or PMD for Java. The screencast can be upvoted at DZone or watched below:
The second is about GroovyServ, an application that increases the startup time of Groovy scripts. It is in German, but is easy to follow along even if you don't speak the language. You can vote for it at DZone here and watch it below:
Be sure to follow the mailing list for future Hackergarten events... it would be great to have some more people come out and join us next time.
Posted by Hamlet D'Arcy at 12:40 PM 0 comments
Labels: groovy
Monday, November 15, 2010
Groovy CodeNarc 0.11 Unofficial Guide
Groovy CodeNarc is a static analysis tool for the Groovy language and does for Groovy what PMD and FindBugs does for Java: it analyses Groovy code for defects, mistakes, and bad practices. The new version 0.11 is a huge release for us. We’ve added over 50 new rules to the product (bringing the total to 130+ rules) and a few really great features. This is THE new look CodeNarc, and it’s ready to use today, try it out in the CodeNarc Web Console or download the package directly from the CodeNarc site. (Ant, Maven, grails, gradle, and griffon plugins all exist as well).
Posted by Hamlet D'Arcy at 12:04 PM 0 comments
Labels: groovy
Monday, November 8, 2010
There and Back Again - A Developer's Recursion Tale
Recursive functions are so 2009. All the cool kids are now scrambling to convert those legacy recursive functions into stack based iteration. Why would you ever need this, you ask? Maybe you’ve heard of my friend “StackOverflowError”, he likes to hang out on the JVM. Or maybe you’re a browser kinda guy and you’ve seen your alert messages say “Stack Overflow”. Or worst case (like me), you’re supporting IE6 and you finally figured out that the “Browser shows a blank screen” defect you can’t reproduce is IE’s way of overflowing (oh yes it really is). Well, stack based iteration is a way to leave your nice recursive function the way it is, yet still avoid the overflow errors. You just have to keep track of the function stack frames yourself by adding a little boilerplate around your method (and even that can be cleaned up fairly easily).
So here is the tale of taking the road now commonly traveled. Learning to program imperatively, writing some beautiful recursive functions, and then ripping it out again because of platform limitations. There and Back Again – A Developer’s Tale of Recursion...
Posted by Hamlet D'Arcy at 2:39 PM 0 comments
Labels: functional, groovy, recursion
Friday, November 5, 2010
Interview with Dierk Koenig – Author of Groovy in Action
Early this week I pestered Dierk Koenig into letting me ask him a few questions about Groovy past and present and the upcoming release of Groovy in Action 2nd Edition. If you aren’t aware already, Dierk is the author of Groovy in Action, a Canoo Fellow, and a Groovy, Grails and GPars committer.
You can read the complete interview over at the Canoo blog. And if you want to be a kind bro then you can vote at DZone. Do people even say "kind bro" anymore? Anyway... happy Friday.
Posted by Hamlet D'Arcy at 1:56 AM 0 comments
Labels: groovy
Wednesday, October 27, 2010
Speaking at Devoxx
Good news for me, I'll be giving a 15-minute quickie at Devoxx on the topic of Groovy Code Generation. The talk is normally a little longer, but most talks can be improved by making them shorter. I'm sure the 15 minutes will be great fun. Check out the slides for the longer version here.
Code Generation on the JVM: Writing Code that Writes Code
"The Pragmatic Programmer" admonished us all to "write code that writes code": use code generators to increase productivity and avoid duplication. Today's language communities have clearly caught on, as more and more frameworks generate code at compile time: AST Transforms, Project Lombok, Spring Roo, and more.
This session reviews these approaches including examples of how and why we'd want to do this. Come see the newest Groovy language tools, look in-depth at production deployed AST Transforms, and view libraries based on these techniques.
Audience: developers searching for cutting edge solutions to increasing team velocity.
Posted by Hamlet D'Arcy at 12:50 PM 0 comments
Monday, September 20, 2010
@Log – Groovy’s New and Extensible Logging Conveniences
The latest version 1.8 snapshot of Groovy includes a cool new logging feature called @Log. The key of @Log and the other logging annotations is that the parameters sent to logging methods are not evaluated unless that specific log level is enabled. For instance, you can call Logger.debug with a long running closure as a parameter, and if the debug log level is not enabled then the parameter is never evaluated.
Posted by Hamlet D'Arcy at 2:37 PM 0 comments
Labels: groovy