[Top][All Lists]

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

Re: binary loadable files

From: Dirk Herrmann
Subject: Re: binary loadable files
Date: Tue, 30 Jan 2001 16:12:00 +0100 (MET)

On 30 Jan 2001, Marius Vollmer wrote:

> > I'm thinking of the following procedures:
> > (Are there better names?)
> > 
> >   ;; Write OBJ to PORT in the binary format
> >   (dump OBJ [PORT])
> > 
> >   ;; Read an object from PORT in the binary format
> >   (pull [PORT])
> What about `undump'?

Since I agree that the read / write naming fits more nicely with the rest
of the IO primitives, what about write-dump read-dump?  It's more explicit
than the suggested write-binary / read-binary, which could mean a lot of
things, but still fits better than dump / undump.

Best regards,
Dirk Herrmann

reply via email to

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