3rd East Bay Haskell Meetup

Join us for our 3rd East Bay Haskell Meetup! There will be Talks, Mingling, and Drinks.

==

Speaker: Adelbert Chang (Lead Data Engineer @ Target)

Title: Persistent Data Structures in System Design

Abstract: Persistent data structures are a powerful tool in the functional programming toolbox, allowing us to work with changing data without sacrificing referential transparency. However the use of persistent data structures often stops with the program, the resulting code flung over the wall to be built and deployed in non-referentially transparent systems. In this talk we will see that it doesn't have to be this way and explore system designs that leverage the techniques of persistent data structures to recover referential transparency in the ever changing world of builds and deployments. ==

Speaker: David Spies (Software Engineer @ LeapYear)

Title: Reflection: Passing Arguments as Constraints

Abstract: Reflection is a helpful tool for making static guarantees about your code’s behavior, but most explanations are daunting, assume a lot of background knowledge about GHC language extensions, and just generally have a steep learning curve. I’ll present reflection with lots of examples and attempt to explain each language extension as it’s used.

==

Speaker: David Thomas (Software Engineer @ LeapYear)

Title: Using C Types

Abstract: Static type checking is a powerful tool, but tools are only valuable when you know how to use them. I took some lessons learned in Haskell back to C; in this talk I'll explore their expression in that setting.

==

Check back soon for more updates. :-)