InfoQ Homepage Presentations Functional Examples from Category Theory
Functional Examples from Category Theory
Summary
Alissa Pajer discusses through examples how to understand and write cleaner and more maintainable functional code using the Category Theory.
Bio
Alissa Pajer began her functional programming career as a Scala engineer at Precog. She worked there for two years until Precog was acquired by RichRelevance, her current employer. Before her coding days, she studied pure mathematics, earning a Bachelors from Carleton College and a Masters from the University of Colorado. She spends her non-computer time hiking, running, swimming, and cycling.
About the conference
CRAFT is about software craftsmanship, which tools, methods, practices should be part of the toolbox of a modern developer and company, and it is a compass on new technologies, trends.
Community comments
Polymetric polymorphism
by david cromberge,
Re: Polymetric polymorphism
by Tim Williams,
Re: Polymetric polymorphism
by david cromberge,
Re: Polymetric polymorphism
by Alissa Pajer,
Fantastic Presentation
by Martin Andrews,
Re: Fantastic Presentation
by Alissa Pajer,
(double post)
by Martin Andrews,
Very nice
by Faisal Waris,
Thanks, thanks, thanks.
by Erik Johnson,
Re: Thanks, thanks, thanks.
by Henri de Feraudy,
Polymetric polymorphism
by david cromberge,
Your message is awaiting moderation. Thank you for participating in the discussion.
Is the correct term for this rather "Parametric polymorphism"?
Re: Polymetric polymorphism
by Tim Williams,
Your message is awaiting moderation. Thank you for participating in the discussion.
The commonly accepted term is "Parametric polymorphism" and indeed this was used by John C. Reynolds himself (see "Types, Abstraction and Parametric Polymorphism").
Re: Polymetric polymorphism
by david cromberge,
Your message is awaiting moderation. Thank you for participating in the discussion.
Thanks for clearing that up for me Tim.
Fantastic Presentation
by Martin Andrews,
Your message is awaiting moderation. Thank you for participating in the discussion.
Would love to see the sequel (covering monads in the same enthusiastic & practical style would be great)!
Martin :-)
PS: Small typo at 6:15? :: Shouldn't "// f(big(a))" be "// big(f(a))" ?
(double post)
by Martin Andrews,
Your message is awaiting moderation. Thank you for participating in the discussion.
(deleted)
Re: Fantastic Presentation
by Alissa Pajer,
Your message is awaiting moderation. Thank you for participating in the discussion.
Thanks!
You're right that is a typo. I think was going back and forth between `compose` and `andThen` when writing the slides :)
Re: Polymetric polymorphism
by Alissa Pajer,
Your message is awaiting moderation. Thank you for participating in the discussion.
In the talk did I call it "Polymetric polymorphism"? Oops! :) Thanks for the correction.
Very nice
by Faisal Waris,
Your message is awaiting moderation. Thank you for participating in the discussion.
It nice to see FP theory being more accessible and understandable
Thanks, thanks, thanks.
by Erik Johnson,
Your message is awaiting moderation. Thank you for participating in the discussion.
Years ago, I tried to get through Benjamin Pierce's "Basic Category Theory for Computer Scientists", but my math background was too weak to grok the nomenclature. This presentation is a bit like finding a Rosetta Stone. Thanks so much -- I would love to see more.
Re: Thanks, thanks, thanks.
by Henri de Feraudy,
Your message is awaiting moderation. Thank you for participating in the discussion.
Yes, I learned Cathegory theory decades ago and I love the idea that it could be put to use. This is exciting.