Date: Fri, 6 Sep 2024 17:07:54 +0100 From: Domagoj Stolfa <domagoj.stolfa@gmail.com> To: Poul-Henning Kamp <phk@phk.freebsd.dk>, Daniel Eischen <eischen@vigrid.com> Cc: 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: <1970de13-6715-4a08-8fc5-328dcadfd1ca@gmail.com> In-Reply-To: <202409061600.486G0UrR046040@critter.freebsd.dk> References: <202409060836.4868agnQ042462@critter.freebsd.dk> <102A9A46-D577-4651-8418-5E7946EA30A0@vigrid.com> <202409061600.486G0UrR046040@critter.freebsd.dk>
next in thread | previous in thread | raw e-mail | index | archive | help
This is a multi-part message in MIME format. --------------TyQtov4SyN0nuGmwg1aplyAJ Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit On 06/09/2024 17:00, Poul-Henning Kamp wrote: > Show me any other language which has developed something like SPARK ? Unrelated to the topic at hand, but I just thought I'd throw this in the mix since it's also based on Hoare triples and some might find it interesting: https://en.wikipedia.org/wiki/Dafny. --------------TyQtov4SyN0nuGmwg1aplyAJ Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: 7bit <!DOCTYPE html> <html> <head> <meta http-equiv="Content-Type" content="text/html; charset=UTF-8"> </head> <body> <div class="moz-cite-prefix">On 06/09/2024 17:00, Poul-Henning Kamp wrote:<span style="white-space: pre-wrap"> </span></div> <blockquote type="cite" cite="mid:202409061600.486G0UrR046040@critter.freebsd.dk"> <pre wrap="" class="moz-quote-pre">Show me any other language which has developed something like SPARK ? </pre> </blockquote> <p><br> </p> <p>Unrelated to the topic at hand, but I just thought I'd throw this in the mix since it's also based on Hoare triples and some might find it interesting: <a class="moz-txt-link-freetext" href="https://en.wikipedia.org/wiki/Dafny">https://en.wikipedia.org/wiki/Dafny</a>.</p>; </body> </html> --------------TyQtov4SyN0nuGmwg1aplyAJ--
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?1970de13-6715-4a08-8fc5-328dcadfd1ca>