Почему кэрри функции в OCaml, но не в Java

Question

Я заметил, что в OCaml нам разрешено использовать Карринг функцию как

let add = 
    fun y -> (fun x -> x + y) 
;; 

Но мой профессор сказал, что такой формат не допускается в Java. Например, с учетом метода foo1, можно вернуть foo1 при выполнении foo2. Это обоснованное объяснение? Если нет, что приводит к этой разнице между Java и OCaml?

int foo1(int a, ...) { 
    int foo2(...) { 
     //main body   
    } 
} 

Answer 1

Профессор должен выйти больше. См. Например, Does java support Currying? (ответ да).