micro.sphere.it #4: Scala

header_microsphere_#4-min
Date
15.09.2020 at 19:00 CEST
Event website
Registration
Closed
Language
English

We invite you for next micro.sphere.it event!

 

Topic 1: Countdown to Scala 3

I give a quick status report where we are with Scala 3.

What is the current status? What remains to be done? Who is contributing to the effort?

I’ll also give some initial thoughts about how Scala will evolve after 3.0 is out.

Bio:
Martin Odersky, EPFL

 Inventor of the Scala language, a professor at EPFL in Lausanne, Switzerland, and a founder of Lightbend. ACM fellow, co-designer of Java generics, and original author of the current javac reference Compiler.

____________________

Topic 2: Infrastructure as Types

In this talk, I’ll show you infrastructure from a pragmatic point of view. I’ll be talking about complexity, entropy and problems in the infrastructure. I’ll explain briefly the why and how of the Cloud Native platforms. I’ll show how workloads need to be adapted for the cloud and what new problems they face.

Finally, we’ll try to answer the following:
With Infrastructure as Code gaining popularity, what can be the next step?
What if we could leverage a strongly typed programming language?

I’ll also show an idea for Infrastructure as Types and a proof of concept written in Scala. This talk will help you systematize your knowledge about infrastructure and the cloud, and hopefully inspire to wonder about what the future might bring in that regard.

Bio:
Paweł Prażak, Cloud Architect at VirtusLab

Cloud Architect @ VirtusLab particularly interested in distributed computing and security. After years of writing backend, middleware software and infrastructure automation, his current focus is DevOpsSec and Cloud Native platforms. He dreams of replacing himself with a software. Addicted to Twitter and coffee.

____________________

Topic 3: Exploring Type-Level Programming in Scala

In this introduction to type-level programming in Scala, we are going to discuss how we can leverage the full power of the type system to verify domain properties of an application at compile-time, instead of doing runtime verifications at the value-level.

Bio:
Jorge Vásquez, Software developer at Scalac

Software developer focused on the backend. He had the chance to work with several technologies and programming languages across different industries, such as Telco, AdTech, and Online Education. He’s always looking to improve his skills, finding new and better ways to solve business problems. He loves functional programming, and he’s convinced it can help to make better software. Also, he’s excited about new libraries like ZIO that are making Scala FP more accessible to developers.

Written by

Natalia Romanowska
Natalia Romanowska Nov 5, 2020