[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Writing libraries for C programs using Guile Scheme

From: Mark H Weaver
Subject: Re: Writing libraries for C programs using Guile Scheme
Date: Fri, 07 Mar 2014 19:32:23 -0500
User-agent: Gnus/5.13 (Gnus v5.13) Emacs/24.3 (gnu/linux)

Mateusz Kowalczyk <address@hidden> writes:
> I doubt that going from a single inherently unsafe but bloody fast
> language to slightly less unsafe but much slower language is an
> advantage here…

"Slightly less unsafe"?  Seriously?

> Do you feel like you can provide correctness proofs for your
> implementations of such security critical libraries? Scheme isn't
> exactly the safest language.

If you'd like to write a new TLS (or other widely-used security
critical) library in Haskell, along with formal and verifiable
correctness proofs, and that would be easy enough to use from programs
written in other languages such that it could actually make a viable
replacement for GnuTLS et al, that would be a great contribution to our
community, and I would *sincerely* thank you for it.

However, what I've mostly seen from you is negativity and FUD about
Scheme and Guile, both here and on IRC.  That is _not_ appreciated.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]