Re: [stack] typing higher-order concatenative languages with standard hindley-milner

On May 31, 2008, at 3:48 AM, Christopher Diggins wrote:

> The type of factorial in Cat is correct.
> Most mathematical operators return "any", because they are not bound
> to specific types.
> For example "mul" has type "(any any -> any)" whereas "mul_int" has
> type "(int int -> int)".

Ah, very embarrassing. My mistake. Cat does indeed give the expected  
type when 'sub_int' and 'mul_int' are used.

Thanks for the correction.

- John