Rustan Leino and Mike Barnett on Spec#
Rustan Leino and Mike Barnett of Microsoft Research discuss the technology in Spec# and its futures.
- .NET,
Tracking change and innovation in the enterprise software development community
Posted by Rob Thornton on Sep 20, 2007 07:30 AM
Anders Noras introduced the Quaere library, billed as LINQ for Java, last week at JavaZone. Quaere is a DSL providing query functionality against any structure implementing Iterable or its Queryable interface.
Noras lists the features of Quaere:
An example of retrieving a list of product name’s from a list of products is:
Listproducts = Arrays.asList(Product.getAllProducts());
IterableproductNames =
from("p").in(products).
select("p.getProductName()");
Quaere currently has only one implementation (for objects), but a partial implementation is in place for Hibernate. The Hibernate implementation (and others with good criteria APIs) should progress quickly, Anders notes, as the demo of Hibernate only took a few hours.
Several people have noted that joSQL is a similar API. Anders himself notes the similarities but points out some key differences including:
Lastly, Noras has made an attempt to answer common questions about Quaere and has created a project for it on Codehaus.
Gamma's Jazz platform's first implementation: Rational Team Concert (Trial Download)
The Agile Business Analyst: Skills and Techniques needed for Agile
The Codehaus link at the end of the article is broken. This is the correct link.
Given the use of strings in the select and presumably where clauses, is this truly type safe? Won't type safety require closures?
Fixed the link. Thanks for the catch!
First of all a big thank-you is due for writing about my humble project. Parts of the code example provided seem to have gotten "lost in HTML". Although the code in the example will compile and run, it should make use of generics to increase type safety.
List<Product> products = Arrays.asList(Product.getAllProducts());
Iterable<String> productNames =
from("p").in(products).
select("p.getProductName()");
Cheers,
Anders
Using Strings does not provide type safety. With current Java it is still possible:
Test t = db.alias(Test.class);
db.from(t).where(t.id == 1).select(t.id, t.name);
The problem here is how to convert 't.id == 1' and 't.id, t.name' into a expression tree (and then possibly SQL). Solution: get the calling class and line number. That's easy:
StackTraceElement e = new Error().getStackTrace()[0];
Class callingClass = e.getClass();
String method = e.getMethodName();
int line = e.getLineNumber();
Now, get the byte code of the class, decompile this method (harder but possible), and extract the expression tree. It can be done.
There are a few restrictions: 1) Requires debug info in the calling class. 2) Only one query per line of code. This can be solved: count how many times the method is called.
Maybe I should add this feature to my database (www.h2database.com)
Ehm... one more problem: where(t.id == x) But this can be solved as well: Require that each parameter is listed: Query where(boolean condition, Object ... parameters) The the query becomes: where(t.id == x, x) The only problem now: You can't detect unknown parameters at regular compile time. This would require an additional compile step (_after_ the regular compilation). Any more problems?
A solution without decompilation:
class Test {
Integer id;
String name;
}
Test t = alias(Test.class);
from(t).where(equal(t.id, x)).select(t.id, t.name);
The method alias() would have to initialize the Test instance (assign a new object to each field). The methods equal() and select() could then check at runtime if such an object is passed and thus can reconstruct the expression tree. Disadvantages: int/long/double are not supported (except when using Integer.MIN_VALUE + 10, 11,..., but that would be a hack). A method is required for each operation (=, >, <, +,...).
If you drop the POJO requirement, you could even get more type savety:
class Person {
static final Person TABLE = Db.alias(Person.class);
public DbInt id = DbInt.pk();
public DbString name;
}
...
Person p = Person.TABLE;
Person found = db.from(p).where(p.id.eq(10)).get();
for (Person a : db.from(p).
order(p.id.asc(), p.name.desc()).
select()) {
System.out.println(a.name.value);
}
Person one = db.from(p).
where(p.id.eq(x).and(p.name.eq(name))).
get();
Rustan Leino and Mike Barnett of Microsoft Research discuss the technology in Spec# and its futures.
Henrik Kniberg talks about 10 possible reasons to fail while doing Scrum and XP. Maybe the team does not have a definition of what Done means to them, or they don't know what their velocity is.
This article outlines 9 principles Marc Lammers discovered while building the world’s best field hockey team, mapping them to software development practices.
Michael Poulin explains the necessity for SOA governance to ensure an Enterprise SOA's success, relying on concepts from the OASIS SOA Reference Model and Reference Architecture.
This article covers setting up a RichFaces portlet using JBoss Portlet Container and JBoss Portlet Bridge, deploying a RichFaces portlet, and RichFaces capabilities.
This article discusses scalability worst pratices including The Golden Hammer, Resource Abuse, Big Ball of Mud, Dependency Management, Timeouts, Hero Pattern, Not Automating, and Monitoring.
Obie Fernandez shares his experience selling consulting services for both Thoughtworks and Hashrocket and give tips how Ruby developers can work with clients.
Jeffries and Hendrickson derive Agile practices from the natural laws of software development. They don't just say "Be Agile!", but they explain why Agile practices make perfect sense.
8 comments
Reply