Slashdot Mirror


Groovy For Domain-Specific Languages

RickJWagner writes "This is a book targeted primarily towards the Java programmer who doesn't yet know Groovy. Groovy is a dynamic scripting language that runs on the JVM and offers easy integration with the Java language. Groovy also offers dynamic language features that lend themselves to the creation of DSLs (Domain-Specific Languages). This book attempts to simultaneously teach the reader how to use Groovy and how to build a DSL." Keep reading for the rest of RickJWagner's review. Groovy for Domain-Specific Languages author Fergal Dearle pages 312 publisher Packt Publishing rating 7/10 reviewer RickJWagner ISBN 184719690X summary a practical tutorial, walking the reader through examples of building DSLs with Groovy covering meta-programming with Groovy DSLs are something of a hot topic these days. A DSL is a 'Little Language' or a language written just for one business domain. As programmers, we're familiar with DSLs whether we realize it or not-- each time you use 'Make' to build a C project, or use 'Ant' to make a Java project, you're using a DSL. A DSL is a purpose-built language, with it's own verbs, rules, syntax, etc. It's made for one purpose only, and is meant to make things as easy as possible for the intended user. If the user has a need outside what the DSL can provide-- they're just tough out of luck! General purpose languages are for doing whatever the user needs-- DSLs are for doing only one task, but making that one task exceedingly easy for the user.

The book does a good job of making Groovy understandable for a Java coder. Programmers of other stripes would be able to use the book, but the author aimed squarely for the Java sweet spot and I think did a good job of hitting it. Where language integration was to be shown, the JDK was the reciprocal part in the examples, and the classes singled out for interfacing were ones that would be well-known to a Java coder.

Writing DSLs has been done for many years, but was largely an undocumented process until just recently. I think the rise of dynamic languages has something to do with that. Dynamic languages offer some key features that make DSL creation a little easier. A few of these features the book covers are closures and meta-programming. Closures are anonymous methods, packaged in such a way that they can be passed as parameters to other methods. Meta-programming is using code to write other code, and can be used to perform some neat tricks like allowing the user to call methods that don't have a previously written definition. (If that sounds really strange to you, I agree. But it turns out this is something very handy if you're writing a DSL!)

The book is written in a way that thoroughly the breadth of features offered by the Groovy language, but not a lot of depth in all of them. For this reason, I found myself sometimes referring to external sources when I was encountering some language construct that seemed a little less familiar than most. It wasn't a problem-- the book did a fine job of letting me know of the existence of some language feature and how it might be used in writing a DSL. If I didn't immediately grasp the use of the feature after the typical single example of seeing it used in sample code, I'd just pop out to the internet and get a few more examples. The book is nearly 300 pages as it is, and very little of that is wasted. I give the book good grades for technical content.

Style-wise, I found the book reasonable to read but not great. As well as the author does spelling out the nuances of the Groovy language, the DSL parts are interspersed among the chapters and sometimes could be hard to find unless you read a lot of surrounding technical content. Maybe this is the only way to cover two meaty topics at once, I don't know. But I found myself doing quite a bit of paging when I wanted to refer back to DSL-specific advice, sometimes falling back to the chapter-by-chapter summary in the front of the book to get myself in the right neighborhood.

The book has plenty of sample code, which I found well constructed and easy to read. The author adapted the practice of writing small snippets of code, then used assertions to demonstrate the behavior the reader would expect if the code were to be executed. I really liked that. The code itself was always cleanly formatted and minimal in length, which made it very easy to read.

So, did the book hit it's target? I believe it did. The strengths of using Groovy for Domain Specific Languages are drawn out, and the Groovy language is given a thorough overview. Java coders will find this book a reference that will let them start using dynamic features while still staying on the JVM. (By the way, Groovy compiles to Java, so all your existing Java code is usable from Groovy. So you might write an application that's 95% Java and 5% Groovy, and that's just fine with Groovy.) I think this book covered a lot of ground and did it well.

You can purchase Groovy for Domain-Specific Languages from amazon.com. Slashdot welcomes readers' book reviews -- to see your own review here, read the book review guidelines, then visit the submission page.

