mit-scheme-devel
[Top][All Lists]
Advanced

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

Re: [MIT-Scheme-devel] Faster ports.


From: Taylor R Campbell
Subject: Re: [MIT-Scheme-devel] Faster ports.
Date: Fri, 24 Jun 2011 16:51:08 +0000
User-agent: IMAIL/1.21; Edwin/3.116; MIT-Scheme/9.1

   Date: Fri, 24 Jun 2011 03:10:22 +0000
   From: Taylor R Campbell <address@hidden>

   Anyway, all this is half-baked -- it needs to be implemented and used
   experimentally to make sure it actually works well in practice.  It
   may turn out in practice that everything I've been rambling about is a
   net lose over using ports as currently designed.

The real test for whether we have solidly engineered a general-purpose
composable I/O system is whether we can easily reimplement socat, and
supply reasonable proofs, or at least sketches of proofs, that our
reimplementation has fewer buffer overflows and memory leaks...



reply via email to

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