Scala (język programowania)

Z Wikipedii, wolnej encyklopedii
Skocz do: nawigacja, szukaj
Scala
Pojawienie się 2003
Aktualna wersja stabilna 2.11.4 (27 października 2014)
Licencja Licencja BSD
http://www.scala-lang.org/

Scalajęzyk programowania łączący cechy języków funkcyjnych i obiektowych. Scala działa na Wirtualnej Maszynie Javy, a także na Java Platform, Micro Edition Connected Limited Device Configuration i platformie .NET. Nazwa ma za zadanie podkreślać skalowalność języka, stąd Scala ("scalable language").

Scala został stworzony w 2001 roku na École Polytechnique Fédérale de Lausanne przez Martina Odersky'ego. Język ten został upubliczniony w styczniu 2004 roku na platformie Javy, a w czerwcu tego samego roku na .NET. Wersja druga została udostępniona w marcu 2006 roku.

Wspierane paradygmaty[edytuj | edytuj kod]

Scala wspiera programowanie funkcyjne. Składnia pozwala zwięźle definiować funkcje anonimowe, obsługuje funkcje wyższego rzędu, zagnieżdżanie funkcji i currying. Użycie słowa kluczowego lazy opóźnia przypisanie wartości do chwili gdy wartość ta będzie potrzebna. W języku Scala większość konstrukcji językowych definiuje wyrażenia (posiadające wartość). Scala pozwala definiować wyrażenia przy pomocy słów kluczowych def, var oraz val. Słowo def pozwala na zdefiniowanie wyrażenia, którego wartość będzie wyliczana zawsze w chwili odwołania się do tego wyrażenia (np. def doubleMe(x: Int) = x * 2). Przy pomocy słowa var można zdefiniować wyrażenie, którego wartość może podlegać zmianom (ang. mutable - np. var x = 2; x = 4). Słowo kluczowe val pozwala zdefiniować wartości, które nie podlegają zmianom (ang. immutable). Również takie konstrukcje jak if else, match/case, czy for/yield są wyrażeniami.

Scala ma "klasy przypadków" oraz wbudowane wsparcie dla dopasowywania wzorców. Pozwala to korzystać z algebraicznych typów danych, używanych w wielu funkcyjnych językach programowania. Język ten w umiejętny sposób łączy cechy języka obiektowego (klasy, dziedziczenie, polimorfizm, ...) z cechami języka funkcjonalnego (funkcje wyższego rzędu, liczne kolekcje niemodyfikowalne, currying, dopasowanie wzorców, ...). Oba paradygmaty są równie mocno wspierane.

Rekurencja ogonowa nie jest całkowicie obsługiwana, ponieważ maszyna wirtualna Javy nie udostępnia takiej możliwości. W prostych przypadkach kompilator Scali może optymalizować rekurencję ogonową do postaci pętli.

Implementacja prostego algorytmu sortującego (podobnego do quicksort) w podejściu programowania funkcyjnego może wyglądać następująco:

def qsort(list : List[Int]): List[Int] = list match {
  case Nil => Nil
  case pivot :: tail => {
    val (smaller, rest) = tail partition (_ < pivot)
    qsort(smaller) ::: pivot :: qsort(rest)
  }
}

Linki zewnętrzne[edytuj | edytuj kod]