Jon Pretty: Batshit Crazy Algebra with Types

 IMPORTANT Please register at SkillsMatter:

 https://skillsmatter.com/meetups/6286-batshit-crazy-algebra-with-types



Batshit Crazy Algebra with Types

with

Jon Pretty


What would it mean to "add" or "multiply" types like Boolean and List[Int]? Would you think me mad if I applied the quadratic formula to a type, expanded its power series, then tried to justify using this to count binary trees? And what interpretation could I possibly attribute to differentiating types, and what's this got to do with zippers? I'll leave my mathematical rigour at home, and go a bit wild with types and algebra. And hopefully show that doing crazy algebraic stuff with types can actually throw up some surprising and useful results!


 

We will, as always, also be heading to the Slaughtered Lamb pub afterwards.

 


 

**IMPORTANT READ ME TO REGISTER **


Skills Matter are hosting this event and are handling the attendance it is essential that you confirm your place at this link:

 https://skillsmatter.com/meetups/6286-batshit-crazy-algebra-with-types


failure to do so may result in not obtaining a seat. Please register on the Meetup.com "I'm going" to only let the others in the group know your going.

 

If this is your first time to SkillsMatter, directions are:  http://skillsmatter.com/go/find-us

 

 

Join or login to comment.

  • Damian H.

    Fascinating talk John, have you posted the content anywhere? Would be great to look over it again.
    Cheers
    Damian.

    April 17

  • Vasco F.

    Awesome material, presentation could be more thorough.

    April 17

  • Damian H.

    Hi,
    Has anyone who changed their mind about going still to update their status with Skills Matter? Their website is saying the event is full.
    Thanks
    Damian.

    April 16

  • Jon P.

    Just a quick reminder to everyone - don't forget to come along to Skills Matter to hear me talk about some weird algebraic stuff tomorrow (Wednesday) night. I'm looking forward to seeing you there!

    2 · April 15

  • Jon P.

    I'd better come along to this...

    March 20

Our Sponsors

  • Scala Dojo

    Web site for monthly Scala Dojo

  • Scala Jobs

    Google Group of Scala Jobs in the London Area

  • ScalaDays-SF

    Price is $850 (a $200 discount!) with code “scalaug”

  • _.underscore

    Scala consultants, trainers, and developers, based in London, UK

  • Springer

    Help and supporters of the monthly dojo

  • Mind Candy

    Help with the Adv Scala Meet-up

  • Skills Matter

    Provide the venue for many of our meetings.

People in this
Meetup are also in:

Create a Meetup Group and meet new people

Get started Learn more
Allison

Meetup has allowed me to meet people I wouldn't have met naturally - they're totally different than me.

Allison, started Women's Adventure Travel

Sign up

Meetup members, Log in

By clicking "Sign up" or "Sign up using Facebook", you confirm that you accept our Terms of Service & Privacy Policy