Please log in to watch this conference skillscast.
Types are probably the last thing that comes to your mind when someone mentions microservices. The aim of this talk is to change this misconception. Rumyana will share with you that types can be used to understand, test, specify and verify microservices. In particular, she will give you a crash course on session types, which were born as types for distributed processes. Session types are not that different than youр normal data types. In the same way that you have string and int to describe the data in your application, a session type describes the constraints on the interactions between components. For example, a simple session type can specify that a service is expected to send an int, and then to receive a string. Simple, right?
YOU MAY ALSO LIKE:
- Lightning Talk: Let’s talk about Types (SkillsCast recorded in April 2019)
- Domain Models in Practice: DDD, CQRS & Event Sourcing with Marco Heimeshoff (Online Course on 30th November - 4th December 2020)
- Sociotechnical Domain-Driven Design with Kacper Gunia (Online Course on 7th - 8th December 2020)
- Strategic Domain-Driven Design Tools For Non‑DDD People (Online Meetup on 29th October 2020)
- Implementing Microservices: Nobody Told Me About That (SkillsCast recorded in October 2020)
- Debugging Containers on Kubernetes with "kubectl debug" (SkillsCast recorded in July 2020)
Lightning Talk: Type Me If You Can: A Type-driven Approach to Microservice Development
Rumyana Neykova is a Lecturer in Computer Science at Brunel University London. She has a PhD from Imperial College London, where she worked as a researcher and a fellow. She is a recipient of PhD sponsorship from VMWare on her work on Runtime Verification of Concurrent and Distributed Systems and EPSRC Fellowship on Hybrid Verification Techniques. Interesting projects she has worked on include her collaboration with the Ocean Observatory Initiative for ocean monitoring and the EPSRC-funded project “From Data Types to Session Types---A Basis for Concurrency and Distribution”. She has published numerous articles in the area of programming languages and distributed systems, with a primary focus on fault-tolerance, monitoring and verification. Some of the tools in her toolbox are model checkers, SMT solvers, type systems, and compilers. She loves to create, break and improve these tools and she sometimes uses them to solve existing and non-existing problems. No matter where her research takes her, she always eventually comes back to F#.