Thursday, June 4, 2020
7:00 PM to 9:00 PM GMT+2
Agenda:
19:00 - 20:00: Jon Pretty: Probing the Unprovable, Proving the Improbable and Improving Your Programs' Probity
20:00 - 21:00 Andreas Drobisch: Event Sourcing at Scale
= Registration =
This meetup is happening online, you can register for the webinar here:
http://meet.meetup.com/ls/click?upn=yBf4llw5PeaY7leriFwBBpCSB4O1f6ho9YccdkCWGPZaC3Cl-2FKJOtDc08Pq0xahbQET1OShCLPvhb3xihOAj7656UNFXOoTBf4HhgnGsg0I-3DbYXv_-2B19yZVi7IWGIPfMqvQHoqh3Q06XuPz202C5Z7R5hrON1YVGkXzGNLX7y4w8SSIASwE13hwFjBDtKHBd5ZtNp-2FOSP6dd3WDl6-2FHnfS58GWginYJ30W-2BlPtlrC3GRkk35DIT-2BLu5dYSOvXBkriPbK6j0RhX39Jl4UldCUz009P68IzhxV8IwlA5nLdJHhv166vUOTs3pcVC18KTfIMJYhvsLx01X0ILhCm7-2FUFyLvY1AHC6-2BB9jynuNW0MhzjO9bGU
= Talk & Speakers =
== First talk ==
Jon Pretty: Probing the Unprovable, Proving the Improbable and Improving Your Programs' Probity
Writing robust, reliable software is the goal of most developers. Scala's type system provides a framework in which many desirable invariants can be enforced and proven at compile-time, while the JVM offers the means to probe the runtime to check that all inputs produce the expected results when executed.
With this goal in mind, we will examine two new libraries, Quarantine and Probably, which offer solutions from these two orthogonal directions, each introducing a novel idea with the potential to change the way you write tests and handle exceptions. We will explore the details of Scala's type system which facilitates Quarantine's approach to exception handling, and focus on the compositionality that Probably provides as a testing library.
Finally, we will look ahead to Scala 3, and discover what possibilities it brings for developing more reliable software in the future.
About the speaker:
Jon has worked full-time as a Scala developer since 2004, and has been heavily involved in the Scala community for as long as it has existed.
He travels extensively, speaking on a variety of Scala topics at many Scala events worldwide, including talks on his open-source libraries and original research on subjects such as type inference and the differences between type members and type parameters.
== Second talk ==
Andreas Drobisch: Event Sourcing at Scale
What if you could build your entire application state from immutable
events, instead of waiting to update it whenever change comes? As a
commerce platform with high traffic and millions of events, Event
Sourcing has a great impact on how we build our application. Andreas will give you a quick look into how we tackle the topic of Event
Sourcing at commercetools and the benefits and drawbacks of our
approach.
About the speaker:
Sitting in front of computers since 1992, on the JVM train from 2010 and a Scala enthusiast since 2012, Andreas is currently a Senior Scala Engineer at commercetools who currently enjoy sitting on the balcony more than usual.
= Sponsors =
This Meetup is brought to you by our sponsors: commercetools GmbH (https://commercetools.com/) in a collaboration with Ziverge Inc (https://ziverge.com/)
Организатор: Kyiv Scala Group
A community of passionate Scala/FP devs that are interested in improving their craft, share their experience and discuss ways to tackle hard problems in functional programming, distributed systems, real time streams, big data by using Scala, Akka, Akka-Streams, Spark etc.
The goal of the group is to organize meetups on a regular basis.
For live discussions join us on telegram - to get a join link please pm me
Сайт: https://www.meetup.com/meetup-group-kyiv-scala-group/
