next meeting

[Vlad Patryshev]

Hi,

We will have our next meeting on 6/27, at 7pm, in Engine Yard, San Francisco.

This will be our last meeting at Engine Yard: Larry is leaving for... for some time.

We agreed to start discussing the book that was mentioned before:

Algebaric and Coalgebraic Methods in the Mathematics of Program Construction.

This is a collection of articles/tutorials, so there's no need to read it chapter by chapter.

Larry will choose his favorite chapter and tell us any time soon.

The book can be purchased on Amazon for about $50. It's worth it, I believe.

Best regards, and see you soon again,
-Vlad

[David Espinosa]

> The book can be purchased on Amazon for about $50. It's worth it, I believe.

More like $90:

http://www.amazon.com/dp/3540436138/

As with any math book, you get out what you put in !

[larrytheliquid]

Let's go ahead and go with chapter 5 for this meeting (which was mentioned previously). It's self-contained and available online:

http://www.cs.ox.ac.uk/jeremy.gibbons/publications/acmmpc-calcfp.pdf

This chapter goes over implicitly defining functions via their universal properties (which enables short equational reasoning proofs).

The content is inspired by category theory, but does not mention it explicitly, so during the meeting we can go over what each functional programming concept generalizes to in arbitrary categories.

[Aaron Culich]

sounds good to me.

> --
> You received this message because you are subscribed to the Google Groups
> "Bay Area Categories And Types" group.
> To view this discussion on the web visit
> https://groups.google.com/d/msg/bacat/-/FwjJM7aP2kYJ.
>
> To post to this group, send email to ba...@googlegroups.com.
> To unsubscribe from this group, send email to
> bacat+un...@googlegroups.com.
> For more options, visit this group at
> http://groups.google.com/group/bacat?hl=en.