Derek Wright | 23 Nov 12:30 2012
Picon

ANNOUNCE: The Algebra of Algebraic Data Types <at> London Haskell user group (28-Nov-12)


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/


<!-- /* Font Definitions */ <at> font-face {font-family:"Cambria Math"; panose-1:2 4 5 3 5 4 6 3 2 4; mso-font-charset:0; mso-generic-font-family:roman; mso-font-pitch:variable; mso-font-signature:-1610611985 1107304683 0 0 159 0;} <at> font-face {font-family:Calibri; panose-1:2 15 5 2 2 2 4 3 2 4; mso-font-charset:0; mso-generic-font-family:swiss; mso-font-pitch:variable; mso-font-signature:-1610611985 1073750139 0 0 159 0;} /* Style Definitions */ p.MsoNormal, li.MsoNormal, div.MsoNormal {mso-style-unhide:no; mso-style-qformat:yes; mso-style-parent:""; margin:0cm; margin-bottom:.0001pt; mso-pagination:widow-orphan; font-size:11.0pt; font-family:"Calibri","sans-serif"; mso-ascii-font-family:Calibri; mso-ascii-theme-font:minor-latin; mso-fareast-font-family:Calibri; mso-fareast-theme-font:minor-latin; mso-hansi-font-family:Calibri; mso-hansi-theme-font:minor-latin; mso-bidi-font-family:"Times New Roman"; mso-bidi-theme-font:minor-bidi; mso-ansi-language:EN-GB;} .MsoChpDefault {mso-style-type:export-only; mso-default-props:yes; mso-ascii-font-family:Calibri; mso-ascii-theme-font:minor-latin; mso-fareast-font-family:Calibri; mso-fareast-theme-font:minor-latin; mso-hansi-font-family:Calibri; mso-hansi-theme-font:minor-latin; mso-bidi-font-family:"Times New Roman"; mso-bidi-theme-font:minor-bidi; mso-ansi-language:EN-GB;} .MsoPapDefault {mso-style-type:export-only; margin-bottom:10.0pt; line-height:115%;} <at> page WordSection1 {size:612.0pt 792.0pt; margin:72.0pt 72.0pt 72.0pt 72.0pt; mso-header-margin:36.0pt; mso-footer-margin:36.0pt; mso-paper-source:0;} div.WordSection1 {page:WordSection1;} --> Other news, the video, code and slides 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-matter

PDF with animations (for on-screen viewing) = http://files.londonhaskell.org/2012/10/24/WhyDoMonadsMatter-WithAnimations.pdf
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


Hope to see you there.

Yours, Derek.


http://www.meetup.com/London-HUG/

_______________________________________________
Haskell mailing list
Haskell <at> haskell.org
http://www.haskell.org/mailman/listinfo/haskell

Gmane