Lightning Talk: Type Me If You Can: A Type-driven Approach to Microservice Development
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:
- F# eXchange 2020 (in London on 2nd - 3rd April 2020)
- Lightning Talk: Let’s talk about Types (SkillsCast recorded in April 2019)
- Introduction to Docker Fundamentals (in London on 30th September - 1st October 2019)
- CloudNative London 2019 (in London on 25th - 27th September 2019)
- Running Stateful Applications in Kubernetes (in London on 5th September 2019)
- Software Architecture for Developers Workshop (in London on 9th - 10th September 2019)
- Functional Concurrency in .NET with C# and F# (in London on 9th - 10th September 2019)
- ProgNET London 2019 (in London on 11th - 13th September 2019)
- XP as we would do it today (in London on 27th August 2019)
- Keynote by Iris Classon on .NET Core and More: 30 Things You Should Know (in London on 28th August 2019)
- How To Avoid Abrupt Climate Change (SkillsCast recorded in August 2019)
- Domain Driven Design in Practice with Helin Ece Akgul (SkillsCast recorded in August 2019)
Thanks to our sponsors
Lightning Talk: Type Me If You Can: A Type-driven Approach to Microservice Development
Rumyana Neykova
Rumyana Neykova is a Lecturer in Computer Science at Brunel University London. She has a PhD from Imperial College London and has several years of experience working on large cyberinfrastructure projects and middlewares. Her expertise is in the area of 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 them and she sometimes uses them to solve existing and non-existing problems.
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:
- F# eXchange 2020 (in London on 2nd - 3rd April 2020)
- Lightning Talk: Let’s talk about Types (SkillsCast recorded in April 2019)
- Introduction to Docker Fundamentals (in London on 30th September - 1st October 2019)
- CloudNative London 2019 (in London on 25th - 27th September 2019)
- Running Stateful Applications in Kubernetes (in London on 5th September 2019)
- Software Architecture for Developers Workshop (in London on 9th - 10th September 2019)
- Functional Concurrency in .NET with C# and F# (in London on 9th - 10th September 2019)
- ProgNET London 2019 (in London on 11th - 13th September 2019)
- XP as we would do it today (in London on 27th August 2019)
- Keynote by Iris Classon on .NET Core and More: 30 Things You Should Know (in London on 28th August 2019)
- How To Avoid Abrupt Climate Change (SkillsCast recorded in August 2019)
- Domain Driven Design in Practice with Helin Ece Akgul (SkillsCast recorded in August 2019)
Thanks to our sponsors
Lightning Talk: Type Me If You Can: A Type-driven Approach to Microservice Development
Rumyana Neykova
Rumyana Neykova is a Lecturer in Computer Science at Brunel University London. She has a PhD from Imperial College London and has several years of experience working on large cyberinfrastructure projects and middlewares. Her expertise is in the area of 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 them and she sometimes uses them to solve existing and non-existing problems.