Så sker det: Java får de omstridte 'closures' i 2013

Den danske java brugergruppe, javagruppen, har et møde om closures på torsdag kl 16-18 i Glostrup. Se mere og tilmeld dig på www.javagruppen.dk.

Bemærk, at man skal være medlem for at deltage - studerende har dog gratis adgang (angiv uddannelsessted som firmanavn).

Der er til gengæld mange andre ting i Java, som jeg gerne ser hen, hvor peberet gror.

Den eksistrende og kluntede konstruktion med at wrappe sin metode i en anonym indre klasse virker også fint. Den foldes i øvrigt sammen og vises som en closure i IntelliJ IDEA.

http://blogs.jetbrains.com/idea/tag/closures/

Closures i java er ingen revolution, men en lidt bedre syntaks for noget man allerede bruger intensivt i fx GWT og andre steder, hvor man registrer event-adfærd på komponenter.

Jeg havde lidt svært ved at finde eksempler på syntax på den nye feature. Som en service til læserne er her nogle eksempler:

s -> s.length()  
   
(int x, int y) -> x+y  
   
() -> 42  
   
(x, y, z) -> {  
  if (true) return x;  
  else {  
    int result = y;  
    for (int i = 1; i < z; i++)  
      result *= i;  
    return result;  
  }  
}

Den syntaks er da ikke engang så slem endda. Hvorfor har det taget så lang tid? Gik der cykelskur i den?

En closure er kort fortalt en blok af kode - ofte en funktion - der ikke eksekveres her og nu, men kan bruges som parameter til en anden funktion.

Bare lige for at holde styr på terminologien. Det der beskrives der, er ikke en closure, men en first-class function. Men first-class functions er selvfølgelig nødvendige, for at man kan have en closure, idet en closure er en first class function, der "husker" og kan referere til den kontekst (scope), hvori den blev defineret.

... kan ses her: http://www.formalit.dk/lambda_termer_i_Java.pdf.

(Det er det foredrag Niels Ull nævner længere oppe.) Der er en teoretisk del med baggrunden for lambda-termer (noget langhåret) og så en mere konkret del om lambda-termer i Java.

Closures i java er ingen revolution, men en lidt bedre syntaks

Faktisk er der lidt mere i det end det, der er faktisk lavet en del optimeringer i VM'en for at gøre rigtige closures meget hurtigere end det hack vi bruger i dag.

Bare lige for at holde styr på terminologien. Det der beskrives der, er ikke en closure, men en first-class function. Men first-class functions er selvfølgelig nødvendige, for at man kan have en closure, idet en closure er en first class function, der "husker" og kan referere til den kontekst (scope), hvori den blev defineret.

Jeg har så imellemtiden lært at det kan Javas "closures" ikke. Variabler skal være "effective final" for at man kan referere til dem. Det betyder at eksterne variabler ikke må ændres hverken inden eller udenfor closuren efter at denne er defineret. Man kopierer nemlig blot værdien af variablen op i closuren.

For at tage et eksempel fra Scala-User mailinglisten:

List<Integer> ints = new ArrayList<>();   
ints.add(1);   
ints.add(2);   
ints.add(3);   
   
int sum = 0;   
ints.forEach(i -> {sum += i;}); 

Ovenstående virker ikke da "sum" ikke er "effective final". Det virker naturligvis i andre sprog, herunder Scala.

(lad os her se bort fra at det er den helt forkerte måde at beregne en sum på).