Concept

Scala (programming language)

Scala (ˈskɑːlə ) is a strong statically typed high-level general-purpose programming language that supports both object-oriented programming and functional programming. Designed to be concise, many of Scala's design decisions are aimed to address criticisms of Java. Scala source code can be compiled to Java bytecode and run on a Java virtual machine (JVM). Scala can also be compiled to JavaScript to run in a browser, or directly to a native executable. On the JVM Scala provides language interoperability with Java so that libraries written in either language may be referenced directly in Scala or Java code. Like Java, Scala is object-oriented, and uses a syntax termed curly-brace which is similar to the language C. Since Scala 3, there is also an option to use the off-side rule (indenting) to structure blocks, and its use is advised. Martin Odersky has said that this turned out to be the most productive change introduced in Scala 3. Unlike Java, Scala has many features of functional programming languages (like Scheme, Standard ML, and Haskell), including currying, immutability, lazy evaluation, and pattern matching. It also has an advanced type system supporting algebraic data types, covariance and contravariance, higher-order types (but not higher-rank types), anonymous types, operator overloading, optional parameters, named parameters, raw strings, and an experimental exception-only version of algebraic effects that can be seen as a more powerful version of Java's checked exceptions. The name Scala is a portmanteau of scalable and language, signifying that it is designed to grow with the demands of its users. The design of Scala started in 2001 at the École Polytechnique Fédérale de Lausanne (EPFL) (in Lausanne, Switzerland) by Martin Odersky. It followed on from work on Funnel, a programming language combining ideas from functional programming and Petri nets. Odersky formerly worked on Generic Java, and javac, Sun's Java compiler. After an internal release in late 2003, Scala was released publicly in early 2004 on the Java platform, A second version (v2.

Official source

https://en.wikipedia.org/wiki/Scala_(programming_language)

About this result

This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.

Related courses (32)

CS-119(h): Information, Computation, Communication

L'objectif de ce cours est d'initier les étudiants à la pensée algorithmique, de les familiariser avec les fondamentaux de l'informatique et des communications et de développer une première compétence en programmation avec le langage Python. ...

CS-214: Software construction

