What would it mean to ""add"" or ""multiply"" types like Boolean and List[Int]? What interpretation could you possibly attribute to differentiating types, and what's this got to do with zippers? London Scala User Group will be joined by Jon Pretty who will be running through some crazy algebraic stuff with types which may take you by surprise!
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? 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!
YOU MAY ALSO LIKE:
- How I Rebuilt the Typelevel Ecosystem with Fury (SkillsCast recorded in March 2019)
- Lightbend Akka for Scala - Professional (in London on 11th - 12th November 2019)
- Modern development with Java (in London on 9th - 11th December 2019)
- Scala eXchange London 2019 (in London on 12th - 13th December 2019)
- Scalax2gether Community Day 2019 (in London on 14th December 2019)
- Code Kata: Yilin Wei - Optics with Monocle (in London on 22nd October 2019)
- Don’t keep it to yourself - openness and honesty in the workplace (in London on 30th October 2019)
- Higher-Order Type-Level Programming (SkillsCast recorded in October 2019)
- Stick to Simple Haskell (SkillsCast recorded in October 2019)
Batshit Crazy Algebra with Types
Jon has been having fun riding the bleeding edge of Scala for over a decade, and he's not finished yet. While he's not travelling the world attending Scala conferences, or organizing Scala World, Jon spends his time working on a variety of open-source Scala libraries, and providing professional Scala training services.