Re: [stack] Re: Concatenative Research

John Cowan <[email protected]> wrote:
> William Tanksley, Jr scripsit:
>> Typing is inherently undecidable. That's one of the fundamental
>> results of computer science.
> Well, sufficiently general typing is undecidable.  Hindley-Milner typing
> isn't undecidable, it's just a straitjacket.

My response was to a question asked about the phrase "You could try to
infer some cases of this (Milner-Mycroft), but the problem is
undecidable in general." This phrase is the true story of typechecking
-- you can often find a special case, but usually the first place you
look winds up not being very useful for actual programming.

> They tried to pierce your heart                 John Cowan

Look! Your quote just became an emo song.

-Wm