Re: [stack] Cat Type Inference
"William Tanksley, Jr" <[email protected]>
| Newsgroups | gmane.comp.lang.concatenative |
|---|---|
| Message-ID | <[email protected]> |
Christopher Diggins <[email protected]> wrote: > The question that remains then is "why allow the compiler (or better yet, > the editor) infer the types instead of insisting the programmer write them > out?". Your answer was better than mine, but I did have one little tidbit I think it worthy: a program that must be type-inferenced must be written in a predictable manner: the compiler has to be able to figure it out easily. This makes it generally easier to analyze even for humans. > Christopher Diggins -Billy