Re: [racket-users] Arbitrary property types on structs?

2020-03-25 Thread David Storrs
Got it. I'm actually relieved that this isn't possible, since it means I wasn't simply being dumb. On Wed, Mar 25, 2020, 7:41 PM Sam Phillips wrote: > On 2020-03-25 14:16, David Storrs wrote: > > This would let me use a struct as an output port: > > > > (struct foo (name out) #:property

Re: [racket-users] Arbitrary property types on structs?

2020-03-25 Thread Sam Phillips
On 2020-03-25 14:16, David Storrs wrote: This would let me use a struct as an output port: (struct foo (name out) #:property prop:output-port (struct-field-index out)) I'd like to be able to set up a struct such that I can use it as a UDP socket, something like the following pseudo-code:

Re: [racket-users] Separate compilation/caching for Scribble?

2020-03-25 Thread William J. Bowman
We're getting a little far from my real question, since caching the examples is IMHO a hack to cache the most expensive part of the computation, while the whole 'doc ought to be cachable, but I forgot what my own code was doing. That's basically what I'm doing: (define (make-cached-eval name

[racket-users] Arbitrary property types on structs?

2020-03-25 Thread David Storrs
This would let me use a struct as an output port: (struct foo (name out) #:property prop:output-port (struct-field-index out)) I'd like to be able to set up a struct such that I can use it as a UDP socket, something like the following pseudo-code: (struct foo (socket) #:property prop:udp

Re: [racket-users] Separate compilation/caching for Scribble?

2020-03-25 Thread Ryan Culpepper
I'm not clear on what `with-cache` is doing in this setup, but it seems like a potential source of errors. If the goal is to automatically use `'replay` if the log file exists and `'record` otherwise, why not do the following? (make-log-based-eval the-log-file (if (file-exists? the-log-file)

[racket-users] Switch off type checking via typed/racket/no-check fails on typed big-bang

2020-03-25 Thread Marc Kaufmann
Hi, I am trying to switch off type checking on a file so that I can prototype faster without the wait for the type checker. However, my code also uses typed/2htdp/universe and typed/2htdp/image, and I get an error on `big-bang`: > Type Checker: Macro big-bang from typed module used in untyped

Re: [racket-users] Separate compilation/caching for Scribble?

2020-03-25 Thread William J. Bowman
On Wed, Mar 25, 2020 at 08:51:18PM +0100, Ryan Culpepper wrote: > You can use `raco make` (or `raco setup` for docs of installed packages) to > compile the Scribble files, but that won't compile the examples. Those are > dynamically evaluated when the Scribble documents are run. Yeah, I was

Re: [racket-users] Separate compilation/caching for Scribble?

2020-03-25 Thread Ryan Culpepper
You can use `raco make` (or `raco setup` for docs of installed packages) to compile the Scribble files, but that won't compile the examples. Those are dynamically evaluated when the Scribble documents are run. For `make-log-based-eval`, are you using a separate evaluator (and separate log file)

[racket-users] Separate compilation/caching for Scribble?

2020-03-25 Thread William J. Bowman
Does Scribble support separate compilation or some kind of caching and I'm just missing it? I'm building a multi-page website using Scribble, with many @examples that take a while to run. If I touch *any page*, all the other pages have to rebuild, re-running the long running examples. I've