5th April 2018 in London at CodeNode

There are 24 other SkillsCasts available from F# eXchange 2018

Please log in to watch this conference skillscast.

Https s3.amazonaws.com prod.tracker2 resource 41088130 skillsmatter conference skillscast o9nohu

Type providers have proved a popular and valuable tool in the F# community within their primary use case of working with structured data—the main type providers library F# Data is one of the most downloaded F# libraries.

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:

Thanks to our sponsors

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.

SkillsCast

Please log in to watch this conference skillscast.

Https s3.amazonaws.com prod.tracker2 resource 41088130 skillsmatter conference skillscast o9nohu

Type providers have proved a popular and valuable tool in the F# community within their primary use case of working with structured data—the main type providers library F# Data is one of the most downloaded F# libraries.

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:

Thanks to our sponsors

About the Speaker

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.

Photos