Dnvstympmrzhklkgobnj
SkillsCast

Lightning Talk: Let’s talk about Types

4th April 2019 in London at CodeNode

There are 27 other SkillsCasts available from F# eXchange 2019

Please log in to watch this conference skillscast.

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

Rumyana will give a (very) brief history of types and will discuss some (new and not that new) type systems, such as session types (types for distributed programs), refinement types (types with predicates). In this talk, she will challenge you to think how (and why) you can stretch the notion of types and make them accessible to the F# community. She will show you how to hack the F# compiler and use some typed goodies. In particular, she will talk about, Fluid Types, a project which aims to infer predicates from F# programs. She will discuss how far you should push the boundaries of the F# type system (if at all), and what are the trade-offs that we have to make.

YOU MAY ALSO LIKE:

Thanks to our sponsors

Lightning Talk: Let’s talk about Types

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.

SkillsCast

Please log in to watch this conference skillscast.

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

Rumyana will give a (very) brief history of types and will discuss some (new and not that new) type systems, such as session types (types for distributed programs), refinement types (types with predicates). In this talk, she will challenge you to think how (and why) you can stretch the notion of types and make them accessible to the F# community. She will show you how to hack the F# compiler and use some typed goodies. In particular, she will talk about, Fluid Types, a project which aims to infer predicates from F# programs. She will discuss how far you should push the boundaries of the F# type system (if at all), and what are the trade-offs that we have to make.

YOU MAY ALSO LIKE:

Thanks to our sponsors

About the Speaker

Lightning Talk: Let’s talk about Types

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.

Photos