Path: utzoo!utgpu!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!sdd.hp.com!spool.mu.edu!uunet!mcsun!ukc!slxsys!ibmpcug!mantis!mathew
From: mathew@mantis.co.uk (mathew)
Newsgroups: comp.lang.misc
Subject: Re: definitions
Message-ID: <aJoB25w164w@mantis.co.uk>
Date: 2 May 91 13:55:33 GMT
Article-I.D.: mantis.aJoB25w164w
References: <29865@dime.cs.umass.edu>
Organization: Mantis Consultants, Cambridge. UK.
Lines: 22

yodaiken@chelm.cs.umass.edu (victor yodaiken) writes:
> In article <52164@nigel.ee.udel.edu> new@ee.udel.edu (Darren New) writes:
> >Excuse me?  Any language implementing while loops has functions which
> >won't terminate, strong typing or not.  Or do you mean it will terminate
> 
> Not necessarily. Only if we allow "types" that are not well-founded.

So in what way is

function f() :=
   while true do-nothing
   return

using a type which is not well founded?

For that matter, what about   function f() := f()  ?


mathew

-- 
mathew - mathew@mantis.co.uk or mcsun!ukc!ibmpcug!mantis!mathew