Posts Tagged ‘guice’
Static typing for warp-widgets
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
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, generics, guice, java, type system, type theory
Thoughts on CICE (closures?)
CICE is a proposal by Doug Lea, Josh Bloch and ‘Crazy’ Bob Lee. It is being touted as a “closures” proposal for Java 7 alongside Neal Gafter’s BGGA (for instance). Here are some thoughts I had after reading their document:
So basically, CICE is syntactic sugar for anonymous classes. In Guice parlance, the following:
bind(Service.class).toProvider(new Provider<Service>() {
public Service [...]
Filed under: 1 | 4 Comments
Tags: closures, guice, haskell, lambda, scheme, type system