Skip site navigation (1)Skip section navigation (2)
Date:      Thu, 3 Jan 2019 20:24:28 +0000
From:      Igor Mozolevsky <igor@hybrid-lab.co.uk>
To:        Mark Blackman <mark@exonetric.com>
Cc:        Hackers freeBSD <freebsd-hackers@freebsd.org>
Subject:   Re: Speculative: Rust for base system components
Message-ID:  <CADWvR2hETR3j2=aNVGDiYfJeyeqgavDQOuxkxrE%2BVZFfD5BzJg@mail.gmail.com>
In-Reply-To: <6DF138FB-E730-477A-A992-8FE1944DDE94@exonetric.com>
References:  <201901021829.x02IT4Kc064169@slippy.cwsent.com> <e954a12f-5d23-7a3f-c29b-c93e1250965c@metricspace.net> <361CCB81-AEB6-4EAC-9604-CD8F4C63948C@gmail.com> <CADWvR2ju7y_rcY3MFe_381yBmPXgm1BA7RzA9ZTUfTtCHdFGLw@mail.gmail.com> <6DF138FB-E730-477A-A992-8FE1944DDE94@exonetric.com>

next in thread | previous in thread | raw e-mail | index | archive | help
On Thu, 3 Jan 2019 at 20:18, Mark Blackman wrote:
>
> > On 3 Jan 2019, at 16:32, Igor Mozolevsky wrote:
> >
> > On Thu, 3 Jan 2019 at 16:26, Enji Cooper wrote:
> >
> > <snip>
> >
> >> PS let=E2=80=99s call the discussion mostly closed and start working o=
n prototypes instead of beating a dead horse further.
> >
> >
> > That's precisely how ideas that most people disagree with get *pushed*
> > through by evangelists with confirmation bias! Like someone said
> > earlier in the discussion: does Rust add anything? The answer is a
> > resounding NO, save for bloat.
>
> Technically, I thought it was clear what Rust adds and that is =E2=80=9Cs=
afety=E2=80=9D, the cost of that =E2=80=9Csafety=E2=80=9D and the comprehen=
siveness of that =E2=80=9Csafety=E2=80=9D are debatable,
> but the proposed benefit seemed pretty clear to me


And by what metric is that "safety" measured, how does one measure
"safety" objectively? To me, that sounds like a techie version of
virtue-signalling... Even the Rust-clan seem to be rather confused
about it: https://doc.rust-lang.org/nomicon/meet-safe-and-unsafe.html
Btw, Java is "safe" too, and it's been around for *much* longer!

--=20
Igor M.



Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?CADWvR2hETR3j2=aNVGDiYfJeyeqgavDQOuxkxrE%2BVZFfD5BzJg>