home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #16 / NN_1992_16.iso / spool / comp / lang / function / 940 < prev    next >
Encoding:
Internet Message Format  |  1992-07-22  |  1.6 KB
  1. Path: sparky!uunet!ogicse!ogicse.cse.ogi.edu!dwights
  2. From: dwights@ogicse.cse.ogi.edu (Dwight Spencer)
  3. Newsgroups: comp.lang.functional
  4. Subject: Re: Polynomial functors (in categorical datatypes)
  5. Message-ID: <40402@ogicse.ogi.edu>
  6. Date: 22 Jul 92 21:05:54 GMT
  7. Article-I.D.: ogicse.40402
  8. Sender: dwights@ogicse.ogi.edu
  9. Distribution: world
  10. Organization: Oregon Graduate Institute (formerly OGC), Beaverton, OR
  11. Lines: 25
  12.  
  13. Article 1960 of comp.lang.functional:
  14. In article <1992Jul22.165153.737@qucis.queensu.ca>
  15. skill@qucis.queensu.ca (David Skillicorn) writes
  16.  
  17.  > I'm pretty sure that polynomial functors are not what's
  18.  > really needed to make Malcolm-style datatype constructions
  19.  > in BMF work. There's a paper from the group at Calgary
  20.  > (Cockett et al.) from which I gather that strength is
  21.  > the real property of importance.
  22.  
  23. At least it seems to be an important starting point if we are to take
  24. categorical programming within the Hagino style seriously.
  25.  
  26. The "et al." group includes Tom Fukushima who has actually implemented
  27. such a CDT programming language (CHARITY) with initial and final datatypes,
  28. and myself, whose thesis - "Categorical Programming with Functorial
  29. Strength" that expounds on much of the categorical underpinnings of this
  30. language - will be completed within the next month or so. The parallels 
  31. with Malcolm's syntactic calculus are very strong (not a pun) and the
  32. variety of datatypes available to the programmer is quite reasonable
  33. for much practical programming (e.g. database applications).
  34.  
  35. - Dwight Spencer
  36.  
  37.   Oregon Graduate Institute --> Trinity College, Hartford, CT
  38.