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=-0.3 required=5.0 tests=BAYES_00, REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4 X-Google-Thread: 103376,5412c98a3943e746 X-Google-NewGroupId: yes X-Google-Attributes: gida07f3367d7,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit Received: by 10.68.235.4 with SMTP id ui4mr180057pbc.3.1331198656734; Thu, 08 Mar 2012 01:24:16 -0800 (PST) Path: h9ni1869pbe.0!nntp.google.com!news1.google.com!goblin3!goblin.stu.neva.ru!usenet.pasdenom.info!aioe.org!.POSTED!not-for-mail From: "Dmitry A. Kazakov" Newsgroups: comp.lang.ada Subject: Re: Usefulness of Formal Notions in Programming Date: Thu, 8 Mar 2012 10:24:21 +0100 Organization: cbb software GmbH Message-ID: <4g7bt4qr6e0u.18o4pcqjmldlg$.dlg@40tude.net> References: <9207716.776.1331054644462.JavaMail.geo-discussion-forums@ynaz38> <4edda5mav3cf$.149pbgyxl1wx5.dlg@40tude.net> <9rplcgF5a2U1@mid.individual.net> <1psd0g0womgxi.1sle7ol12x3d5.dlg@40tude.net> <4f57ef25$0$6582$9b4e6d93@newsspool3.arcor-online.net> Reply-To: mailbox@dmitry-kazakov.de NNTP-Posting-Host: FbOMkhMtVLVmu7IwBnt1tw.user.speranza.aioe.org Mime-Version: 1.0 X-Complaints-To: abuse@aioe.org User-Agent: 40tude_Dialog/2.0.15.1 X-Notice: Filtered by postfilter v. 0.8.2 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Date: 2012-03-08T10:24:21+01:00 List-Id: [I never said that formalism is bad, on the contrary, programming is too much informal. But that by no means should justify the kind of CS we have] On Thu, 08 Mar 2012 00:28:37 +0100, Georg Bauhaus wrote: > On 07.03.12 21:17, Dmitry A. Kazakov wrote: > >>>> This is a great example of making a "science" out >>>> of nothing and for nothing. > [...] > 1. Suppose someone knows what a regular language is. I don't buy REs. For a layman wild-carded patterns are easier to use and understand, while covering 90% all cases. For professional use (10%) patterns is a bad idea anyway. I think we discussed that in c.l.a. > If a person knows one simplified, abstract notion well (grammar), > the he or she will more easily understand a different notion, provided > there is an analogy, or correspondence. The only problem is that formal grammars are not simple. They are hard and difficulties grow exponentially closer you come to the real application domain. The formalism is just too weak. This is the problem of all poor solutions. Be it formal grammars, patterns, domain-specific languages, scripting languages etc. You get a simple job done simply and quickly. That makes you think - that is. But when you face a real task you are lost. > It seems somewhat like knowing math. If you know it, and know how to > put math to good use, it helps understanding programs, and writing > programs, That is true, except that good math has a purpose and beauty. Formal grammars (poor math) are more like learning how to divide and square Roman numerals. That too would train you mentally and thus help by writing program. But a sane man would convert to the decimal representation do the job and convert back. [... how bad Lisp is ...] That Lisp is bad does not imply that formal grammars are any good. -- Regards, Dmitry A. Kazakov http://www.dmitry-kazakov.de