Most web frameworks are broken

13Jul08

We’ve all been there: fired up the next set of changes in a webapp and navigated through a complex flow, entering fake data for the n-th time only to find a massive exception on the page we’ve been expectantly working on, due to a simple typo:
No such property: ${person.chidl}
Apart from the enormous frustration, the problem [...]

Filed under: 1   |  6 Comments
Tags: guice, java, type system, type theory, warp-widgets

Static typing for warp-widgets

08Jun08

I have been thinking about this for awhile, currently warp-widgets templates are duck typed. I want to make them statically typed (as crazybob encouraged me to). There are two parts to this.
Part #1
I had intended the widget annotations to be java annotations, which can be used to configure user-widgets dynamically…in the template:

@My(name=”Jeff”)
<div>… </div>
…and in the class:

@EmbedAs(My.class) 
public [...]

Filed under: 1   |  2 Comments
Tags: guice, java, type system, type theory

Clearing up misconceptions about Generics

30Apr08

Generics are at once the most welcome, easy to understand and most perplexing feature added to Java since… well ever! I couldn’t imagine life without them, but like anything in type theory they are at times confoundingly opaque. Here are some all-too-common misconceptions about Java Generics and Generic types in general:

Set<Child> is a subtype of [...]

Filed under: 1   |  Leave a Comment
Tags: closures, guice, type system, java, generics, type theory