B
Schedule
Speakers

Schedule Speakers

Join Event

Or use your email

Email Address

Name

Set Password Must be at least 8 characters

By continuing, I accept the Emamo terms of service
and have read the privacy policy.

Have an Emamo account? Log In

Log In

Have an Emamo account? Log in below

Email Address

Password

Forgot Your Password?

Scale By the Bay

Vlad Patryshev

machinify.com

engineer

USSR: until 1991. Mathematician by education, programmer by vocation. Russia: until 1998. Founder, freelancer, programmer. Bay Area: since 1998. Programmed anything. Borland, Google, Salesforce, and a bunch of nice small things. Google keyboard was my 20%. In 2008 fell in love with Scala. But still learning stuff.

Show Schedule in My Timezone

Wednesday, October 27, 2021

Thursday, October 28, 2021

Friday, October 29, 2021

cloud

functional

data

Zoom

Rockset booth

Databricks booth

Tubi booth

Search

Thursday, October 28, 2021

5:10 PM - 5:40 PM PDT

Algebraic Data Types, Categorically

functional

Vlad Patryshev

machinify.com, engineer

To understand what we are dealing with when we have ADT, one needs to get a bit deeper into Lawvere theories. Then things become clearer. To see how ADT are models of Lawvere theories, one needs some (not very deep) dive into categories (and free algebras). In this talk I'll try to explain all this in an as clear way as possible.

Download these images to your phone and post using the Instagram app.

Twitter

Scale By the Bay

Organized by By the Bay

Powered by Emamo. Terms + Privacy.

Organizing an event?

Publish your own event site with Emamo. Create Event