Category Theory and related disciplines provide many of the "design patterns" of typed functional programming.
It is quite reasonable that we draw patterns from math, given the prevalence (and relative ease) of "equational reasoning" in sorting out the meaning of functional programs. -- Jason Dusek () ascii ribbon campaign - against html e-mail /\ www.asciiribbon.org - against proprietary attachments -- You received this message because you are subscribed to "Bay Area Functional Programmers" To unsubscribe from this group, send email to [email protected] For more options, visit this group at http://groups.google.com/group/bayfp?hl=en
