Structural Typing for Structured Products
Please log in to watch this conference skillscast.
Join Tim WIlliams & Peter Marks from Barclays for a talk on structural typing for structured products.
In this talk, Peter and Tim will explain structural typing and compare it to the more usual nominal typing. They will present some code examples from an in-house external DSL, Lucid, for describing exotic equity trades and strategies. Lucid features a type-system that makes significant use of row polymorphism, specifically extensible records and their dual, polymorphic sums with extensible cases.
The pair will demonstrate the use of records and extensible cases through example code written in such a way that it can be re-used in other unanticipated contexts. And compare and contrast with other more mainstream approaches, such as object-oriented programming. Lastly, the duo will explore how row-polymorphism can be used to implement a simple effects tracking system for external DSLs.
YOU MAY ALSO LIKE:
- Well-Typed's Fast Track to Haskell (in London on 8th - 9th October 2018)
- Well-Typed's Guide to the Haskell Type System (in London on 10th October 2018)
- HaskellX2gether Community Day 2018 (in London on 13th October 2018)
- Well-Typed's Guide to Haskell Performance and Optimization (in London on 15th - 16th October 2018)
Thanks to our sponsors
Structural Typing for Structured Products
Tim Williams
Tim Williams has worked as a software developer in the finance industry for over 15 years. He has programmed Haskell professionally for over 6 years and is currently a member of the Strats team at Standard Chartered Bank, writing trading software in Haskell. He holds a PhD in Physics from the University of Bristol.
Peter Marks
Peter has been developing software for over 30 years. As an active member of the OO community, he was a regular speaker at the OT and SPA conferences. In 1999, he co-founded Connextra, pioneering many of today's main-stream Agile practices. For ten years, Peter's primary interest has been functional programming, and he now leads the FPF team at Barclays, developing languages for modelling Structured Products, and tools for pricing and managing trades, in Haskell.
-
SkillsCast
Please log in to watch this conference skillscast.
Join Tim WIlliams & Peter Marks from Barclays for a talk on structural typing for structured products.
In this talk, Peter and Tim will explain structural typing and compare it to the more usual nominal typing. They will present some code examples from an in-house external DSL, Lucid, for describing exotic equity trades and strategies. Lucid features a type-system that makes significant use of row polymorphism, specifically extensible records and their dual, polymorphic sums with extensible cases.
The pair will demonstrate the use of records and extensible cases through example code written in such a way that it can be re-used in other unanticipated contexts. And compare and contrast with other more mainstream approaches, such as object-oriented programming. Lastly, the duo will explore how row-polymorphism can be used to implement a simple effects tracking system for external DSLs.
YOU MAY ALSO LIKE:
- Well-Typed's Fast Track to Haskell (in London on 8th - 9th October 2018)
- Well-Typed's Guide to the Haskell Type System (in London on 10th October 2018)
- HaskellX2gether Community Day 2018 (in London on 13th October 2018)
- Well-Typed's Guide to Haskell Performance and Optimization (in London on 15th - 16th October 2018)
Thanks to our sponsors
-
About the Speakers
Structural Typing for Structured Products
Tim Williams
Tim Williams has worked as a software developer in the finance industry for over 15 years. He has programmed Haskell professionally for over 6 years and is currently a member of the Strats team at Standard Chartered Bank, writing trading software in Haskell. He holds a PhD in Physics from the University of Bristol.
Peter Marks
Peter has been developing software for over 30 years. As an active member of the OO community, he was a regular speaker at the OT and SPA conferences. In 1999, he co-founded Connextra, pioneering many of today's main-stream Agile practices. For ten years, Peter's primary interest has been functional programming, and he now leads the FPF team at Barclays, developing languages for modelling Structured Products, and tools for pricing and managing trades, in Haskell.