Springer Nature
Springer Nature
Springer Nature advances discovery by publishing robust and insightful research, supporting the development of new areas of knowledge, making ideas and information accessible around the world, and leading the way on open access.
-
Keynote: Conveying the Power of Abstraction
Featuring Dr Eugenia Cheng
Abstract mathematics is sometimes thought of being very far removed from real life, perhaps something that people think about with their head in the clouds as opposed to the sort of applied maths and science do when people are thinking about "reality". And yet, many of you who work in...
abstract-mathematics abstraction scalax functional-programming haskell scala -
2
Kotlin vs Scala
Featuring Urs Peter and Joost Heijkoop
You have almost 20 years of Scala experience and have experience with many other languages. Recently you have jumped onto Kotlin, because it looks very promising as Java competitor. Of course there is no one size fits all solution. Joost will show how the two languages compare and explain why and...
scala kotlin scalax -
Ciris: Functional Configurations
Featuring Viktor Lövgren
Configurations can be a time bomb waiting to explode. In fact, configuration errors have become a major cause of failures in large-scale systems. Many of these issues arise because configuration values are not validated upfront.
scala effects type-classes literal-types functional-programming configurations -
Lightning Talk: Britain’s Computing Education Problem Can Be Fixed
Featuring James Belsey
The new Computing Curriculum describes a genuinely useful and durable set of computing skills. Simon Peyton Jones and others have worked extremely hard to make this a reality for the UK. The new curriculum does a much better job than its predecessors in preparing students for a career in...
scala computing-curriculum computing-education scalax -
Lightning Talk: MTL in 15 minutes
Featuring Pere Villega
This year MTL (and cats-mtl) have come to the forefront. But, what is MTL? How does it work? And how can it help my codebase? In this lightning talk, you will get an introduction to MTL and an answer to all those questions, so you can start exploring this new technique.
scala cats-mtl scalax mtl -
Refactor All the Things!
Featuring Daniela Sfregola
Learning the syntax is just the first step towards mastering a new language. Idiomatic expressions and good practices must also be adopted to produce code that is readable and performant. Without guidance on its specific style, you can quickly develop habits that could cause your application to...
refactoring scala functional-programming scalax -
Lightning Talk: Compile-time checked URI templates with uritemplate4s
Featuring James Collier
RFC 6570, colloquially known as the URI Template specification. A method to compactly describe a range of URIs through variable expansion. In this talk James will give a brief overview of the technologies utilised to build this library, fastparse (a parser combinator library) and contextual (to...
scala uritemplate4s uri -
Lightning Talk: Formally Verifying Complex Systems Using TLA+
Featuring Ruben Berenguel
Designing interactions across systems can be complex. Microservices, actors, threads: anything involving communication or sharing can lead to complex state machines that are then hard to test and reason about.
TLA+ is a formal specification language created by Leslie Lamport (Paxos, LaTeX, Turing...
scala akka tla pluscal scalax -
Reinforcement Learning in Scala
Featuring Chris Birchall
Reinforcement learning (RL) is a powerful machine learning paradigm that has been successfully applied to a wide class of problems, from steering helicopters to predicting stock prices. During this talk you will find out what RL is all about and how to implement it in Scala. Chris will introduce...
scala temporal-difference-learning reinforcement-learning scalax
