Posts Tagged ‘java’
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, guice, type system, java, generics, type theory
When consulting with a colleague, recently, I ran into an interesting use case: in order to monitor live performance, we needed to count the number of method invocations on a service (read: EJB/remoted call). Actually, it was a number of such services. The obvious answer was to place an interceptor around each method call, and [...]
Filed under: 1 | 2 Comments
Tags: concurrent, counting, data structure, hashtable, java, lock-free, threading, wait-free