Re: [racket-users] Creating a language that extends typed/racket

2015-08-30 Thread Alexander D. Knauth
> On Aug 30, 2015, at 6:31 PM, Alexis King wrote: > > (Disclaimer: I think this question may have been visited before on this > mailing list, but I couldn’t find any resolution, so I’m going to ask again.) Yes. What came out of it was this, which they got to work: https://github.com/khinsen/ra

[racket-users] Creating a language that extends typed/racket

2015-08-30 Thread Alexis King
(Disclaimer: I think this question may have been visited before on this mailing list, but I couldn’t find any resolution, so I’m going to ask again.) I would like to write a language that extends typed/racket or typed/racket/base. Specifically, I have a collection, called “envy”. I would like t

Re: [racket-users] unclear about this `parameterize` behavior

2015-08-30 Thread Alexander D. Knauth
To add to that a little bit, this is what I found: #lang multi-file #file param.rkt #lang racket (provide my-param) (define my-param (make-parameter 'default)) #file param-test.rkt #lang racket (require "param.rkt") (define-namespace-anchor a) (parameterize ([current-namespace (make-base-namespace

Re: [racket-users] unclear about this `parameterize` behavior

2015-08-30 Thread Matthew Flatt
The `make-base-namespace` function creates a new namespace, but it attaches the `racket/base` instance of the current namespace to the new one. The `error-print-width` parameter comes from `racket/base`, so it's still the same parameter. You can use `namespace-attach-module` to attach "param.rkt"

[racket-users] unclear about this `parameterize` behavior

2015-08-30 Thread Matthew Butterick
In the example below, I'm curious about the reason for the difference between the behavior of the system parameter `error-print-width` and the custom parameter `my-param`. I understand why `my-param` doesn't take the parameterized value 'custom (= because `namespace-require` causes a fresh ins

Re: [racket-users] Sync on Distributed Place Channels

2015-08-30 Thread David T. Pierson
On Sun, Aug 30, 2015 at 06:28:24AM -0600, Matthew Flatt wrote: > At Sun, 30 Aug 2015 08:19:22 -0400, "David T. Pierson" wrote: > > I can duplicate the behavior. It seems like a bug. > > A place doubles as a pace channel, but `sync` on a place is like > `place-wait`, not like `place-channel-get`.

Re: [racket-users] Sync on Distributed Place Channels

2015-08-30 Thread Matthew Flatt
At Sun, 30 Aug 2015 08:19:22 -0400, "David T. Pierson" wrote: > On Mon, Aug 24, 2015 at 10:45:11AM -0700, Konstantin Weitz wrote: > > I'm trying to receive messages from a place. Receiving the messages > > with `place-channel-get` works fine, but using `sync` blocks > > indefinitely. I want to use

Re: [racket-users] Sync on Distributed Place Channels

2015-08-30 Thread David T. Pierson
On Mon, Aug 24, 2015 at 10:45:11AM -0700, Konstantin Weitz wrote: > I'm trying to receive messages from a place. Receiving the messages > with `place-channel-get` works fine, but using `sync` blocks > indefinitely. I want to use `sync` instead of `place-channel-get` to > check multiple channels sim