Article View: comp.lang.misc
Article #6621Re: An Interesting View of "Strong" Vs. "Weak" Typing
From: Nick Rothwell
Date: Tue, 09 Jan 1990 12:42
Date: Tue, 09 Jan 1990 12:42
20 lines
1500 bytes
1500 bytes
In article <12610@cbnewsc.ATT.COM>, lgm@cbnewsc (lawrence.g.mayka) writes: >Since ML and C are both essentially compile-time typed, your >experience is not a comparison as such between compile-time and >run-time typing. True, but there's a difference between a language "being typed" and a language providing a rigorous and structured framework in which to construct, reason about, and exercise abstractions and interfaces. I can't do the latter in C even through it knows about integers, reals, records etc. since the type "system" isn't sufficiently powerful to handle interfaces and abstraction. > Lawrence G. Mayka Nick. -- Nick Rothwell, Laboratory for Foundations of Computer Science, Edinburgh. nick@lfcs.ed.ac.uk <Atlantic Ocean>!mcvax!ukc!lfcs!nick ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ "...all these moments... will be lost in time... like tears in rain."
Technical Details
Message-ID:
<1516@castle.ed.ac.uk>Path:
arc1-ca.pugleaf.net!utzoo!utgpu!jarvis.csri.toronto.edu!clyde.concordia.ca!uunet!mcsun!ukc!edcastle!lfcs!nickReferences:
<1493@castle.ed.ac.uk> <12610@cbnewsc.ATT.COM>Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!utzoo!utgpu!jarvis.csri.toronto.edu!clyde.concordia.ca!uunet!mcsun!ukc!edcastle!lfcs!nick From: nick@lfcs.ed.ac.uk (Nick Rothwell) Newsgroups: comp.lang.misc Subject: Re: An Interesting View of "Strong" Vs. "Weak" Typing Keywords: typing, Ada, Lisp, definitions, evidence Message-ID: <1516@castle.ed.ac.uk> Date: 9 Jan 90 12:42:41 GMT References: <1493@castle.ed.ac.uk> <12610@cbnewsc.ATT.COM> Reply-To: nick@lfcs.ed.ac.uk (Nick Rothwell) Organization: LFCS Enya Admiration Society Lines: 20 In-reply-to: lgm@cbnewsc.ATT.COM (lawrence.g.mayka)