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.
Talks I've Given
-
Lightning Talk: Session types for F#ers
Featuring Fahd Abdeljallal
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.
structured-communication type-providers distributed-protocols functional-programming f# f-sharp -
Lightning Talk Session: Value Constraint at Compile-Time
Featuring Fahd Abdeljallal
During this talk, you will explore a small project which Fahd has been working on, that allows compile-time constraint on F# base types.
fsharp fsharpx type-provider constraint-types types compile-time validation -
Session Types with Fahd Abdeljallal
Featuring Fahd Abdeljallal
Session types are a formalism to codify the structure of a communication, using types to specify the communication protocol used. This formalism provides the coder a type-safe way of writing communication code according to a specific protocol.
f-sharp functional