A statically-typed *(object-oriented) and *(functional) *(programming language) based on classes and traits-based mixin composition from the object side, and _(higher-order) functions, local type inference, and _(pattern-matching) from the functional side. It is notable in that all values are objects, all functions are values (and objects), and everything is extensible via subclassing. It generally is aimed at proving that web services can be better served by safe language support rather than ad hoc conglomeration of standards within languages not suited for the purpose (mainly _(Java) and _(C#), coupled with Xquery, XSLT). It also boasts the ability to handle regular expressions and sequence comprehensions easily to support this, and safe interoperability with the _(JVM) and _(.NET) / _(C#).

<ul class="implementations">
<li>_(The Scala Website| http://scala.epfl.ch/)
</ul>