Learn how to design and implement reliable, maintainable, and efficient software using a mix of programming skills (declarative style, higher-order functions, inductive types, parallelism) and fundamental software construction concepts (reusability, abstr ...

CS-108: Practice of object-oriented programming

Les étudiants perfectionnent leurs connaissances en Java et les mettent en pratique en réalisant un projet de taille conséquente. Ils apprennent à utiliser et à mettre en œuvre les principaux types de collections (listes, ensembles, tables associatives), e ...

Related lectures (32)

Functions and Pattern Matching

Explores reactive programming principles, focusing on functions and pattern matching in Scala, including JSON representation and partial functions.

Design Patterns: Decorator Pattern

Covers the Decorator design pattern, focusing on extending the functionality of classes dynamically.

Implementation of Singly Linked Lists

Covers the implementation of singly linked lists in Java, focusing on concepts such as nodes, size management, adding, removing, and getting elements.

Related units (5)

Programming Methods Laboratory 1

Scala - Administration

Laboratory for Automated Reasoning and Analysis

Related startups (1)

Lightbend - TypeSafe

Software applications and platform based on the Scala language

Graph Chat

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

Scala (programming language) - Wikipedia

Official source

https://en.wikipedia.org/wiki/Scala_(programming_language)

About this result

Ontological neighbourhood

Theoretical computer science

Programming language theory: High-level programming languages

Related courses (32)

CS-119(h): Information, Computation, Communication

CS-214: Software construction

CS-108: Practice of object-oriented programming

Related lectures (32)

Functions and Pattern Matching

Explores reactive programming principles, focusing on functions and pattern matching in Scala, including JSON representation and partial functions.

Design Patterns: Decorator Pattern

Covers the Decorator design pattern, focusing on extending the functionality of classes dynamically.

Implementation of Singly Linked Lists

Covers the implementation of singly linked lists in Java, focusing on concepts such as nodes, size management, adding, removing, and getting elements.

Related publications (21)

Modular Substructural Constraints for Embedded DSLs

Martin Odersky

Substructural type systems provide static guarantees about resource usage in programs. In most practical systems, however, the available usage constraints and their composition are predetermined by the language design, with only limited support for application programmers to customize them. We present a technique for expressing modular substructural constraints on function arrows in embedded domainspecific languages, enabling resource disciplines to be customized to the heterogeneous requirements of real-wo

ACM2026

Query-Following vs Context-Anchoring: How LLMs Handle Cross-Turn Language Switching

When multilingual users switch languages mid-conversation, how should LLMs respond? We extend MultiChallenge to evaluate cross-turn language switching, translating 182 multi-turn conversations into German, Chinese, Spanish, and Arabic. Across five frontier models, we observe asymmetric behavior: switching into a foreign language (EN→X) yields high query-language fidelity (89-99%), but switching back to English (X→EN) reveals divergent policies. GPT-5 follows the query language (>95%), while Claude Opus 4.5

Association for Computational Linguistics (ACL)2026

Securing Agents With Tracked Capabilities

Martin Odersky

AI agents that interact with the real world through tool calls pose fundamental safety challenges: agents might leak private information, cause unintended side effects, or be manipulated through prompt injection. To address these challenges, we propose to put the agent in a programming-language-based "safety harness": instead of calling tools directly, agents express their intentions as code in a capability-safe language, Scala 3 with capture checking. Capabilities are program variables that regulate access

ACM2026

Related people (11)

Sébastien Jean Robert Doeraene

Expertise Language design, compilers, virtual machines.Pedagogy in computer science. Current Work Scala.js, the dialect of Scala for JavaScript and WebAssembly Sébastien Doeraene is a compiler/runtime systems hacker and a Scala enthusiast. Best known as the author of Scala.js, he is now lecturer at EPFL. He holds a PhD from EPFL, having worked under the supervision of Prof. Martin Odersky, and a master's degree in computer science engineering from Université catholique de Louvain in Belgium. When he is not

Matthieu Alexandre Bovel

Expertise PhD student, I am currently exploring support for logically qualified types support in Scala 3.Co-supervised by Viktor KunÄak and Martin Odersky.

Samuel Chassot

I am a PhD candidate in LARA at EPFL, under the guidance of Prof. Viktor KunÄak. My research focuses on Formal Methods and Software Verification. One of my recent work was to formally verify a mutable hash table from the Scala standard library.Before starting my PhD, I obtained an MSc in Computer Science from EPFL, Switzerland. Education MSc Computer Science | 2016 – 2022 EPFL

Viktor Kuncak

Viktor Kunčak joined EPFL in 2007, after receiving a PhD degree from MIT. Since then has been leading the Laboratory for Automated Reasoning and Analysis and supervised at least 12 completed PhD theses. His works on languages, algorithms and systems for verification and automated reasoning. He served as an initiator and one of the coordinators of a European network (COST action) in the area of automated reasoning, verification, and synthesis. In 2012 he received a 5-year single-investigator European Research Council (ERC) grant of 1.5M EUR. His invited talks include those at Lambda Days, Scala Days, NFM, LOPSTR, SYNT, ICALP, CSL, RV, VMCAI, and SMT. A paper on test generation he co-authored received an ACM SIGSOFT distinguished paper award at ICSE. A PLDI paper he co-authored was published in the Communications of the ACM as a Research Highlight article. His Google Scholar profile reports an over-approximate H-index of 38. He was an associate editor of ACM Transactions on Programming Languages and Systems (TOPLAS) and served as a co-chair of conferences on Computer-Aided Verification (CAV), Formal Methods in Computer Aided Design (FMCAD), Workshop on Synthesis (SYNT), and Verification, Model Checking, and Abstract Interpretation (VMCAI). At EPFL he teaches courses on functional and parallel programming, compilers, and verification. He has co-taught the MOOC "Parallel Programming" that was visited by over 100'000 learners and completed by thousands of students from all over the world.

Nguyên Cao Pham

Martin Odersky

Martin Odersky heads the programming research group at EPFL. His research interests cover fundamental as well as applied aspects of programming languages. They include semantics, type systems, programming language design, and compiler construction. The main focus if his work lies in the integration of object-oriented and functional programming. His research thesis is that the two paradigms are just two sides of the same coin and should be unified as much as possible. To prove this he has experimented a number of language designs, from Pizza to GJ to Functional Nets. He has also influenced the development of Java as a co-designer of Java generics and as the original author of the current javac reference compiler. His current work concentrates on the Scala programming language, which unifies FP and OOP, while staying completely interoperable with Java and .NET. Martin Odersky got his doctorate from ETHZ, in 1989. He held research positions at the IBM T.J. Watson Research Center from 1989 and at Yale University from 1991. He was then a professor at the University of Karlsruhe from 1993 and at the University of South Australia from 1997. He joined EPFL as full professor in 1999. He is associate editor of the Journal of Functional Programming and member of IFIP WG 2.8. He was conference chair for ICFP 2000, and program chair for ECOOP 2004 as well as ETAPS/CC 2007.

Yichen Xu

Mikaël Mayer

Christoph Koch

Expertise knows everything ;-) Publications My publications in Google ScholarMy publications in DBLPMy papers on EPFL's publications server (InfoScience)Prospective PhD students and postdocs please read this before contacting me. Christoph Koch is a professor of Computer Science at EPFL, specializing in data management. Until 2010, he was an Associate Professor in the Department of Computer Science at Cornell University. Previously to this, from 2005 to 2007, he was an Associate Professor of Computer Scienc

