Re: Polynomial functors (in categorical datatypes)

Thread View: comp.lang.functional

1 messages

[T] Back to Threads [V] Tree View [G] Group Articles

1 total messages Started by Dwight Spencer Wed, 22 Jul 1992 21:05

#71

Author: Dwight Spencer
Date: Wed, 22 Jul 1992 21:05

25 lines
1640 bytes

Article 1960 of comp.lang.functional:
In article <1992Jul22.165153.737@qucis.queensu.ca>
skill@qucis.queensu.ca (David Skillicorn) writes

 > I'm pretty sure that polynomial functors are not what's
 > really needed to make Malcolm-style datatype constructions
 > in BMF work. There's a paper from the group at Calgary
 > (Cockett et al.) from which I gather that strength is
 > the real property of importance.

At least it seems to be an important starting point if we are to take
categorical programming within the Hagino style seriously.

The "et al." group includes Tom Fukushima who has actually implemented
such a CDT programming language (CHARITY) with initial and final datatypes,
and myself, whose thesis - "Categorical Programming with Functorial
Strength" that expounds on much of the categorical underpinnings of this
language - will be completed within the next month or so. The parallels 
with Malcolm's syntactic calculus are very strong (not a pun) and the
variety of datatypes available to the programmer is quite reasonable
for much practical programming (e.g. database applications).

- Dwight Spencer

  Oregon Graduate Institute --> Trinity College, Hartford, CT

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads