Article View: comp.lang.misc
Article #3728Re: definitions
From: mathew
Date: Thu, 02 May 1991 13:55
Date: Thu, 02 May 1991 13:55
22 lines
1061 bytes
1061 bytes
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
Technical Details
Message-ID:
<aJoB25w164w@mantis.co.uk>Path:
arc1-ca.pugleaf.net!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!mathewReferences:
<29865@dime.cs.umass.edu>Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!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