BT

Facilitating the Spread of Knowledge and Innovation in Professional Software Development

Write for InfoQ

Topics

Choose your language

InfoQ Homepage Presentations Functional Examples from Category Theory

Functional Examples from Category Theory

Bookmarks
37:05

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.

Recorded at:

Aug 02, 2014

Hello stranger!

You need to Register an InfoQ account or or login to post comments. But there's so much more behind being registered.

Get the most out of the InfoQ experience.

Allowed html: a,b,br,blockquote,i,li,pre,u,ul,p

Community comments

  • 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.

Allowed html: a,b,br,blockquote,i,li,pre,u,ul,p

Allowed html: a,b,br,blockquote,i,li,pre,u,ul,p

BT