R1bxtjvod8qvr35c4e03
Meet up

Keynote by Zainab Ali on Abstract Data Types In The Region Of Abysmal Pain, And How To Navigate Them

FREE: Register Now

Monday, 30th September at CodeNode, London

This meetup is organised by Scala Matters Starts at 6:30 PM.

Are abstract data types the source of your pain points? Are you struggling to find a data structure to fit your data types? Zainab Ali will be joining us at this month's Scala Matters to share her keynote on how to navigate these issues. Don't miss it!

Programme

Come down to CodeNode to learn from the best, share your ideas and join our vibrant community! Be sure to sign-in early to grab a drink and meet other attendees in a casual, relaxed setting.

18:30-19:00 Sign-in and get settled

19:00-19:45 Zainab's presentation

19:45-20:00 Q&A

Abstract Data Types In The Region Of Abysmal Pain, And How To Navigate Them

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 Zainab in the search for a functional, typesafe graph. Together, you will explore different graph representations, and discover how types can help you encode constraints. Using dependent types, you will construct a graph that you can prove satisfies its abstract data type.

Zainab Ali

Zainab is a functional programmer. She is the author of Libra and a contributor to many functional Scala libraries, such as cats and fs2.

Thanks to our sponsors

Attending Members

Overview

Are abstract data types the source of your pain points? Are you struggling to find a data structure to fit your data types? Zainab Ali will be joining us at this month's Scala Matters to share her keynote on how to navigate these issues. Don't miss it!

Programme

Come down to CodeNode to learn from the best, share your ideas and join our vibrant community! Be sure to sign-in early to grab a drink and meet other attendees in a casual, relaxed setting.

18:30-19:00 Sign-in and get settled

19:00-19:45 Zainab's presentation

19:45-20:00 Q&A

Abstract Data Types In The Region Of Abysmal Pain, And How To Navigate Them

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 Zainab in the search for a functional, typesafe graph. Together, you will explore different graph representations, and discover how types can help you encode constraints. Using dependent types, you will construct a graph that you can prove satisfies its abstract data type.

Zainab Ali

Zainab is a functional programmer. She is the author of Libra and a contributor to many functional Scala libraries, such as cats and fs2.

Thanks to our sponsors

Who's coming?

Attending Members