Simon Guilloud

Expertise My main domains of research are proof assistants and algorithms for logic-related problems.I also have interests in various areas of computer science and mathematics and their applicability in proof systems such as probabilistic proofs, type theory, quantum computing and more. Expertise My main domains of research are proof assistants and algorithms for logic-related problems.I also have interests in various areas of computer science and mathematics and their applicability in proof systems such as

Related units (5)

Programming Methods Laboratory 1

Scala - Administration

Laboratory for Automated Reasoning and Analysis

Related startups (1)

Lightbend - TypeSafe

Software applications and platform based on the Scala language

Related concepts (32)

Covariance and contravariance (computer science)

Many programming language type systems support subtyping. For instance, if the type is a subtype of , then an expression of type should be substitutable wherever an expression of type is used. Variance is how subtyping between more complex types relates to subtyping between their components. For example, how should a list of s relate to a list of s? Or how should a function that returns relate to a function that returns ? Depending on the variance of the type constructor, the subtyping relation of the simple types may be either preserved, reversed, or ignored for the respective complex types.

Tail call

In computer science, a tail call is a subroutine call performed as the final action of a procedure. If the target of a tail is the same subroutine, the subroutine is said to be tail recursive, which is a special case of direct recursion. Tail recursion (or tail-end recursion) is particularly useful, and is often easy to optimize in implementations. Tail calls can be implemented without adding a new stack frame to the call stack.

F Sharp (programming language)

F# (pronounced F sharp) is a functional-first, general-purpose, strongly typed, multi-paradigm programming language that encompasses functional, imperative, and object-oriented programming methods. It is most often used as a cross-platform Common Language Infrastructure (CLI) language on .NET, but can also generate JavaScript and graphics processing unit (GPU) code. F# is developed by the F# Software Foundation, Microsoft and open contributors. An open source, cross-platform compiler for F# is available from the F# Software Foundation.

Related MOOCs (1)

Information, Computation, Communication: Introduction to computational thinking

