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 --- ABSTRACT DATA TYPES IN THE REGION OF ABYSMAL PAIN, AND HOW TO NAVIGATE THEM by Zainab Ali THIS TALK IN THREE WORDS: ADTs graphs Dependent types TALK LEVEL: Intermediate ABSTRACT Abstract data types are an essential tool in a programmer's toolkit, but finding a data structure to fit them can be challenging. This is especially so for graphs, which can have complex constraints that are difficult to encode using conventional data structures. Join me in the search for a functional, typesafe graph. We will explore different graph representations, and discover how types can help us encode constraints. Using dependent types, we will construct a graph that we can prove satisfies its abstract data type. Slides & full abstract: https://codesync.global/speaker/zainab-ali/ --- THE SPEAKER - ZAINAB ALI Functional polyglot / can squat her own bodyweight Zainab is a functional polyglot. She is a co-organizer of the London Scala User Group and is the author and contributor to many functional libraries. She enjoys coding in Scala, Rust, Haskell, Idris, PureScript, Racket and anything she can get her hands on. More on Zainab Ali: https://codesync.global/speaker/zainab-ali/ --- 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: https://www.facebook.com/CodeSyncGlobal LinkedIn: https://www.linkedin.com/company/code-sync/ Mail: info at codesync.global #DataTypes #Graphs