From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Thread: a07f3367d7,73cb216d191f0fef X-Google-Attributes: gida07f3367d7,public,usenet X-Google-NewGroupId: yes X-Google-Language: ENGLISH,ASCII-7-bit X-Received: by 10.224.131.193 with SMTP id y1mr1134308qas.8.1363309832011; Thu, 14 Mar 2013 18:10:32 -0700 (PDT) X-Received: by 10.50.33.175 with SMTP id s15mr6135igi.8.1363309831914; Thu, 14 Mar 2013 18:10:31 -0700 (PDT) Path: k8ni188qas.0!nntp.google.com!dd2no1001469qab.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Thu, 14 Mar 2013 18:10:31 -0700 (PDT) In-Reply-To: Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=66.126.103.122; posting-account=duW0ogkAAABjRdnxgLGXDfna0Gc6XqmQ NNTP-Posting-Host: 66.126.103.122 References: <8klywqh2pf$.1f949flc1xeia.dlg@40tude.net> <513f6e2f$0$6572$9b4e6d93@newsspool3.arcor-online.net> <513faaf7$0$6626$9b4e6d93@newsspool2.arcor-online.net> <51408e81$0$6577$9b4e6d93@newsspool3.arcor-online.net> <1xqmd3386hvns.1og1uql2cgnuf$.dlg@40tude.net> <5140b812$0$6575$9b4e6d93@newsspool3.arcor-online.net> <13y3efy877tjl$.5yuu230sknnq$.dlg@40tude.net> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <927dfd51-e4b1-45af-9d51-57c167e84890@googlegroups.com> Subject: Re: Is this expected behavior or not From: Adam Beneschan Injection-Date: Fri, 15 Mar 2013 01:10:32 +0000 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Date: 2013-03-14T18:10:31-07:00 List-Id: On Thursday, March 14, 2013 2:51:11 PM UTC-7, Randy Brukardt wrote: > No one cares about that. You don't need to know about the laws of =20 > thermodynamics to operate a caase, Are you sure about this? Personally, I don't know how to operate a caase, = and I couldn't find any instructions on the Internet about how to use a caa= se, or how to repair a caase, or for that matter even what a caase is. =20 Sorry--I'm sure this is a typo but I can't figure out what you meant to say= . :) > and you don't need to know anything about=20 > type-algebras or other such baloney to program in a programming language.= =20 > And it's the use of a programming language - not theories - that determin= es=20 > whether or not the language is truly usable. To my mind, the only reason to talk about abstract data types at all is tha= t there are practical reasons why it's helpful for programmers to understan= d and think about them, and those practical reasons have to do with things = like reusability, readability, and all that good stuff that helps us write = correct programs and keep them correct. Programming language design involv= es trying to figure out what concepts, what syntaxes, etc., serve those goa= ls. I don't see mathematics as being much help with this. The sciences th= at would help here seem to be more akin to psychology. -- Adam