Date: Fri, 06 Sep 2024 20:51:44 +0000 From: "Poul-Henning Kamp" <phk@phk.freebsd.dk> To: Konstantin Belousov <kostikbel@gmail.com> Cc: Daniel Eischen <eischen@vigrid.com>, Antranig Vartanian <antranigv@freebsd.am>, Alan Somers <asomers@freebsd.org>, FreeBSD Hackers <freebsd-hackers@freebsd.org> Subject: Re: The Case for Rust (in any system) Message-ID: <202409062051.486KpiFD048978@critter.freebsd.dk> In-Reply-To: <Zttqppe1NOOheeBv@kib.kiev.ua> References: <202409060836.4868agnQ042462@critter.freebsd.dk> <102A9A46-D577-4651-8418-5E7946EA30A0@vigrid.com> <Zttqppe1NOOheeBv@kib.kiev.ua>
next in thread | previous in thread | raw e-mail | index | archive | help
-------- Konstantin Belousov writes: > > And back in the 80s, Ada was supposed to be the answer for safe coding= language. > > Isn't SPARK license non-FOSS and requires payments? I have no idea. My association with Ada is retrocomputing: https://datamuseum.dk/wiki/Rational/R1000s400 = -- = Poul-Henning Kamp | UNIX since Zilog Zeus 3.20 phk@FreeBSD.ORG | TCP/IP since RFC 956 FreeBSD committer | BSD since 4.3-tahoe = Never attribute to malice what can adequately be explained by incompetence= .
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202409062051.486KpiFD048978>