home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #16 / NN_1992_16.iso / spool / comp / lang / function / 939 < prev    next >
Encoding:
Text File  |  1992-07-22  |  1.2 KB  |  33 lines
  1. Newsgroups: comp.lang.functional
  2. Path: sparky!uunet!wupost!cs.utexas.edu!torn!news.ccs.queensu.ca!qucis.queensu.ca!skill
  3. From: skill@qucis.queensu.ca (David Skillicorn)
  4. Subject: Polynomial functors (in categorical datatypes)
  5. Message-ID: <1992Jul22.165153.737@qucis.queensu.ca>
  6. Organization: Computing & Information Science, Queen's University
  7. Date: Wed, 22 Jul 1992 16:51:53 GMT
  8. Lines: 23
  9.  
  10.  
  11. I'm pretty sure that polynomial functors are not what's
  12. really needed to make Malcolm-style datatype constructions
  13. in BMF work. There's a paper from the group at Calgary
  14. (Cockett et al.) from which I gather that strength is
  15. the real property of importance. This can be arranged
  16. in several ways, one of which is to use a polynomial
  17. functor in a CCC. Some people (Bob Walters for one)
  18. would argue that this is the wrong setting, and prefer
  19. distributive categories.
  20.  
  21. Anyway it seems possible to get the kind of benefits
  22. that the CDT construction gives without needing
  23. the polynomial restriction.
  24.  
  25. But we're getting a bit far from the centre of this
  26. newsgroup.
  27.  
  28. The Calgary work can be obtained by ftp from
  29. cpsc.ucalgary.ca in directory pub/charity/PAPERS.
  30.  
  31.                        -david skillicorn
  32.  
  33.