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.2 required=5.0 tests=BAYES_00,INVALID_MSGID, REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,4a36b7df69d1af90 X-Google-Attributes: gid103376,public From: dvdeug@x8b4e53cd.dhcp.okstate.edu (David Starner) Subject: Re: Announcing JGNAT public version 1.0p Date: 2000/04/11 Message-ID: <8cvifs$b2o1@news.cis.okstate.edu>#1/1 X-Deja-AN: 609724413 References: <8bqd8g$sbs$1@nnrp1.deja.com> <8c2613$hce$1@nnrp1.deja.com> <8c7fh4$25g$1@nnrp1.deja.com> <8c92nl$nqn$1@nnrp1.deja.com> <8cak93$dtl$1@nnrp1.deja.com> <38EA152B.6D7A4481@earthlink.net> <1MNG4.630$n8.195854@news-east.usenetserver.com> <38ECB0CC.3B2941E2@earthlink.net> <8ckscp$nv7$1@nnrp1.deja.com> <8cs4ad$ft3$1@clnews.edf.fr> <8ct83j$ho3$1@nnrp1.deja.com> <8ct9eb$baq1@news.cis.okstate.edu> Organization: Oklahoma State University User-Agent: slrn/0.9.6.2 (Linux) Reply-To: dstarner98@aasaa.ofe.org Newsgroups: comp.lang.ada Date: 2000-04-11T00:00:00+00:00 List-Id: On Tue, 11 Apr 2000 08:44:41 -0700, Brian Rogoff wrote: >On 10 Apr 2000, David Starner wrote: >> ML and Ada aren't really in competition. Ada is a safety orientated, strongly >> typed imperative langauage. ML is a writablity orientated, weirdly typed (-:, >> functional language. ML's an excellent language to do prototypes and proofs >> of concept in, whereas Ada and most other low level (compared to ML) languages >> aren't. OTOH, ML usually isn't the appropriate language for a shipping >> product. > >Ouch again a few times. Weirdly typed? Writability orientated? Okay, strongly typed with type inferance. I've never seen ML's form of typing in any other language. SML seems strongly orientated to writability, including constructs ("and", as opposed to forward references) orienated towards typing into an interpreter instead of writing it and running it through the interpreter. >BTW, the company I work for ships a product in (OCa)ML. I see no reason >why it is less appropriate than say Perl, Tcl, Python, or Java, all of >which are used in shipping products. Fair enough. But all of those languages are in a different class than C++ or Ada, and appropriately used for a different set of shipping products. >> Last time I tried to run a big program in ML, it got bogged down, >> swapping stuff in and out of core. When I tried rewriting in Ada, I kept >> having bugs in what ML did automatically (my lists implementation, >> in specific). > >That's a complaint about implementation, not language. People used to >complain that Ada code was slow, too. Yes and no. The reason why Ada code was slow, was partially because Ada's main goal was safety. While efficency was a primary goal, other things took precedence. Hence it took work to make an efficent Ada compiler, more than it would have for C or Fortran, two languages with efficency as a main goal. (S)ML doesn't seem to have efficency as a major goal. Hence, a naive implementation will be slow. Can a good implementation make up much of the difference? Probably. But there's only so much that can be done, and it's questionable whether a well-written functional program will ever catch up to a well-written imperative program, just like well-written assembly is still faster than well-written imperative programs. -- David Starner - dstarner98@aasaa.ofe.org Only a nerd would worry about wrong parentheses with square brackets. But that's what mathematicians are. -- Dr. Burchard, math professor at OSU