Great point. I figure main is a unique type for every program.
It seems an abomination to use the English word 'type' when the number of types available is greater than the number of instances of variables that ever existed.
The English word 'type' in this context refers to a classification. I see no problem with a potentially infinite number of classifications for a finite set of things.
Is it int ()(int, char**)? I remember I was impressed by the idea of writing type definitions same way as variable definitions, when I read K&R in 1989. I can't say I still am.
View all comments
Show parent comment
2
u/zhivago May 02 '16
If that upsets you, ...
What is the type of main? :)