From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/5445 Path: news.gmane.org!not-for-mail From: Greg Meredith Newsgroups: gmane.science.mathematics.categories Subject: Re: additions Date: Wed, 30 Dec 2009 13:00:20 -0800 Message-ID: References: <4B347567.9070603@bath.ac.uk> Reply-To: Greg Meredith NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable X-Trace: ger.gmane.org 1262223931 29776 80.91.229.12 (31 Dec 2009 01:45:31 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Thu, 31 Dec 2009 01:45:31 +0000 (UTC) To: Mike Stay Original-X-From: categories@mta.ca Thu Dec 31 02:45:24 2009 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from mailserv.mta.ca ([138.73.1.1]) by lo.gmane.org with esmtp (Exim 4.50) id 1NQA6O-0000GH-AE for gsmc-categories@m.gmane.org; Thu, 31 Dec 2009 02:45:24 +0100 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1NQ9hR-0000aQ-VI for categories-list@mta.ca; Wed, 30 Dec 2009 21:19:38 -0400 In-Reply-To: Original-Sender: categories@mta.ca Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:5445 Archived-At: Dear Mike, I suppose what I'm really looking for is cool algorithms like the one described in Backhouse's paper "Fusion on Languages" (thanks, Neel!) where they either wouldn't have been discovered without category theory, or where category theory is the only decent way to understand the algorithm. While not quite what you are looking for Rydeheard and Burstallmig= ht provide a good jumping off point. Best wishes, --greg On Tue, Dec 29, 2009 at 3:17 PM, Mike Stay wrote: > 2009/12/25 Carsten F=FChrmann : > > I used the term "functional [programming] language" on purpose (as > > opposed to "functional programming style"), because of your statement > > > >> So there's not a lot of call for learning a functional programming > >> language either. > > > > which I feel might be wrong. > > OK, I worded that badly. I think there are lots of reasons to learn > functional programming, and once you're doing functional programming, > then you need to learn category theory to do it well. > > Most of the code we've got is not functional, and the languages we > work with make it hard to use higher-order functions and closures. So > there's some resistance to overcome in convincing people to use > functional style. > ... [For admin and other information see: http://www.mta.ca/~cat-dist/ ]