From: Gabriel Dos Reis (gdr_at_[hidden])
Date: 2003-11-23 01:06:16
Mat Marcus <mat-boost_at_[hidden]> writes:
| --On Monday, November 17, 2003 11:48 AM -0500 Brian McNamara
| <lorgon_at_[hidden]> wrote:
| > You may be right. This example is a little confounded by the fact
| > that whereas "Integer" is a type, "0,+" or "1,*" are values. Types,
| > not values, model concepts,
| Hmm. I don't agree. I think of a concept as a collection of
My simple mental model of concepts is that of "abstract specifications"
(or types of types if one wants to put emphasison types).
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk