The Scala Workshop 2025
Mon 13 - Tue 14 October 2025 Singapore
co-located with ICFP/SPLASH 2025

This program is tentative and subject to change.

Mon 13 Oct 2025 14:20 - 14:40 at Peony West - Noon Chair(s): Oliver Bračevac, Hamza Remmal

Scala supports both OO/imperative and functional styles of writing programs. Many Scala beginners come from an imperative background and write Scala programs like OO programs, getting deprived of the benefits brought by its functional core (e.g. easy parallelization). This work presents a developer-focused tool for Scala, called ScalaF, that detects non-idiomatic code and suggests refactorings aligned with the functional paradigm. Built as a VSCode plugin with a Scala backend, ScalaF identifies and suggests refactorings for control-flow constructs such as loops and conditionals, replacing them with higher-order functions and pattern matches where applicable. We discuss the motivation, design, and integration of ScalaF into the developer workflow. ScalaF is extensible, and its source code is publicly available. The goal is to reduce technical debt, promote best practices, and lower the barrier to writing functional Scala code.

This program is tentative and subject to change.

Mon 13 Oct

Displayed time zone: Perth change

13:40 - 15:20
NoonThe Scala Workshop 2025 at Peony West
Chair(s): Oliver Bračevac EPFL, LAMP, Hamza Remmal EPFL, LAMP
13:40
20m
Talk
The Quest for Mutable Value Semantics in Scala
The Scala Workshop 2025
Dimi Racordon EPFL, LAMP
File Attached
14:00
20m
Talk
How Functional is Direct-Style?
The Scala Workshop 2025
Adam Warski SoftwareMill
File Attached
14:20
20m
Talk
ScalaF: Functional Refactoring Suggestions for Scala
The Scala Workshop 2025
Shiv Kiran Bagathi Indian Institute of Technology Bombay, Shrikha Mahanty Indian Institute of Technology Mandi, Dasari Gnana Heemmanshuu Indian Institute of Technology Bombay, Manas Thakur IIT Bombay
File Attached
14:40
20m
Talk
Debugging for Scala Control Flow DSLs
The Scala Workshop 2025
Finn Hackett University of British Columbia, Ivan Beschastnikh The University of British Columbia
15:00
20m
Talk
Migrating Large-scale Scala Projects to Explicit-nulls with the Help from LLMs
The Scala Workshop 2025
Yaoyu Zhao EPFL, LAMP
File Attached