Як нова розробка Java вплине на її сумісність з такими мовами, як Scala та Clojure?

Наскільки я розумію, і Scala, і Clojure були розроблені як нові мови

1. залежать від СВМ та
2. легко інтегруватися з кодом Java, в тому сенсі, що вони дозволяють використовувати класи Java всередині коду Scala та Clojure.

Починаючи з Java 8 (а може, ще сильніше з наступними версіями Java), відбудуться зміни в семантиці мови Java.

Мені хотілося запитати, як ці зміни вплинуть на сумісність Java та Scala / Clojure та які наслідки будуть. Наприклад, оскільки лямбди в Java 8 не є об'єктами (див., Наприклад, тут ), Scala та Clojure, можливо, повинні мати справу зі значеннями Java, які не є об'єктами. Чи це буде проблемою?

Я можу придумати такі сценарії:

1. Мова Scala або Clojure буде розширено для адаптації до нової семантики Java (для обробки нових необ'єктних значень) та підтримки сумісності з Java.
2. Мова Scala або Clojure не поширюватиметься. Це стане можливим лише в тому випадку, якщо нові функції Java, такі як значення функцій, можуть бути віднесені до існуючих понять. Наприклад, у Scala навіть функція є об'єктом, тож я думаю, що функції Java знову будуть загорнуті в якісь об'єкти, коли вони стануть видимими для Scala.
3. Мова Scala або Clojure надалі підтримуватиме сумісність до Java 6 або 7, не дотримуючись останніх розробок Java. Для цього знадобиться підтримка старих версій Java (принаймні OpenJDK або іншого проекту), щоб ці мови могли базуватися на більш консервативній / стабільній гілці Java.

Підсумовуючи: чи можна очікувати, що подальший розвиток Java матиме вплив на такі мови, як Scala та Clojure, щоб підтримувати сумісність з Java? Чи вже є якась (посилання на) дискусію на цю тему?

Примітка

Я можу уявити, що Scala, Clojure та інші мови на базі JVM не матимуть жодних серйозних проблем з оновленням їхньої реалізації до новіших версій JVM (а нові функції JVM полегшать цю реалізацію). Моє запитання фокусується на особливостях Java як мови та на тому, чи / як інші мови JVM зможуть "бачити" / використовувати ці нові функції, а не на тому, чи будуть мови, засновані на JVM, працювати на останніх JVM.

Насправді Java 8 не представляє багато, що може завдати шкоди для інших мов JVM, які взаємодіють з Java. Робота над Ламбдасом допомогла виправити ряд невеликих проблем навколо викликів, пов'язаних із динамікою, MethodHandles, MethodReferences тощо. Це означає, що існує ціла низка API-інтерфейсів, які зараз можуть потенційно використовувати інші мови JVM. Які з них вони використовуватимуть за замовчуванням, чи ні, не залежить від них.

Найбільша зміна, що впливає на інтероп, насправді відбулася з Java 7 - із викликаним динамічним байт-кодом, який дозволяє динамічно / пізно прив’язувати дзвінки в JVM - те, що спочатку було розроблено для інших мов JVM. З тих пір він був дуже корисно адаптований для Lamdbas, тому, як для Java 8, Java фактично почне видавати ці байт-коди.

Деякі мови (наприклад, JRuby) вже активно використовують визыванную динаміку, тоді як інші (Scala, Groovy та ін.) Все ще досліджують її використання або знаходяться на ранніх стадіях виправлення. Теоретично це робить їх динамічні дзвінки майже настільки ж ефективними, як і існуючі Java викликає статичні виклики, на відміну від безлічі повільних обходних шляхів, які вони змушені були використовувати в минулому.

Java 9 поставить більше проблем для мов JVM, коли проект Jigsaw ввійде в платформу, яка стане початком кінця для традиційно завантажених класів і класних стежок для JVM. Люди мови JVM досить добре усвідомлюють це, і я очікую, що відбудеться певна розумна співпраця.

Scala скоро залишиться позаду, коли Java додає лямбда, тому що Java-лямбдам присвоюється тип відповідно до контексту, в якому вони використовуються, тоді як лямбдам Scala присвоюється тип на основі їх арвалій, типів параметрів та типів повернення, наприклад,

executor.execute(() -> { System.out.println("hello world"); });

з Java 8 можна написати в Scala як:

executor execute new Runnable {
    override def run() { println("hello world") }
}

якщо ви не використовуєте / записуєте деякі обгортки, що перетворюють Scala's () => Unit в Runnable.