[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.
Mark
- Writing libraries for C programs using Guile Scheme, Peter TB Brett, 2014/03/07
- Re: Writing libraries for C programs using Guile Scheme, Mateusz Kowalczyk, 2014/03/07
- Re: Writing libraries for C programs using Guile Scheme, Mateusz Kowalczyk, 2014/03/07
- Re: Writing libraries for C programs using Guile Scheme,
Mark H Weaver <=
- Re: Writing libraries for C programs using Guile Scheme, Mateusz Kowalczyk, 2014/03/07
- Re: Writing libraries for C programs using Guile Scheme, Taylan Ulrich Bayırlı /Kammer, 2014/03/08
- Re: Writing libraries for C programs using Guile Scheme, Stefan Israelsson Tampe, 2014/03/08
- Re: Writing libraries for C programs using Guile Scheme, Mateusz Kowalczyk, 2014/03/08
- Re: Writing libraries for C programs using Guile Scheme, Mike Gran, 2014/03/08
- Re: Writing libraries for C programs using Guile Scheme, Mateusz Kowalczyk, 2014/03/09
- Re: Writing libraries for C programs using Guile Scheme, Mateusz Kowalczyk, 2014/03/08