Path: 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) 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 !mcvax!ukc!lfcs!nick ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ "...all these moments... will be lost in time... like tears in rain."