In the first part of the course, we'll look at how algorithms can be used to solve a problem in a very concrete way, leading us on to one of the great questions of modern theoretical computer science. The second part of the course will be devoted to information and communication: we'll be looking at a number of topics, including information representation, signal processing, data compression, communication and cryptography.

Related notebooks (8)

Adaptive Echo Cancellation using LMS Filter

Adaptive Echo Cancellation[1]¶

                                      [2]Paolo Prandoni, [3]LCAV, EPFL

In this notebook we will use the adaptive LMS filter to estimate the impulse response of a reverberating room. A typical use case is handsfree telephony: since the received signal, amplified and played by the speaker, is picked up by the microphone, we need to eliminate it from the signal that is transmitted back in order to avoid a feedback loop. The signal picked up by the microph

Block Processing of Audio Files Using Stateful FIR Filters

Block-processing of audio files[1]¶

                                      [2]Paolo Prandoni, [3]LCAV, EPFL

This notebook shows a simple way to process audio files (in WAV format) in a block-by-block fashion; this is useful in two cases 1. when you want to process a data stream in real time but you can accept a small processing delay; in this case a buffered approach can yield computational gains 2. when you need to process a large file that does not fit entirely into

Safety Week 1: Content Moderation – Solutions

::: {style="border-left: 6px solid rgba(69, 157, 185, 1); border-radius:5px; box-shadow: 3px 3px 3px rgba(221, 221, 221, 1);"} How to use this notebook ::: {style="padding: 0 0 2px 10px;"} Simply read the text and follow the instructions.
This notebook contains code cells, which can be modified and must be executed to see the result of their content.
To execute a cell, select it and click on the play button (▶) in the tool bar, or type Shift + Enter or Ctr + Enter. As the variables conta

Filtering Music: Extracting Audio Frequencies Using Filters

Filtering Music[1]¶

                                      [2]Paolo Prandoni, [3]LCAV, EPFL

In this notebook we will design and use filters to extract specific audio frequencies from a music file. In [1]: %matplotlib inline import matplotlib.pyplot as plt import numpy as np import IPython import scipy.signal as sp from scipy.io import wavfile infringment...) In [2]: IPython.display.Audio(s, rate=SF) Out[2]: Your browser does not support the audio element.

Extracting the bas

Exploring the Karplus-Strong Algorithm for Sound Synthesis

The Karplus-Strong Algorithm[1]¶

                                      [2]Paolo Prandoni, [3]LCAV, EPFL

The Karplus-Strong algorithm is a simple method to generate synthetic sounds with arbitrary pitch. In this notebook we will explore a few variations of the method to illustrate some basic notions of discrete-time signal processing. In [1]: %matplotlib inline import matplotlib import matplotlib.pyplot as plt import numpy as np import IPython In [2]: plt.rcParams["figure.figsize"]

Related people (11)

Sébastien Jean Robert Doeraene

Matthieu Alexandre Bovel

Expertise PhD student, I am currently exploring support for logically qualified types support in Scala 3.Co-supervised by Viktor KunÄak and Martin Odersky.

Related notebooks (8)

Adaptive Echo Cancellation using LMS Filter

Adaptive Echo Cancellation[1]¶

                                      [2]Paolo Prandoni, [3]LCAV, EPFL

Block Processing of Audio Files Using Stateful FIR Filters

Block-processing of audio files[1]¶

                                      [2]Paolo Prandoni, [3]LCAV, EPFL

Safety Week 1: Content Moderation – Solutions

Filtering Music: Extracting Audio Frequencies Using Filters

Filtering Music[1]¶

                                      [2]Paolo Prandoni, [3]LCAV, EPFL

Extracting the bas

Exploring the Karplus-Strong Algorithm for Sound Synthesis

The Karplus-Strong Algorithm[1]¶

                                      [2]Paolo Prandoni, [3]LCAV, EPFL