Скачать с ютуб Simon Peyton Jones - Revisiting pattern match overlap checks in Haskell | Code Mesh LDN 19 в хорошем качестве

Simon Peyton Jones - Revisiting pattern match overlap checks in Haskell | Code Mesh LDN 19

This video was recorded at Code Mesh LDN 19 - http://bit.ly/37xc3Nr Get involved in Code Sync's next conference - http://bit.ly/2Mcm4aS --- REVISITING PATTERN MATCH OVERLAP CHECKS IN HASKELL by Simon Peyton Jones TALK LEVEL: All levels ABSTRACT How hard can it be to spot missing or overlapping patterns in a Haskell function definition? Surely it’s the least we can expect from a decent compiler? But when you mix in GADTs, pattern guards, view patterns, data families, strict data constructors, and pattern synonyms, matters get surprisingly tricky. In a 2015 paper “GADTs meet their match” (https://www.microsoft.com/en-us/resea...) we explored a nice, modular account of pattern-match checking that addresses many of these tricky points. Alas, GHC’s implementation of that paper has proved less than satisfactory: it can be terribly slow, and misses cases that programmers think look obvious. So my colleague Sebastian Graf and I have been radically refactoring the implementation. In this talk, I will give lots of tricky examples of pattern matching, describe how to think about coverage and overlap checking, and reflect on how their new refactored implementation works. Slides & full abstract: https://codesync.global/speaker/simon... --- THE SPEAKER - SIMON PEYTON JONES Principal researcher at Microsoft Research https://www.microsoft.com/en-us/resea... Simon has been a researcher at Microsoft Research in Cambridge, England since Sept 1998. He's also an Honorary Professor of the Computing Science Department at Glasgow University, where he was a professor during 1990-1998. Simon is interested in the design, implementation, and application of lazy functional languages. In practical terms, that means he spends most of his time on the design and implementation of the language Haskell. In particular, much of his work is focused around the Glasgow Haskell Compiler, and its ramifications. Simon is chair of Computing at School, the group at the epicentre of the reform of the national curriculum for Computing in England. Computer science is now a foundational subject, alongside maths and natural science, that every child learns from primary school onwards (background here). More on Simon Peyton Jones: https://codesync.global/speaker/simon... --- CODE SYNC & CODE MESH LDN 19 Code Mesh LDN is powered by Code Sync. Code Mesh LDN 19 was sponsored by WhatsApp, Microsoft, Erlang Solutions, Juxt, aeternity, Duffel, and IOHK. CODE SYNC Website: www.codesync.global Twitter: www.twitter.com/CodeMeshIO Facebook:   / codesyncglobal   LinkedIn:   / code-sync   Mail: info at codesync.global #PatternMatching #Haskell #SimonPeytonJones