Linear Types – Constantine TerMatevosian

>> YOUR LINK HERE: ___ http://youtube.com/watch?v=FqDHSIpWJRw

In this video, we explore linear types and how they are implemented in Haskell. We study some theoretical background on linear types, look at the LinearTypes extension, and list some of the perks that linear types can bring to the table. • Additional resources: • The LinearTypes GHC extension: https://downloads.haskell.org/ghc/lat... • Linear types, as described in the GHC documentation: https://gitlab.haskell.org/ghc/ghc/-/... • Linear Haskell: practical linearity in a higher-order polymorphic language / Bernardy J. et al.: https://arxiv.org/abs/1710.09756 • Linear types make performance more predictable: https://www.tweag.io/blog/2017-03-13-... • Linearly Qualified Types: Generic inference for capabilities and uniqueness / Spiwack A. et al.: https://arxiv.org/abs/2103.06127 • Linear Logic: https://plato.stanford.edu/entries/lo... • Get FP merch that doesn't suck. 👇 • https://shop.serokell.io/ • Follow us on social media: • / serokell • Learn more about us: • https://serokell.io/ • https://github.com/serokell • Contact us: • [email protected] • 0:00 Intro • 0:21 What are linear types? • 1:27 Simple examples • 2:12 Linear Haskell • 6:37 Analyzing common Haskell functions • 8:32 Datatype constructors • 9:20 Controlling linearity • 9:55 Formalizing the restriction behind linearity • 17:08 !-modality • 17:54 Perks of linear types • 20:06 Conclusion

#############################

New on site