Cleaver introduces Elixir to developers who are interested in this language. Discover what it is about and what makes it special.

The "Language Server Protocol" (LSP) is a "don't call us, we'll call you" plugin mechanism for arbitrary programming language support for IDEs such as VScode. The protocol clearly separates the "what" (syntax, static semantics, dynamic semantics, refactorings) from the "how" (scheduling asynchronous jobs, interprocess communication, caching, (de)serialization, visualization, UI interactions, editors) in IDE construction.

In this talk, we demonstrate how to construct an LSP server for your own language, be it a programming language or a domain-specific language. We use the Rascal meta-programming language, which allows us to express programming language syntax and semanticson the abstraction level of the language, without even thinking about lower-level implementation details. Such a language prototype canbe wired directly into a "parametric" LSP (one that works for all languages made in Rascal). In other words, only the "what" is left,and the "how" has been completely automated.

Rascal, LSP, and VScode are a potent combination for designing and deploying your own languages, but when we add Gitpod to the mix,the languages really come alive immediately. We demonstrate a Logo-like programming language designed for high school students, one they can extend and adapt themselves, to run directly in the browser with some nice visual effects.

What makes Rust more than "just another curly-brace language"? And what would it take to bring it to safety-critical domains like automotive, aerospace, and medical devices? Florian Gilcher (Co-founder of Ferrous Systems) talks about Rust's journey into such industries, highlighting key aspects of its potential for adoption.

Watch to hear Florian's insights about Rust's growing significance for high-integrity systems, opportunities that the future holds for the language, and the challenges that must be addressed for it to become a prominent player in this space.

Special thanks to:

A conversation with Brujo Benavides at the SE4FP Warm-up.

Brujo is an Erlang developer and trainer. He currently works as a Senior Erlang Engineer at Baxter. He has organized events such as SpawnFest and ElixirConf LA. He lives in Sant Cugat del Vallès, Spain.

Education: Computer Science, University of Buenos Aires (UBA).

Website: https://about.me/elbrujohalcon

Brujo is the creator of Erlang Battleground, a collection of funny and weird stories discovered while coding in Erlang.
Read more: https://medium.com/erlang-battleground

This session is also part of Adolfo Neto's Introduction to Functional Programming course, offered annually at PPGCA, UTFPR's Professional Master’s Program in Applied Computing. Today’s guest previously joined that course for an interview in an earlier edition of this course: https://www.youtube.com/watch?v=6MTSl2OArd0

Fill out https://forms.gle/J88PVbxiSew1bKeo6 if you want to be notified about future talks. The schedule is already available at https://se4fp.github.io/2025/#esquenta