Path: 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

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