home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #16 / NN_1992_16.iso / spool / comp / lang / function / 935 < prev    next >
Encoding:
Internet Message Format  |  1992-07-21  |  1.4 KB
  1. Path: sparky!uunet!mcsun!uknet!mucs!m1!bevan
  2. From: bevan@cs.man.ac.uk (Stephen J Bevan)
  3. Newsgroups: comp.lang.functional
  4. Subject: Re: Typing and Expressiveness
  5. Message-ID: <BEVAN.92Jul21182528@panda.cs.man.ac.uk>
  6. Date: 21 Jul 92 17:25:28 GMT
  7. References: <1992Jul12.061122.8943@eng.umd.edu>
  8.     <NICKH.92Jul14151920@VOILA.VENARI.CS.CMU.EDU>
  9.     <1992Jul14.205627.25659@eng.umd.edu> <1992Jul15.002311.27895@udel.edu>
  10.     <knight.711224199@cunews> <farrell.711260486@coral.cs.jcu.edu.au>
  11.     <knight.711298049@cunews> <92199
  12. Sender: news@cs.man.ac.uk
  13. Organization: Department of Computer Science, University of Manchester
  14. Lines: 19
  15. In-reply-to: sewardj@cs.man.ac.uk's message of 21 Jul 92 12:29:52 GMT
  16.  
  17. In article <SEWARDJ.92Jul21132952@r6.cs.man.ac.uk> sewardj@cs.man.ac.uk (Julian Seward (DRL PhD)) writes:
  18.  
  19.    Or how about: with a statically typed (functional) language,
  20.    the typechecker automatically constructs a proof that the
  21.    program will not fall over with a segmentation fault when run.
  22.  
  23. I've never had a Scheme program that fell over with a "segmentation
  24. fault" and it certainly isn't statically typed (strong yes, static
  25. no).  I've had some that didn't produce the results I expected, but
  26. then I've had Haskell programs do the same :-)
  27.  
  28.  
  29.    So much more convenient than C.
  30.  
  31. But then isn't almost anything :-)
  32. BTW, C _is_ statically typed, it is just very easy to defeat the type
  33. checker.
  34.  
  35. bevan
  36.