Article View: comp.lang.functional
Article #66Re: Typing and Expressiveness
From: Stephen J Bevan
Date: Tue, 21 Jul 1992 17:25
Date: Tue, 21 Jul 1992 17:25
19 lines
1431 bytes
1431 bytes
In article <SEWARDJ.92Jul21132952@r6.cs.man.ac.uk> sewardj@cs.man.ac.uk (Julian Seward (DRL PhD)) writes: 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. I've never had a Scheme program that fell over with a "segmentation fault" and it certainly isn't statically typed (strong yes, static no). I've had some that didn't produce the results I expected, but then I've had Haskell programs do the same :-) So much more convenient than C. But then isn't almost anything :-) BTW, C _is_ statically typed, it is just very easy to defeat the type checker. bevan
Technical Details
Message-ID:
<BEVAN.92Jul21182528@panda.cs.man.ac.uk>Path:
arc1-ca.pugleaf.net!sparky!uunet!mcsun!uknet!mucs!m1!bevanReferences:
<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> <92199Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!sparky!uunet!mcsun!uknet!mucs!m1!bevan From: bevan@cs.man.ac.uk (Stephen J Bevan) Newsgroups: comp.lang.functional Subject: Re: Typing and Expressiveness Message-ID: <BEVAN.92Jul21182528@panda.cs.man.ac.uk> Date: 21 Jul 92 17:25:28 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: 19 In-reply-to: sewardj@cs.man.ac.uk's message of 21 Jul 92 12:29:52 GMT