Article View: comp.lang.functional
Article #446Re: What is strong typing? (Was: I like strong typing)
From: David Shepherd
Date: Tue, 21 Aug 1990 11:34
Date: Tue, 21 Aug 1990 11:34
16 lines
1452 bytes
1452 bytes
In article <1990Aug17.124142.9332@tukki.jyu.fi>, sakkinen@tukki.jyu.fi
(Markku Sakkinen) writes:
|> I estimate that 99.99999% of all programmers would consider
|> a compiler badly broken if it did not terminate, or even if its
|> time requirement seemed exponential w.r.t. source code size.
|> And very few programmers would accept to use a _language_ for which
|> it is impossible to build a terminating compiler; even though
|> many programmers today seem to delight in horrible languages like C.
try using SunOS 4.0 cc on a Sparc with -04 (or even -02 sometimes)
on some files .... I've heard of one the went 24hrs and still
counting :-)
--------------------------------------------------------------------------
david shepherd: des@inmos.co.uk or des@inmos.com tel: 0454-616616 x 529
inmos ltd, 1000 aztec west, almondsbury, bristol, bs12 4sq
Technical Details
Message-ID:
<9856@ganymede.inmos.co.uk>Path:
arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!clyde.concordia.ca!uunet!mcsun!ukc!inmos!frogland!desReferences:
<3263@stl.stc.co.uk> <5450@castle.ed.ac.uk> <3283@stl.stc.co.uk> <1990Aug17.124142.9332@tukki.jyu.fi>Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!clyde.concordia.ca!uunet!mcsun!ukc!inmos!frogland!des From: des@frogland.inmos.co.uk (David Shepherd) Newsgroups: comp.lang.functional Subject: Re: What is strong typing? (Was: I like strong typing) Message-ID: <9856@ganymede.inmos.co.uk> Date: 21 Aug 90 11:34:02 GMT References: <3263@stl.stc.co.uk> <5450@castle.ed.ac.uk> <3283@stl.stc.co.uk> <1990Aug17.124142.9332@tukki.jyu.fi> Sender: news@inmos.co.uk Reply-To: des@frogland.inmos.co.uk (David Shepherd) Organization: INMOS architecture group Lines: 16