object Gadts extends Application {

  abstract class Term[T]
  case class Lit(x: int) extends Term[int]
  case class Succ(t: Term[int]) extends Term[int]
  case class IsZero(t: Term[int]) extends Term[boolean]
  case class If[T](c: Term[boolean],
                   t1: Term[T],
                   t2: Term[T]) extends Term[T]

  def eval[T](t: Term[T]): T = t match {
    case Lit(n)        => n
    case Succ(u)       => eval(u) + 1
    case IsZero(u)     => eval(u) == 0
    case If(c, u1, u2) => eval(if (eval(c)) u1 else u2)
  }

  Console.println(
    // типа "if (1 == 0) 41 else (++41)"
    eval(If(IsZero(Lit(1)), Lit(41), Succ(Lit(41)))))
}

def quicksort(list: List[int]): List[int] = {
    if (list.length <= 1) list
    else {
        val l = list(list.length / 2)
        quicksort(list filter (l >)) ::: (list filter (l ==)) ::: quicksort(list filter (l <))
    }
}

def quicksort(list: List[int]): List[int] = {
R>    if (list.length <= 1) list
R>    else {
R>        val l = list(list.length / 2)
R>        quicksort(list filter (l >)) ::: (list filter (l ==)) ::: quicksort(list filter (l <))
R>    }
R>}

quickSort :: Ord a => a -> a
quickSort []     = []
quickSort (x:xs) = quickSort [y | y <- xs, y < x] ++ [x] ++ quickSort [y | y <- xs, y >= x]

Scala — это язык общего назначения. Я думаю, что он является альтернативой Java во всех прикладных областях. Большим преимуществом является то, что он делает работу программистов продуктивнее, особенно хороших программистов.

© Десять вопросов Мартину Одерски о Scala

Автор(ы): Евгений Охотников
Дата: 27.04.2007
Все это начиналось как мини-интервью для специального номера Компьютерры . Я должен был написать пару слов о Scala, для чего задал пять вопросов Мартину Одерски. Но, поскольку в Компьютерру материалы о Scala не попыли, то я решил задать Мартину еще несколько вопросов.

Одна из причин, способных заставить вас обратиться к программированию на Scala, состоит в том, что Scala позволяет увеличить производительность разработчика по сравнению с Java, сохраняя скорость исполнения JVM, существующие инвестиции в Java-код, знания и множество API, имеющихся для JVM. Scala обладает краткостью языков типа Ruby или Python, но при этом статически типизирована, как и Java. Еще одна причина в том, что Scala поставляется с Erlang-подобной библиотекой Actors, которая существенно упрощает параллельное программирование, но работает под JVM.

© Первые шаги в Scala

Автор(ы): Билл Веннерс, Мартин Одерски, Лекс Спун
Дата: 30.07.2007
Scala – статически типизированный, объектно-ориентированный язык программирования, в котором смешиваются императивный и функциональный стили программирования. Одна из причин заинтересоваться программированием на Scala, состоит в том, что Scala позволяет увеличить производительность разработчика по сравнению с Java, сохраняя скорость исполнения JVM, существующие инвестиции в Java-код, знания и множество API, имеющихся для JVM. Scala обладает краткостью языков типа Ruby или Python, но при этом статически типизирована, как и Java.

def quicksort(lst) {
    | [] => []
    | x :: xs => quicksort($[y | y in xs, y < x]) + [x] + quicksort($[y | y in xs, y >= x])
}

def quicksort(lst) { // отсортировать список
    | [] => [] // если список пуст, то возвратить пустой список
    | head :: tail =>
    // если список состоит из головы (head)
    // и любого хвоста (tail, от пустого списка, до списка любого размера), то
    // отсортировать первый подсписок
    quicksort(
        $[y | y in tail, y < head]) // элементы которого меньшие, чем голова исходного списка
        + [head] // прибавить к результату список, состоящий из головы исходного списка
        + quicksort( // отсортировать второй подсписок
        $[y | y in tail, y >= head]) // элементы которого больше или равны голове исходного списка
}