Scala (programming language): Difference between revisions
m fix broken grammar in lead para, 2nd sent. |
m →Extensibility: added comma |
||
Line 81: | Line 81: | ||
==Extensibility== |
==Extensibility== |
||
The design of Scala acknowledges the fact that in practice, the development of domain-specific applications often requires [[domain-specific language]] extensions. Scala provides a unique combination of language mechanisms that make it easy to smoothly add new language constructs in the form of libraries: |
The design of Scala acknowledges the fact that, in practice, the development of domain-specific applications often requires [[domain-specific language]] extensions. Scala provides a unique combination of language mechanisms that make it easy to smoothly add new language constructs in the form of libraries: |
||
* any method may be used as an infix or postfix operator, and <!-- There has to be something missing or wrong about this statement. Are operators either postfix or prefix? So far as I know, that's pretty unusual - usually operators are prefix or infix, and only rarely in languages like Forth postfix. If this is wrong and "infix or prefix operator" is what is meant, then this is boring: one can easily convert a prefix into infix by backticks: `foo`, etc. Why would this even matter? It results in the same code, it's just syntactic sugar. There's nothing interesting or powerful about this so far as I know and this article says. --> |
* any method may be used as an infix or postfix operator, and <!-- There has to be something missing or wrong about this statement. Are operators either postfix or prefix? So far as I know, that's pretty unusual - usually operators are prefix or infix, and only rarely in languages like Forth postfix. If this is wrong and "infix or prefix operator" is what is meant, then this is boring: one can easily convert a prefix into infix by backticks: `foo`, etc. Why would this even matter? It results in the same code, it's just syntactic sugar. There's nothing interesting or powerful about this so far as I know and this article says. --> |
Revision as of 09:03, 21 August 2009
Paradigm | Multi-paradigm: functional, object-oriented, imperative |
---|---|
Designed by | Martin Odersky |
Developer | Programming Methods Laboratory of EPFL |
First appeared | 2003 |
Stable release | 2.7.5
/ June 3, 2009 |
Typing discipline | static, strong, inferred, structural |
Website | www.scala-lang.org |
Influenced by | |
Java, Pizza,[1] Haskell, Erlang, Standard ML, Objective Caml, Smalltalk, Scheme |
Scala (Template:Pron-en) is a multi-paradigm programming language designed to integrate features of object-oriented programming and functional programming.[1] The name Scala stands for "scalable language", signifying that it is designed to grow with the demands of its users.
Platforms and license
Scala runs on the Java platform (Java Virtual Machine) and is compatible with existing Java programs. It also runs on Java Platform, Micro Edition Connected Limited Device Configuration.[2] An alternative implementation exists for the .NET platform, but it has not been kept up to date.[3]
Scala has the same compilation model as Java and C# (separate compilation, dynamic class loading), so Scala code can call Java libraries (or .NET libraries in the .NET implementation).
The Scala software distribution, including compiler and libraries, is released under a BSD license.[4]
History
The design of Scala started in 2001 at the École Polytechnique Fédérale de Lausanne (EPFL) by Martin Odersky, following on from work on Funnel, a programming language combining ideas from functional programming and Petri nets.[5] Odersky had previously worked on Generic Java and javac, Sun's Java compiler.[5] Scala was released late 2003 / early 2004 on the Java platform, and on the .NET platform in June 2004.[1][5][6] A second version of the language, v2.0, was released in March 2006.[1]
As of July 2009, the latest release is version 2.7.5. Features planned for Scala 2.8 include an overhaul of the Scala collections library, named and default parameters for methods, package objects, and continuations.[7]
In April 2009 Twitter announced they had switched large portions of their backend from Ruby to Scala and intended to convert the rest.[8] In addition, Wattzon has publicly been noting that its entire platform has been written from the ground up in Scala.[9]
Object-oriented features
Scala is a pure object-oriented language in the sense that every value is an object. Data types and behaviors of objects are described by classes and traits. Class abstractions are extended by subclassing and by a flexible mixin-based composition mechanism to avoid the problems of multiple inheritance.
Functional programming
Scala also supports functional programming. The language provides a lightweight syntax for defining anonymous functions, supports higher-order functions, allows functions to be nested, and supports currying. Scala's case classes and its built-in support for pattern matching model algebraic types used in many functional programming languages.
Furthermore, Scala's notion of pattern matching naturally extends to the processing of XML data with the help of regular expression patterns. In this context, sequence comprehensions are useful for formulating queries.
Tail call optimization is not supported completely, because the JVM lacks tail call support. In simple cases, the Scala compiler can optimize tail calls into loops.[10]
An implementation of a Quicksort algorithm in functional style, for comparison with the Erlang Quicksort example:
def qsort(list: List[Int]): List[Int] =
list match {
case Nil => Nil
case pivot::tail => qsort(tail.filter(_ < pivot)) ::: pivot :: qsort(tail.filter(_ >= pivot))
}
Static typing
Scala is equipped with an expressive type system that enforces statically that abstractions are used in a safe and coherent manner. In particular, the type system supports:
- generic classes,
- variance annotations,
- upper and lower type bounds,
- classes and abstract types as object members,
- compound types,
- explicitly typed self references,
- views, and
- polymorphic methods.
Extensibility
The design of Scala acknowledges the fact that, in practice, the development of domain-specific applications often requires domain-specific language extensions. Scala provides a unique combination of language mechanisms that make it easy to smoothly add new language constructs in the form of libraries:
- any method may be used as an infix or postfix operator, and
- closures are constructed automatically depending on the expected type (target typing).
A joint use of both features facilitates the definition of new statements without extending the syntax and without using macro-like meta-programming facilities.
Frameworks using Scala
Lift is a free web application framework that aims to deliver benefits similar to Ruby on Rails. The use of Scala means that any existing Java library and Web container can be used in running Lift applications.
"Hello world" example
Here is the canonical Hello world program written in Scala:
object HelloWorld extends Application {
println("Hello, world!")
}
or
object HelloWorld {
def main(args: Array[String]) {
println("Hello, world!")
}
}
Notice how similar it is to the stand-alone Hello World application for Java. A notable difference is that nothing is declared to be static; the singleton created by the object keyword is used instead.
Assuming the program is saved in a file named HelloWorld.scala, it can then be compiled from the command line:
> scalac HelloWorld.scala
To run it:
> scala -classpath . HelloWorld
This is analogous to how a Java "hello world" program is compiled and run. Indeed, Scala's compilation and execution model is identical to that of Java, making it compatible with Java build tools such as Ant.
It is also possible to feed this program directly into the Scala interpreter, using the option -i (to load code from the file) and the option -e (to execute additional code needed to actually invoke the HelloWorld object's method):
> scala -i HelloWorld.scala -e 'HelloWorld.main(null)'
Testing
There are some ways to test code in Scala:
- ScalaTest
- ScalaCheck, a library similar to Haskell's QuickCheck
- specs, a Behavior driven development library for Scala
- JUnit
The built-in Scala library SUnit is deprecated and will be removed in version 2.8.0, see SUnit documentation.
See also
References
- ^ a b c d Martin Odersky et al., An Overview of the Scala Programming Language, 2nd Edition
- ^ "Scala on .NET". Programming Methods Laboratory of EPFL. 2008-01-07. Retrieved 2008-01-15.
Scala is primarily developed for the JVM and embodies some of its features. Nevertheless, its .NET support is designed to make it as portable across the two platforms as possible.
- ^ http://www.artima.com/weblogs/viewpost.jsp?thread=163733
- ^ http://www.scala-lang.org/node/146
- ^ a b c Martin Odersky, "A Brief History of Scala", Artima.com weblogs, June 9, 2006
- ^ Martin Odersky, "The Scala Language Specification Version 2.7"
- ^ Scala 2.8 Preview
- ^ Greene, Kate (April 1, 2009). "The Secret Behind Twitter's Growth, How a new Web programming language is helping the company handle its increasing popularity". Technology Review. MIT. Retrieved April 6, 2009.
- ^ Cloud, Jeremy (March 10, 2009). "Scala + WattzOn, sitting in a tree..."
- ^ Tail calls, @tailrec and trampolines
Bibliography
- Odersky, Martin; Spoon, Lex; Venners, Bill (November 26, 2008), Programming in Scala: A Comprehensive Step-by-step Guide (1st ed.), Artima Inc, p. 776, ISBN 0981531601
- Pollak, David (May 25, 2009), Beginning Scala (1st ed.), Apress, p. 776, ISBN 1430219890
- Subramaniam, Venkat (July 28, 2009), Programming Scala: Tackle Multi-Core Complexity on the Java Virtual Machine (1st ed.), Pragmatic Bookshelf, p. 250, ISBN 193435631X
- Wampler, Dean; Payne, Alex (September 25, 2009), Programming Scala (1st ed.), O'Reilly Media, p. 250, ISBN 9780596157746
External links
- Scala website
- Scala Wiki
- Literate Programs - Scala
- The Scala Search Engine
- Lift Web Framework
- Podcast Interview with Martin Odersky on Scala
- Scala Presentation From The Googleplex (video) - given by Martin Odersky, creator of the language; accompanying slides from the talk
- Scalaz
- Scala community blogs
- Lift Slides from Pollak's lift video, contains a presentation of Scala
- Scala articles directory