The London Haskell user group has a talk next week: The Algebra of Algebraic Data Types Speaker: Chris Taylor Haskell's types are "algebraic data types". But what's so 'algebraic' about algebraic types? This talk explains what types have to do with algebra, starting with counting and type equations (Maybe x = 1 + x) and maybe getting as far as the calculus of types, divided types and what the hell it means to take the exponential of a type. No assumptions on any maths background beyond what you learned at school. Wednesday 28-Nov-2012 6-30pm City University, College Building, St John Street, London. EC1V 4PB http://www.meetup.com/London-HUG/events/88524182/ Link on Reddit: http://redd.it/13nry4 The talk will be followed by a discussion of a potential London Haskell coding project: http://www.meetup.com/London-HUG/events/92459312/ Other news, the video <http://www.youtube.com/watch?v=3q8xYFDYLeI>, code <https://github.com/londonhaskell/londonhaskell-2012-10-24-why-do-monads-matter> and slides <http://files.londonhaskell.org/2012/10/24/WhyDoMonadsMatter-WithAnimations.pdf> from the last meeting (Why Do Matter Matter?) have been uploaded. Video = http://www.youtube.com/watch?v=3q8xYFDYLeI Code = https://github.com/londonhaskell/londonhaskell-2012-10-24-why-do-monads-matt... PDF with animations (for on-screen viewing) = http://files.londonhaskell.org/2012/10/24/WhyDoMonadsMatter-WithAnimations.p... PDF (with most of the animations removed for printing) = http://files.londonhaskell.org/2012/10/24/WhyDoMonadsMatter.pdf PowerPoint Presentation (with all the animations!) = http://files.londonhaskell.org/2012/10/24/WhyDoMonadsMatter.pptx <http://files.londonhaskell.org/2012/10/24/WhyDoMonadsMatter.pptx>Hope to see you there. Yours, Derek. http://www.meetup.com/London-HUG/ <http://www.meetup.com/London-HUG/>