Scopo di "let expression" (LetExpr) nel compilatore Java?

Question

Il compilatore Java sembra supportare le espressioni let in com.sun.tools.javac.tree.* (cercare LetExpr).

Un commento in JCTree menziona anche qualche sintassi

(let int x = 3; in x+2) 

che naturalmente non è accettato dalla grammatica della lingua e ha respinto in una fase precedente del compilatore.

Mi chiedo sull'origine di questo costrutto, che non ho mai visto prima.

Viene utilizzato internamente da javac o è sintetizzato da altri strumenti? È forse solo un artefatto fin dai primi giorni di Java da una funzionalità linguistica che non ha mai visto la luce?

C'è qualcosa di utile che può essere fatto con esso oggi?

In generale, perché esiste?

Answer 1

In generale, perché esiste?

Esiste per l'autoboxing come suggerisce Google.

Se si dispone di codice come questo:

Integer foo = 0; 
foo++; 

Java rende internamente questo in questa espressione aiutante:

Integer foo = 0; 
let int foo_helper = foo.intValue() in foo_helper++; 

Fonte: http://bugs.sun.com/bugdatabase/view_bug.do?bug_id=6614974

Quell'espressione ha ovviamente alcuna rappresentanza della sintassi, è solo una trasformazione di livello AST per semplificare la compilazione.

Answer 2

Questo è chiamato il modulo let e viene utilizzato per "abbreviare".

D'altra parte, nei linguaggi procedurali questo viene chiamato "dichiarazione di una variabile" perché la cella "valore" della variabile può mutare nei linguaggi della procedura. (In lingue funzionali, è solo un'abbreviazione e non è diverso da solo scriverlo in primo luogo)

Posso pensare a molte lingue che lo usano nel codice sorgente che l'utente della lingua scrive (Haskell, ML, Scheme, SBCL, Arc, ...), quindi non sei sicuro di come non l'hai ancora visto ...

O intendevi solo in Java?

let x = 2 in (x + 5) 

è una scorciatoia per:

(\x (x + 5)) 2 

che alla fine si riduce a

(2 + 5) 

dove \ si suppone che sia lambda.

Per quanto riguarda il motivo per cui è in Java, non sono sicuro. Quello che deve fare è dichiarare le variabili, quindi controlla se è usato lì.