Concept

Scala (langage)

Scala est un langage de programmation multi-paradigme conçu à l'École polytechnique fédérale de Lausanne (EPFL) pour exprimer les modèles de programmation courants dans une forme concise et élégante. Son nom vient de l'anglais Scalable language qui signifie à peu près « langage adaptable » ou « langage qui peut être mis à l'échelle ». Il peut en effet être vu comme un métalangage. Scala intègre les paradigmes de programmation orientée objet et de programmation fonctionnelle, avec un typage statique. Il concilie ainsi ces deux paradigmes habituellement opposés (à de rares exceptions près, telle que le langage OCaml) et offre au développeur la possibilité de choisir le paradigme le plus approprié à son problème. Il est prévu pour être compilé en bytecode Java (exécutable sur la JVM), ou .NET. Seule la plateforme Java est supportée officiellement par l'EPFL. Si on souhaite l'utiliser exclusivement avec la JVM, il est alors possible d'utiliser les bibliothèques écrites en Java de façon complètement transparente. Ainsi, Scala bénéficie de la maturité et de la diversité des bibliothèques qui ont fait la force de Java depuis une dizaine d'années. De plus, il est possible d'invoquer du code écrit en Scala à partir de programmes écrits en Java ce qui facilite la transition de Java à Scala. Les développeurs habitués à un seul paradigme (par exemple ceux ayant utilisé principalement Java qui, lui, repose sur la programmation orientée objet) peuvent trouver ce langage déroutant et difficile car il nécessite l'apprentissage de concepts différents si on veut pouvoir exploiter tout son potentiel. Néanmoins, il est tout à fait possible de l'utiliser dans un premier temps comme remplaçant de Java, en profitant alors de sa syntaxe épurée, puis d'utiliser les différents « nouveaux » concepts au fur et à mesure de leur apprentissage. Martin Odersky a commencé à développer Scala en 2001 à l' École Polytechnique Fédérale de Lausanne (EPFL). Après une diffusion interne fin 2003, Scala a été rendu public début 2004 sur la plateforme Java.

Source officielle

https://fr.wikipedia.org/wiki/Scala_(langage)

À propos de ce résultat

Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.

Cours associés (32)

CS-119(h): Information, calcul, 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: Pratique de la programmation orientée-objet

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 ...

Afficher plus

Start-ups associées (1)

Lightbend - TypeSafe

Software applications and platform based on the Scala language

MOOCs associés (1)

Information, Calcul, Communication: Introduction à la pensée informatique

Dans une première partie, nous étudierons d’abord comment résoudre de manière très concrète un problème au moyen d’un algorithme, ce qui nous amènera dans un second temps à une des grandes questions de l’informatique théorique moderne. La seconde partie du cours sera quant à elle consacrée à l’information est la communication : nous passerons en revue plusieurs sujets, comme la représentation de l'information, le traitement des signaux, la compression de données, la communication et la cryptographie.

Graph Chat

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Source officielle

https://fr.wikipedia.org/wiki/Scala_(langage)

À propos de ce résultat

Proximité ontologique

Informatique théorique

Théorie des langages de programmation: Langage de programmation de haut niveau

Cours associés (32)

CS-119(h): Information, calcul, communication

CS-214: Software construction

CS-108: Pratique de la programmation orientée-objet

Afficher plus

Séances de cours associées (32)

Fonctions et correspondance des motifs

Explore les principes de programmation réactive, en mettant l'accent sur les fonctions et l'appariement des modèles dans Scala, y compris la représentation JSON et les fonctions partielles.

Design Patterns: Modèle de décorateur

Couvre le modèle de conception du décorateur, en se concentrant sur l'extension dynamique de la fonctionnalité des classes.

Mise en œuvre des listes à liens singuliers

Couvre l'implémentation de listes liées séparément en Java, en se concentrant sur des concepts tels que les nœuds, la gestion de la taille, l'ajout, la suppression et l'obtention d'éléments.

