Re: [q-lang-users] H/M-based typing for Q

[John C. <co...@cc...>]

Andrew Berg scripsit:

> My intuition about this is that most of the code that gets written
> is monomorphic.  (Is that a word?)  

(It is.)

The trouble is not so much with monomorphic variables as with monomorphic
collections.  ML, for example, insists on having monomorphic lists so
that when you remove an object from a list you know its type.  That is
very annoying.

-- 
John Cowan    co...@cc...    http://ccil.org/~cowan
Objective consideration of contemporary phenomena compel the conclusion
that optimum or inadequate performance in the trend of competitive
activities exhibits no tendency to be commensurate with innate capacity,
but that a considerable element of the unpredictable must invariably be
taken into account. --Ecclesiastes 9:11, Orwell/Brown version