21 of 81 comments (clear)

  1. Well, not quite... by macroexp · · Score: 5, Informative

    "Writing DSLs has been done for many years, but was largely an undocumented process until just recently."

    Not to discount the review, but that's a bit misleading. There are plenty of books dealing with lex/flex and yacc/bison, which have been used for years to do the same things in a precompiled manner. .Net and Java "just recently" discovered this and have popularized the term DSL for it.

    1. Re:Well, not quite... by Anonymous Coward · · Score: 2, Interesting

      Exactly - lex and yacc have been around since the 1970's, and the process is quite well understood and documented.

      The article was probably written by someone without a formal CS degree, who was unaware of these things. Nothing wrong with ad-hoc learning of course, it works great for many folks, it's just that you don't get exposed to certain things unless you manage to discover that you should go invest in learning about them.

    2. Re:Well, not quite... by metamatic · · Score: 5, Insightful

      There are plenty of books dealing with lex/flex and yacc/bison, which have been used for years to do the same things in a precompiled manner.

      Not to mention Lisp, which has been around since the 50s as a tool for solving problems by building domain-specific Lisp variants.

      --
      GCHQ Quantum Insert installed. If only our tongues were made of glass, how much more careful we would be when we speak
    3. Re:Well, not quite... by Anonymous Coward · · Score: 2, Insightful

      And there's plenty of DSL material for groovy online already.

      Other seriously questionable sentences :

      "Groovy is compiled"
      "Closures are anonymous methods, packaged in such a way that they can be passed as parameters to other methods." - this is like describing a porsche by stating it generally has 4 wheels
      "Meta-programming is using code to write other code"
      "and can be used to perform some neat tricks like allowing the user to call methods that don't have a previously written definition."

      All extremely misleading statements

    4. Re:Well, not quite... by Lunix+Nutcase · · Score: 3, Insightful

      You seem to be equating the reviewer's poor grasp of the subject matter to trying to equate that Java and .NET developers as a whole think they invented or discovered the notion of a "minilanguage" (or DSL in this case). This is simply not true. Secondly, the term "domain-specific language" was being used almost a decade before C# even came out and long before any such things were being built on top of the JVM.

    5. Re:Well, not quite... by overlordofmu · · Score: 3, Insightful

      Thank you for the LISP reference. Instead of ranting about no one mentioning this obvious example, I get to say "thank you".

    6. Re:Well, not quite... by ari_j · · Score: 4, Informative

      I stopped reading the review when I got to the "largely an undocumented process until just recently" line, as well. The best book on DSLs I've ever seen is On Lisp, published in 1993 and available for free from the author. Lisp is almost a meta-DSL - a domain-specific language for the domain of writing domain-specific languages - and this book will get you from "I don't get why the professor is making us write Hello World in Lisp" to thinking in terms of DSLs (and applying that thought process to all programming languages) between its covers.

      You can, of course, write DSLs in any language. But you should learn to do so as a matter of writing DSLs instead of as a language-specific technique. How worthwhile is it to read a book about how to make a linked list specifically in Pascal? Learn how to do the thing in a conceptual sense and then use your knowledge of a language to turn the concept into code.

    7. Re:Well, not quite... by slater.jay · · Score: 2, Insightful

      To clarify: the groovy 'interpreter' (groovy) is the groovy compiler (groovyc), except it doesn't save its work and just runs the bytecode straight away.

    8. Re:Well, not quite... by I+cant+believe+its+n · · Score: 2, Funny

      How is grovvy formed?

      --
      She made the willows dance
    9. Re:Well, not quite... by mcvos · · Score: 2, Interesting

      It looks like the reviewer is fairly new to this programming thing, and this was the first insightful book he read on the subject, but he didn't understand everything completely.

      By the way, Groovy is compiled. Sort of, in a dynamic way. And it's bloody annoying. When I run Grails and change class A, groovy needs some time to recompile, and then complains it can't cast class A to class A. I never had that problem with Ruby (although Ruby has its own share of reliability issues).

  2. Let me get THIS straight..... by Anonymous Coward · · Score: 5, Funny

    "A DSL is a purpose-built language, with it's own verbs, "

    You software lunatics are continually re-inventing dozens of languages, each looking like an explosion at a typesetter company, but are unable to grasp the simple distinction between it's and its?

  3. Dynamic Languages? by LeotheQuick · · Score: 4, Informative

    Perhaps a candidate for the latest "revelatory" term. IMHO tailoring languages like Groovy or BSH is a lot of fun and can be pretty easy to do, but it's far from a true "dynamic language". Poster above is right about lex / yacc / bison. Also in the C++ world I can recall reading about boost's "spirit" library. Although I think more of these as "parser generators" (perhaps a less revelatory term), at least that is what they were intended to be. Groovy and BSH are mostly nice cause of how they so cleanly interface with java at runtime (both are capable of resolving references via the classloader). I've always found that using them has been a pretty ugly exercise.

    1. Re:Dynamic Languages? by hibiki_r · · Score: 2, Insightful

      That's a major oversimplification. Groovy is not all that Ruby-like in the end. It has closures, and there's a library that resembles Ruby on Rails on it, but it's not really the same kind of animal. I'd say it's closer to a version of Java that tries to look like a scripting language than it is to a version of Ruby that tries to interact with a JVM.

      In newer versions of groovy, you could copy Java code, paste it in a .groovy file, and the groovy compiler will treat it as groovy.

    2. Re:Dynamic Languages? by mcvos · · Score: 2, Interesting

      It's a shame. Superficially it looks a lot like Java with all the good stuff from Ruby in it, but Groovy is really hampered by its compatibility with Java.

      0 evaluating as false is really incredibly annoying, and a major cause of bugs.

  4. Parser generators by Animats · · Score: 2, Interesting

    Parser generators are a well-studied problem, and there are good solutions. Unfortunately, the "dynamic scripting language" people don't seem to be much into parsing theory. Trying to get a complex grammar to go through yacc or bison isn't easy, but at least once the parser generator will accept it, you know you've hammered out the ambiguities. It's much easier to get parsers from systems like "pyparsing" to sort of work, but you have to run many test cases to get them to work right.

    (I'm currently writing a parser with "pyparsing" for US postal addresses. There's a trivial one available, but it doesn't handle the hard cases, and I had to essentially rewrite it. This is not fun. Some current fails: "969 Edgewater G370", "32545B Golden Lantern 147", "3853 7 Trees Blvd". It's not too hard to get to 98% success; then there's a proliferation of special cases.)

    1. Re:Parser generators by $RANDOMLUSER · · Score: 3, Insightful

      It's not about parsers, or parser generators, and particularly not about "parsing theory" at all. It's about writing programs that read and write programs; in the case of DSLs, it's about writing a program in one language, that accepts a program written in another (domain specific) language, which then either performs actions or writes yet another program. As an example, make, written in C, reads a makefile, which contains a domain-specific language which tells make what to do. Or, in the case of lex and yacc, two C programs which read files written in their own mini-languages and output a third program, the lexer/parser itself.

      Back in the early 80's, I wrote a control program for a HIPOT tester (in FORTH) which read in a file that looked like:
      Test1: Pin 5, 10000 volts, 10 seconds;
      Test2: Pin 3, 15000 volts, 5 seconds;
      etc.

      The control program ran the tests, determined pass/fail, printed failure tickets, etc. The test engineers never knew they were "writing programs", they just thought they were describing a series of test steps to perform.

      --
      No folly is more costly than the folly of intolerant idealism. - Winston Churchill
  5. Re:What about FORTH? by digitig · · Score: 2, Interesting

    No, FORTH is general purpose, even though it was developed for a particular domain (real-time control). The language extensibility means it's great for writing DSLs as long as security isn't an issue and you don't mind them being reverse Polish (in other words, DSLs for geeks working in god mode anyway), but it's hard to avoid whatever DSL you write being embedded within the general purpose language.

    --
    Quidnam Latine loqui modo coepi?
  6. Mod parent up +1 WTF by ari_j · · Score: 2, Funny

    Best. Comment. Evar.

  7. Good idea by ch-chuck · · Score: 2, Funny

    I'll have to add the Domain Specific Language to my proposal for cloud computing to be presented at the management consultant meeting.

    --
    try { do() || do_not(); } catch (JediException err) { yoda(err); }
  8. Re:Let me get THIS straight..... by Anonymous Coward · · Score: 2, Informative

    the simple distinction between it's and its?

    As someone who isn't a native english speaker, I disagree with the "simple" part. Or well, it is simple but it most certainly isn't logical! After a decade of studying english and using it practically daily, I still always need to think a few seconds before writing either "its" or "it's".

  9. Re:Do we need this? by DuckDodgers · · Score: 2, Interesting

    I don't use Groovy, but I understand it was originally built to satisfy your second requirement. It fits in the existing setup of Java servlets and the JVM, but is a scripting language. Using Groovy to cut out the need to recompile and reload your Java web application after most changes often speeds development time dramatically.

    Over the past few years a few other methods for loading changes to your Java web app without reloading the entire application have appeared, and I don't see a need for Groovy. But I understand why it was created, and I think its existence probably helped other people to brainstorm cleaner ways to have their applications reload changes more quickly.