Please log in to watch this conference skillscast.
In this talk, Fahd will share with you that type providers have untapped potential for important applications beyond data schemes. You will learn that they can be used for structuring the interactions between distributed applications. In particular, Fahd will present a type provider library for compile-time generation of session types. As data types codify the structure of the computation, session types codify the structure of communication by stipulating the order and the types of the messages that are exchanged between distributed processes. Having Session types as the unit of composition for communication allows you to detect communication errors such as deadlocks, race conditions, and communication mismatch, statically. Hence, you present a user-friendly library, that allow users to have compile-time guarantees on the communication with other processes.
YOU MAY ALSO LIKE:
Lightning Talk: Session types for F#ers
Fahd Abdeljallal
Fahd is a Master student at Imperial College London, who has done his Master thesis on session types and their application over F#. New to the F# community and the language, he loves to speak and learn about it every day. Other than that, he loves spending his spare time learning about different theories and technologies, especially type theory and functional programming.