Function types syntax

[Neal Gafter]

On Tue, Jan 26, 2010 at 11:17 PM, Zdenek Tronicek <tronicek at fit.cvut.cz>wrote:

> But then the return type is not present and although the compiler can
> infer it quite easily, for a human being it means worse readability. And
> Java is a language for human beings, isn't it?
>

The result type is just after the pound sign.  I meant to write this:

#int(String) stringLength = #int(String s) length: {
  if (s == null) break length =-1;
  length = s.length();
};