addressalign-toparrow-leftarrow-rightbackbellblockcalendarcameraccwchatcheckchevron-downchevron-leftchevron-rightchevron-small-downchevron-small-leftchevron-small-rightchevron-small-upchevron-upcircle-with-crosscrosseditemptyheartfacebookfolderfullheartglobegmailgoogleimagesinstagramlinklocation-pinmagnifying-glassmailminusmoremuplabelShape 3 + Rectangle 1outlookpersonplusprice-ribbonImported LayersImported LayersImported Layersshieldstartrashtriangle-downtriangle-uptwitteruseryahoo

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, 2014

  • Vasco F.

    Awesome material, presentation could be more thorough.

    April 17, 2014

  • 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, 2014

  • 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, 2014

  • Jon P.

    I'd better come along to this...

    March 20, 2014

Our Sponsors

  • Scala Dojo

    Web site for monthly Scala Dojo

  • Scala Jobs

    Google Group of Scala Jobs in the London Area

  • Scalar Conf

    16 April 2016 in Warsaw, Poland

  • _.underscore

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

  • Springer

    Help and supporters of the monthly dojo

  • Skills Matter

    Provide the venue for many of our meetings.

  • Mind Candy

    Help with the Adv Scala Meet-up

People in this
Meetup are also in:

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