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=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!.POSTED!not-for-mail
From: Paul Rubin <no.email@nospam.invalid>
Newsgroups: comp.lang.ada
Subject: Re: Why are Ada compilers difficult to write ?
Date: Thu, 28 Jun 2018 20:34:12 -0700
Organization: A noiseless patient Spider
Message-ID: <87po0a1d1n.fsf@nightsong.com>
References: <584564c2-9f64-4965-b045-535cdaf899c0@googlegroups.com>
	<pgdtbd$7pd$1@dont-email.me>
	<7cb22c58-3009-47f0-8fe7-62f3cd61785d@googlegroups.com>
	<1879145989.551211041.811077.laguest-archeia.com@nntp.aioe.org>
	<06e9a2de-7d05-41ce-a459-c39855d429fd@googlegroups.com>
	<25267926-202c-4ae3-821a-097c1c27697a@googlegroups.com>
	<1e96b53e-b66c-49da-9c9d-5e99dbd2b505@googlegroups.com>
	<0de140f5-9092-4012-b57b-64a7e306786d@googlegroups.com>
	<758b6ade-5303-46ff-be52-9d96c6b1f480@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain
Injection-Info: reader02.eternal-september.org;
 posting-host="966165e45452a248a610ffd33a3be8e2";
	logging-data="17899"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX18Vo9gMFp8yeGtrcx2b0PRt"
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/25.3 (gnu/linux)
Cancel-Lock: sha1:EqcDwwXHbx1Abg9YH/ngkbgYPvc=
	sha1:QIupeQwLP33xQvFytEdgfDgp7Og=
Xref: reader02.eternal-september.org comp.lang.ada:53419
Date: 2018-06-28T20:34:12-07:00
List-Id: <comp.lang.ada>

"Dan'l Miller" <optikos@verizon.net> writes:
> Rust is close to surpassing Ada as the safe-systems language (unless
> Ada2020 adopts Rust-esque safe-pointers and safe-threading).  Go
> thinks that it is too, but I cannot see any clear features of Go that
> substantiates Go's claim.

I don't think Go is in the same space.  It has a quite weak type system
and (for better or worse) is GC'd.  If you want GC, weak types, and
concurrency, try Erlang.  If you want GC, strong types, and concurrency,
try Haskell.  

I liked this old comparison about Go:  http://cowlark.com/2009-11-15-go/