I

#### Ian Collins

What do you think of the two definitions

(1) Functional (a type is an algorithm description)

How would that work? An example would bring some clarification.

(2) Conceptual (A type embodies a concept in the program)

That would be the more common use, your example of size_t for example.

And I think I am missing one:

(3) A type implies a set of operations allowed with it.

This would be different than (1) since (1) refers to calculating

the "value" stored in a type.

I am sure (3) is missing but can't really identify it yet as

definitely distinct of (1).

Please explain a bit more about 1).