Afficher plus

Publications associées (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

Afficher plus

Personnes associées (11)

Sébastien Jean Robert Doeraene

Expertise Language design, compilateurs, machines virtuelles.Pédagogie en informatique. Travail en cours 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

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 student under the supervision of Viktor KunÄak, in the LARA group at EPFL. My current research interests are in the area of formal verification. I work on and with Stainless, a verifier for Scala. One of my recent project was to formally verify a mutable hash table from the Scala standard library.

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

Enseignement et PhD Doctorant·es actuel·les Matthieu Bovel, Yaoyu Zhao, Anna Herlihy, Nguyên Cao Pham, Yichen Xu A dirigé les thèses EPFL de Julie Vachon, Matthias Zenger, Michel Schinz, Philippe Altherr, Vincent Cremet, Burak Emir, Stéphane Micheloud, Iulian Dragos, Philipp Haller, Gilles Dubochet, Tiark Rompf, Ingo Maier, Lukas Rytz, Aleksandar Prokopec, Heather Miller, Vlad Ureche, Nada Amin, Manohar Jonnalagedda, Hubert Plociniczak, Vojin Jovanovic, Sandro Stucki, Eugene Burmako, Dmytro Petrashko, Séb

Yichen Xu

Mikaël Mayer

Christoph Koch

Enseignement et PhD Doctorant·es actuel·les Léonard Léchot, Zhekai Jiang, Hanbit Lee A dirigé les thèses EPFL de Immanuel Trummer, Aleksandar Vitorovic, Milos Nikolic, Daniel Lupei, Mohammed El Seidy, Ioannis Klonatos, Mohammad Dashti Rahmat Abadi, Amir Shaikhha, Lionel Parreaux, Sachin Basil John, Zilu Tian A co-dirigé les thèses EPFL de David Kozhaya Cours Making intelligent things A CS-358(a) Le cours vise à enseigner le prototypage d'artefacts physiques intelligents et à résoudre des d

Simon Guilloud

Expertise I am a PhD student at EPFL working in the Laboratory of Automated Reasoning and Analysis with Prof. Viktor KunÄak.My main domains of research are proof assistants and algorithms for logic-related problems. Expertise I am a PhD student at EPFL working in the Laboratory of Automated Reasoning and Analysis with Prof. Viktor KunÄak.My main domains of research are proof assistants and algorithms for logic-related problems.

Afficher plus

Unités associées (5)

Laboratoire de méthodes de programmation 1

Scala - Gestion

Laboratoire d'analyse et de raisonnement automatisés

Afficher plus

Start-ups associées (1)

Lightbend - TypeSafe

Software applications and platform based on the Scala language

Concepts associés (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.

Récursion terminale

En informatique, la récursion terminale, aussi appelée, récursion finale, est un cas particulier de récursivité assimilée à une itération. Une fonction à récursivité terminale est une fonction où l'appel récursif est la dernière instruction à être évaluée. Cette instruction est alors nécessairement « pure », c'est-à-dire qu'elle consiste en un simple appel à la fonction, et jamais à un calcul ou une composition. Par exemple, dans un langage de programmation fictif : fonction récursionTerminale(n) : // ...

F Sharp

F# est un langage de programmation fonctionnel, impératif et orienté objet pour la plate-forme .NET. F# est développé par Microsoft Research et son noyau est dérivé du langage OCaml, avec lequel il est fortement compatible. Ces deux langages de programmation font partie de la même famille que les langages ML. Ce langage a été conçu spécifiquement pour la plate-forme .NET, donc fortement orienté-objet. Depuis novembre 2010, Microsoft a mis à la disposition de tous les bibliothèques core et son compilateur F#, sous la licence Apache 2.

Afficher plus

MOOCs associés (1)

Information, Calcul, Communication: Introduction à la pensée informatique

Notebooks associés (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"]

Afficher plus

Personnes associées (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.

Notebooks associés (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

Afficher plus