Path: utzoo!attcan!utgpu!news-server.csri.toronto.edu!rutgers!cs.utexas.edu!swrinde!zaphod.mps.ohio-state.edu!brutus.cs.uiuc.edu!apple!snorkelwacker!bloom-beacon!eru!luth!sunic!mcsun!ukc!edcastle!cs.ed.ac.uk!db
From: db@cs.ed.ac.uk (Dave Berry)
Newsgroups: comp.lang.functional
Subject: Re: Why type checking is done at compile time
Message-ID: <162@skye.cs.ed.ac.uk>
Date: 11 Aug 90 15:34:26 GMT
References: <23896@megaron.cs.arizona.edu>
Sender: nnews@cs.ed.ac.uk
Reply-To: db@lfcs.ed.ac.uk (Dave Berry)
Organization: Laboratory for the Foundations of Computer Science, Edinburgh U
Lines: 13

In article <23896@megaron.cs.arizona.edu> gudeman@cs.arizona.edu (David Gudeman) writes:
>However, type systems are used in mathematics where neither [verification nor
>efficiency] applies, so it seems that if there is a _true_ purpose for types,
>it is the purpose used by mathematicians.

Why should mathematics be any more "true" than computer science?


--
 Dave Berry, LFCS, Edinburgh Uni.      db%lfcs.ed.ac.uk@nsfnet-relay.ac.uk

 Snuffsaidbutgorblimeyguvstonemeifhedidn'tthrowawobblerchachachachachacha
 chachachachachayou'regoinghomeinacosmicambience.