Scala Meetup 0618

Name: Scala Meetup 0618
Start: 2018-06-20T19:00:00+02:00
End: 2018-06-20T21:00:00+02:00
Location: inoio gmbh

Hosted By

Matthias B.

Details

== Talk 1 ==
Performance tuning with sbt-jmh
Every once in a while every one of us is trying to measure performance of certain parts of the code. Maybe because we've identified some piece of code in the "hot path" as a bottleneck, or just because there are different implementation variants where we'd like to choose the fastest one.
Unfortuntunately, obtaining meaningful numbers is actually difficult on the JVM, i.e. the plain timing style of t2-t1 may be misleading or is at least questionable. Providing a meaningful benchmark that has accurate and reproducible results is not trivial.

In this talk I’d like to introduce JMH, the Java Microbenchmarking Harness, which was created for exactly this purpose and gives us a solid foundation for writing benchmarks. We'll see how we can integrate it into our Scala project / build, and how we can write microbenchmarks with JMH.

Martin is co-founder of inoio, building distributed systems with Scala.

== Talk 2 ==
Typelevel computation with Typedapi
Have you ever thought “I really like Haskell’s Servant. Why don’t we have something like that in Scala?” or “Why can't I just define my APIs as types and Scala does the heavy lifting?”? If so, this talk is made for you.

I will tell you a short story about excitement, pain and hate peaking in a climax of type-driven enlightenment. I will tell you my journey of developing Typedapi, a library for building typesafe APIs which moves as many computations to the type level as possible.

We will fight many a beast on our way from Scala’s desugaring to folds working just on types. But eventually, we will arrive at our destination, exhausted, with scars but also able to make our code a bit safer again.

Paul entered the realm of functional and type-level programming three years ago when he was caught by a Scala meetup. After that, he started doing Scala professionally as a Data Engineer for the social network XING. There he works on recommender systems and the ontology infrastructure which are serving requests of millions of users every day.

== Schedule ==