Munich Scala Days III
Details
Munich speakers have a strong presence at this year's Scala Days conferences. In this event, we want to bring you some of the content to Munich with a talk by Justin Kaeser (as promised last time :) and a fresh talk by Lars Hupel previously given at LX Scala.
The event will be hosted at the JetBrains Event Space, pizza and drinks will be provided!
---
Talk 1 -- Justin Kaeser: Fork It Harder Make It Better
The case for forking the Scala development toolchain - and the case against it. Scala has the reputation of being hard to write tooling for, yet it is a vital part of the development experience. I want to present an overview of existing tools from writing code to building, testing and deploying it, how they are lacking, where better solutions exist outside of Scala Land and how we can improve it.
Justin believes in "Tools before Rules": automating the development toolchain to remove the pain of dealing with institutional processes. At day he works on this goal as part of the IntelliJ Scala plugin team. At night he goofs off.
---
Talk 2 -- Lars Hupel: Numeric Programming with Spire
Numeric programming is a notoriously difficult topic. For number crunching, e.g. solving systems of linear equations, we need raw performance. However, using floating-point numbers may lead to inaccurate results. On top of that, as functional programmers, we'd really like to abstract over concrete number types, which is where abstract algebra comes into play. This interplay between abstract and concrete, and the fact that everything needs to run on finite hardware, is what makes good library support necessary for writing fast & correct programs. Spire is such a library in the Typelevel Scala ecosystem. This talk will be an introduction to Spire, showcasing the 'number tower', real-ish numbers and how to obey the law.
Lars Hupel is a PhD student at TU München in the field of logic and verification. His research focus is on techniques for verified code generation from theorem provers. Additionally, he has worked on formal treatments of Linux firewalls. A frequent conference speaker and co-founder of the Typelevel initiative, he is active in the open source community, particularly in Scala. He also enjoys programming in Haskell, Prolog, and Rust.