Re: Typing and Expressiveness

Article View: comp.lang.functional

Article #65

Back to comp.lang.functional Previous Next

#65

From: Julian Seward (DRL PhD)
Date: Tue, 21 Jul 1992 12:29

13 lines
1239 bytes

| How's this for an explanation.
| 
| With a statically typed language you not only specify a calculation to
| be performed, but also a consistency check on your program text which
| highlights really stupid mistakes. That is, you are actually writing two
| programs with the one piece of text.

Or how about: with a statically typed (functional) language,
the typechecker automatically constructs a proof that the
program will not fall over with a segmentation fault when run.

So much more convenient than C.

Technical Details

Message-ID: <SEWARDJ.92Jul21132952@r6.cs.man.ac.uk>

Path: arc1-ca.pugleaf.net!sparky!uunet!mcsun!uknet!mucs!m1!sewardj

References:

<1992Jul12.061122.8943@eng.umd.edu> <NICKH.92Jul14151920@VOILA.VENARI.CS.CMU.EDU> <1992Jul14.205627.25659@eng.umd.edu> <1992Jul15.002311.27895@udel.edu> <knight.711224199@cunews> <farrell.711260486@coral.cs.jcu.edu.au> <knight.711298049@cunews> <92199

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!sparky!uunet!mcsun!uknet!mucs!m1!sewardj
From: sewardj@cs.man.ac.uk (Julian Seward (DRL PhD))
Newsgroups: comp.lang.functional
Subject: Re: Typing and Expressiveness
Message-ID: <SEWARDJ.92Jul21132952@r6.cs.man.ac.uk>
Date: 21 Jul 92 12:29:52 GMT
References: <1992Jul12.061122.8943@eng.umd.edu>
 <NICKH.92Jul14151920@VOILA.VENARI.CS.CMU.EDU>
 <1992Jul14.205627.25659@eng.umd.edu> <1992Jul15.002311.27895@udel.edu>
 <knight.711224199@cunews> <farrell.711260486@coral.cs.jcu.edu.au>
 <knight.711298049@cunews> <92199
Sender: news@cs.man.ac.uk
Organization: Department of Computer Science, University of Manchester
Lines: 13
In-reply-to: brendan@cs.uq.oz.au's message of 20 Jul 92 06:21:38 GMT

Reply to Parent Message