Re: Seeking for papers about tagged types vs access to subprograms

["Yannick Duchêne (Hibou57)" <yannick_duchene@yahoo.fr>]

Le Thu, 16 May 2013 13:31:58 +0200, Peter C. Chapin <PChapin@vtc.vsc.edu>  
a écrit:
> I again return to my original statement: a type is two sets, a set of  
> values and a set of operations.

There is nothing like operation as something distinct from values, at  
least formally. Operations as understood in procedural languages, is an  
interpretation, especially when it has side effects, it differs entirely.  
There is no operations, and there are at most functions, which are  
expressions which are values (a partially evaluated expression like a  
function is supposed to be most often unless constant, is still a value,  
this is just a set which is that of a domain, still a value).

(don't kick too hard if it happens I'm boring :D )

I feel there is a mix of formal definitions and language specific  
definitions, while both can't be mixed.

-- 
“Syntactic sugar causes cancer of the semi-colons.” [1]
“Structured Programming supports the law of the excluded muddle.” [1]
[1]: Epigrams on Programming — Alan J. — P. Yale University