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-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,7ee10ec601726fbf X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2001-10-17 10:50:07 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!nntp.abs.net!newsfeed.cwix.com!sjc-peer.news.verio.net!news.verio.net!sea-read.news.verio.net.POSTED!not-for-mail Newsgroups: comp.lang.ada From: Brian Rogoff Subject: Re: is Ada dying? In-Reply-To: <3bcdb6a3.32064225@news.demon.co.uk> Message-ID: <20011017103412.E21205-100000@shell5.ba.best.com> References: <3BC30674.BA88AAB6@brighton.ac.uk> <9pvv3t$ves$1@news.huji.ac.il> <9q42jo$lu8$1@news1.sunrise.ch> <9q95lm$b4l$1@news.huji.ac.il> <3bca9c74.1660187@news.demon.co.uk> <9qedg903km@drn.newsguy.com> <737rst8ef4vhu8nr1v0l7vqs29f18gdv89@4ax.com> <3bcdb6a3.32064225@news.demon.co.uk> MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Date: Wed, 17 Oct 2001 17:50:03 GMT NNTP-Posting-Host: 206.184.139.136 X-Complaints-To: abuse@verio.net X-Trace: sea-read.news.verio.net 1003341003 206.184.139.136 (Wed, 17 Oct 2001 17:50:03 GMT) NNTP-Posting-Date: Wed, 17 Oct 2001 17:50:03 GMT Organization: Verio Xref: archiver1.google.com comp.lang.ada:14837 Date: 2001-10-17T17:50:03+00:00 List-Id: On Wed, 17 Oct 2001, John McCabe wrote: > On Wed, 17 Oct 2001 15:05:15 GMT, Israel Raj T > wrote: > >On 15 Oct 2001 03:24:09 -0700, Robert*@ > >wrote: > >>In article <3bca9c74.1660187@news.demon.co.uk>, john.mccabe@emrad.com.nospam > >>>Of course it is - Pascal was designed as a teaching language, Java > >>>wasn't designed. > > > >Most of the better comp.sci courses use a functional ( haskell or ml > >at Cambridge and Oxford ) or semifunctional ( scheme at mit) as a > >first language for their undergraduates. > > > > However, Stanford ( perhaps the best practical comp.sci dept in the > >world ) Perhaps it isn't "the best practical comp.sci dept in the world". > > seem to use a mixture of c++ , java and c. When I was there the programming languages course was focused on ML. It is true that C/C++ were used heavily in computer graphics and OS courses, and Fortran was still widely used in scientific computing and engineering. > I thought both ml and scheme were AI type languages. What is an "AI type language"? Is Ada a "guided missile type language"? Errr, no pejorative intended in the latter, I'm a big fan of advanced weapons. Scheme is a dialect of Lisp developed at MIT. It's original claim to fame is that it uses lexical scoping instead of that horrible dynamic scoping from the original Lisps (which still survives in elisp BTW). Nowadays, there are a ton of different variants of Scheme since the core language is too small to be widely useful, but Scheme is used quite widely outside of the AI field. ML was originally the meta-language of a theorem prover developed by Robin Milner (so it can stand for either Meta-Language or Milner's Language :) and it's claim to fame is it's static type system. In contrast to Ada, ML style static typing doesn't require much explicit annotation (ideally none!) and the typing algorithm just figures out the type of a program fragment; so you get many of the perceived benefits of both static and dynamic typing. Later, ML got a very nice module system which should make Ada refugees happy. Nowadays there are two main dialects of ML: SML and OCaml. They are used widely outside of AI too, but the focus appears to be on "compiler like" programs. I use and like OCaml quite a bit. -- Brian