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=unavailable autolearn_force=no version=3.4.4 Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!news.eternal-september.org!feeder.eternal-september.org!aioe.org!.POSTED!not-for-mail From: =?utf-8?Q?Yannick_Duch=C3=AAne_=28Hibou57?= =?utf-8?Q?=29?= Newsgroups: comp.lang.ada Subject: Re: Can an amateur find an Ada job? Date: Sat, 04 Jan 2014 14:24:22 +0100 Organization: Ada @ Home Message-ID: References: <2917e566-5793-4236-8ede-043af66f91b6@googlegroups.com> NNTP-Posting-Host: Lp5fZi9f40zsqC+cM9U7cQ.user.speranza.aioe.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed; delsp=yes Content-Transfer-Encoding: Quoted-Printable X-Complaints-To: abuse@aioe.org User-Agent: Opera Mail/12.16 (Linux) X-Notice: Filtered by postfilter v. 0.8.2 Xref: news.eternal-september.org comp.lang.ada:18115 Date: 2014-01-04T14:24:22+01:00 List-Id: Le Sat, 04 Jan 2014 03:00:22 +0100, Lucretia = a =C3=A9crit: > Otherwise, we may as well all just leave the language behind as a bad = = > job and design a new one that's better than all the rest and not weird= = > like Haskell or PROLOG or one that's not just a "let's make C safe." Two cents off=E2=80=91topic: Haskell and Prolog are not weird, that's ju= st the = areas they are well suited for, which may be weird to you ;) . By the wa= y, = the same for Ada, it is not The Universal Solution, it is =E2=80=9Cjust=E2= =80=9D one of = the best solution (not difficult to be better than untyped and = unstructured languages any way) and this best solution =E2=80=9Cjust=E2=80= =9D happens to = cover a wide area. It's like a language with embedded safety methods = (type, opacity, etc) for those who don't know any method or who don't = bother applying one or prefer to save something. That is, it is indeed t= he = best solution for many areas. But others are not weird, they are differe= nt = and match their areas differently (and better than Ada *in their own = areas*). That's not the topic here, still to give you a track, there exist things= = looking similar to SPARK in many way, which generates Haskell, SML or = Scala from kind of mathematical proofs, and the result is even much safe= r = than regular Ada (Ada without SPARK checking). These technologies often = = refers to Prolog like things embedded in their core (SPARK, the software= = suits, is mostly implemented in Prolog too!). -- = =E2=80=9CSyntactic sugar causes cancer of the semi-colons.=E2=80=9D [1] =E2=80=9CStructured Programming supports the law of the excluded muddle.= =E2=80=9D [1] [1]: Epigrams on Programming =E2=80=94 Alan J. =E2=80=94 P. Yale Univers= ity