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,FREEMAIL_FROM
	autolearn=ham autolearn_force=no version=3.4.4
X-Google-Thread: 103376,c53f5499f68e754b
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news1.google.com!news.glorb.com!news.tele.dk!not-for-mail
Sender: malo@0x53589c68.boanxx18.adsl-dhcp.tele.dk
Newsgroups: comp.lang.ada
Subject: Re: Considering taking an ADA course at uni
References: <57e2fa45142078b5f24fed4f75996ae0@news.teranews.com>
 <5ad0dd8a.0406260042.b16d07f@posting.google.com>
From: Mark Lorenzen <mark.lorenzen@ofir.dk>
Date: 27 Jun 2004 10:27:25 +0200
Message-ID: <m3d63ljthu.fsf@0x53589c68.boanxx18.adsl-dhcp.tele.dk>
User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.3
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Organization: TDC Totalloesninger
NNTP-Posting-Host: 83.88.156.104
X-Trace: 1088324765 dtext01.news.tele.dk 179 83.88.156.104:14815
X-Complaints-To: abuse@post.tele.dk
Xref: g2news1.google.com comp.lang.ada:1948
Date: 2004-06-27T10:27:25+02:00
List-Id: <comp.lang.ada>

wojtek@power.com.pl (Wojtek Narczynski) writes:

> "Zork" <Zork@z.com> wrote in message news:<57e2fa45142078b5f24fed4f75996ae0@news.teranews.com>...
> 
> > Would anyone recommend this ada course?
> 
> Yes, most people, if not all, on this list.
> 
> > Will it help me become a better programmer?
> 
> With all its strong typing and subtyping, modularization, etc., it
> definitely will. Better programmer, or maybe even a better sotware
> engineer! And even if you conclude that Ada sucks, it is good to know
> your then enemy.
> 
> But I'd also recommend learining some basics of each of these:
> - SML or O'Caml (type unions, higher order functions),
> - Haskell (type classes),
> - aldor (first class types),
> - Eiffel (design by contract),
> - VDM / Z / TLA+ (specification languages),
> - LISP (syntax turns out to be of little relevance),
> - prolog (what are your _goals_?),
> - Ruby (need to do some very quick'n'dirty script).
> 
> Regards,
> Wojtek

I am very happy to see SML, VDM, Z and TLA+ on your list. I would of
course like to add RSL and CSP also.

I don't know if anyone is actually using formal methods for real
(Praxis?), but as software engineers we must stand our ground and
fight for the engineering part in "software engineering".

Regards,
- Mark Lorenzen