Formal model for defender method resolution

Mark Thornton mthornton at
Thu Jan 20 06:31:31 PST 2011

On 20/01/2011 14:01, Collin Fagan wrote:
> Okay, I'm officially out of my depth. This looks like math and I was never
> good at math. Is the English/java for this really so verbose as to require
> this massively abbreviated syntax? It's a six page document, if the syntax
> is ten time more expressive/terse then I can see not wanted to write 60
> pages. But if it's only twice as abbreviated the would not a 12 page
> document reach more people?
> Collin
> On Wed, Jan 19, 2011 at 11:48 AM, Brian Goetz<brian.goetz at>wrote:

It is a formal model. While it might be possible to write entirely in 
English it probably wouldn't be English as you know it:

"Mathematicians are like Frenchmen: whatever you say to them they 
translate into their own language and forthwith it is something entirely 
different." -- Johann Wolfgang von Goethe

The abbreviation is for formality and accuracy and not merely for 

Mark Thornton
PhD, Mathematics

More information about the lambda-dev mailing list