Jakie funkcje Scala nie mogą być tłumaczone na język Java?

Question

Kompilator Scala kompiluje bezpośrednio do kodu bajtowego Java (lub .NET CIL). Niektóre funkcje Scala mogą być ponownie wykonane w Javie bezpośrednio (na przykład proste w zrozumieniu, zajęciach, tłumaczeniu funkcji anonimowych/wewnętrznych itd.). Jakie funkcje nie mogą być przetłumaczone w ten sposób?

To jest prawdopodobnie głównie z zainteresowań naukowych. Bardziej pożytecznie, być może, jakie są kluczowe cechy lub idiomy Scali, których używasz, których nie można łatwo przedstawić w Javie?

Czy są jakieś inne sposoby? Rzeczy, które można zrobić bezpośrednio w Javie, które nie mają bezpośredniego odpowiednika w Scali? Idiomy w Javie, które nie tłumaczą?

Answer 1

To pytanie, moim zdaniem, pomija punkt, pytając nas o porównanie języków JVM, patrząc na ich wygenerowany kod bajtowy.

Scala kompiluje do kodu bajtowego równoważnika Java. Oznacza to, że kod bajtowy mógł zostać wygenerowany przez kod napisany w Javie. Rzeczywiście można nawet uzyskać scalac, aby wyprowadzić formularz pośredni, który wygląda podobnie jak Java.

Wszystkie funkcje, takie jak cech (przez spedytorów statycznych), nielokalnych zwrotów (przez wyjątkami), wartości leniwe (przez referencje) etc są eksprymowanej przez program Java, choć być może w sposób najbardziej brzydkie!

Ale co sprawia, że ​​Scala Scala i nie Java co scalac może zrobić dla ciebie, zanim kod bajtowy jest generowany. To, do czego zmierza język statycznie napisany, to zdolność sprawdzania poprawności programu, w tym poprawności typu (zgodnie z jego typem , system typu) podczas kompilacji.

Główną różnicą następnie między Java i Scala (jak oczywiście Java jest również statycznie wpisane), jest więc systemem typ Scala, która jest zdolna do wyrażania stosunków, które układ typu java-na-language za nie mogę programowe .Na przykład:

class Foo[M[_], A](m : M[A]) 
trait Bar[+A] 

Są koncepcji, że M jest parametrem typu, która sama ma typ parametrów lub że Bar jest kowariantna, po prostu nie istnieje w Java-land.

Answer 2

Cechy to jedna rzecz, która nie ma odpowiednika. Cechy to interfejsy z kodem w nich. Możesz skopiować kod do wszystkich klas, które mają mieszaną cechę, ale to nie to samo.

Sądzę, że system typu scala jest bardziej kompletny. Podczas gdy w końcu zostanie odwzorowany na typy JVM (w rzeczywistości cierpią one na wymazanie). Możesz wyrazić pewne rzeczy w systemie typu Scala, które mogą nie być możliwe w Javie (np. Wariancje).

Answer 3

Myślę, że nie ma odpowiednika dynamicznego miksu w niektórych Cechach. W Scali możesz dodać w momencie tworzenia nowych obiektów niektóre cechy, które są zmieszane.

Na przykład tworzymy jednego psa, który jest głodny i spragniony, i jednego psa, który jest po prostu głodny.

val hungryThirstyDog = new Dog with Hungry with Thirsty 
val onlyHungryDog = new Dog with Hungry 

Nie wiem, równoważny sposób to zrobić w Javie. W języku Java dziedziczenie jest zdefiniowane statycznie.

Answer 4

Implicyjne konwersje nie mają bezpośredniego odpowiednika w Javie.

Answer 5

Jedną z cech scali, z której korzystałem, jest reifikacja typu za pomocą Manifesty. Ponieważ JVM usuwa wszystkie informacje o typach generycznych, scala pozwala zachować te informacje w zmiennych. Jest to coś, z czym Java AFAIK nie może sobie poradzić, ponieważ nie ma argumentów dla typów w kodzie bajtowym.

Sprawa, której potrzebowałem, polegała na dopasowaniu wzoru do typu List. To jest, miałem obiekt VertexBuffer, który przechowuje dane na GPU, które mogą być zbudowane z listy zmiennych lub liczb całkowitych. Kod Oczywisty wyglądał w przybliżeniu tak:

class VertexBuffer[T](data:List[T])(implicit m:Manifest[T]) { 
    m.toString.match { 
    case "float" => ... 
    case "int" => ... 
    } 
} 

This link linki do blogu z dodatkowymi informacjami.

Istnieje wiele stron SO zawierających więcej informacji, takich jak this one.

Answer 6

Trzy słowa: typy wyższego rodzaju.

Answer 7

Twój temat nie jest jasny, ale masz na myśli Java JVM lub Java w tym języku. Biorąc pod uwagę, że Scala działa na JVM, q nie ma sensu, ponieważ wszyscy wiemy, że Scala działa na JVM.

Answer 8

Scala ma "natywną" obsługę XML. Możesz zbudować XML, znaleźć elementy, dopasować bezpośrednio w kodzie Scala.

Przykłady: http://programming-scala.labs.oreilly.com/ch10.html