[racket-users] I like HtDP, what's next? I guess I can't wait for HtDComponents / HtDSystems ... is there anything out now?

2018-04-15 Thread Said
Hello, I am studying your books; I am learning a lot. Thank you for what you are doing for the community. Which books would you recommend as replacements for HtDComponents and HtDSystems ? I read that you are working on HtDP 3e. HtDP is a fantastic book as it is! I wonder if most Racket

[racket-users] Finding a treasure in smallest possible steps in maza

2018-04-15 Thread Ivo Horák
Hello, is here someone who is willing to discuss algorithms how to find a treasure in maze in smallest possible ways? I'm writing this in Racket! You can add me on skype: frikulin97 Thank you so much! -- You received this message because you are subscribed to the Google Groups "Racket

Re: [racket-users] I like HtDP, what's next? I guess I can't wait for HtDComponents / HtDSystems ... is there anything out now?

2018-04-15 Thread Matthias Felleisen
> On Apr 15, 2018, at 6:41 AM, Said wrote: > > Hello, > > I am studying your books; I am learning a lot. Thank you for what you are > doing for the community. > > Which books would you recommend as replacements for HtDComponents and > HtDSystems ? No, otherwise I

[racket-users] Using serial-lambda to send lambdas to places

2018-04-15 Thread Zelphir Kaltstahl
Today I wrote some example code for trying out `serial-lambda` from `(require web-server/lang/serial-lambda)`. Here is what I currently have: #lang racket (require web-server/lang/serial-lambda) (require racket/serialize) (define to-send (serial-lambda (x) (* x x))) (define to-send-2  

Re: [racket-users] Using serial-lambda to send lambdas to places

2018-04-15 Thread Philip McGrath
I think it would help to take a step back and think about what you're doing when you communicate with a place. As you know, places are effectively separate instances of the Racket VM: other than the explicit, low-level mechanisms like `make-shared-bytes`, they share no state at all, not even the

[racket-users] Reimplementing Hackett’s type language: expanding to custom core forms in Racket

2018-04-15 Thread Alexis King
Hello all, I wrote a blog post about my recent experience rewriting the implementation of Hackett’s internal type representation, and on writing languages that expand to custom core forms in Racket in general. For those interested in Hackett and/or (ab)uses of some of the lesser-known features of

Re: [racket-users] Reimplementing Hackett’s type language: expanding to custom core forms in Racket

2018-04-15 Thread David Thrane Christiansen
Hi Alexis, I am very happy to have posts like this announced here. Thanks for writing it! It was useful and interesting. David On Sun, Apr 15, 2018, 06:58 Alexis King wrote: > Hello all, > > I wrote a blog post about my recent experience rewriting the > implementation

Re: [racket-users] Using serial-lambda to send lambdas to places

2018-04-15 Thread Zelphir Kaltstahl
I am aware, that each place has its own stuff even if I put it at top level of the module, since it is its own Racket instance. I think sending things as immutable data is what I want to do. "Just send everything as immutable things to that place, so that it has everything it needs to complete

Re: [racket-users] Using serial-lambda to send lambdas to places

2018-04-15 Thread Philip McGrath
On Sun, Apr 15, 2018 at 2:51 PM, Zelphir Kaltstahl < zelphirkaltst...@gmail.com> wrote: > Having to write all things in terms of where things come from like in: > > > '([racket/base +] . [1 2]) > > is not ergonomic at all. > Absolutely! To be clear, I was not suggesting that you use that format

Re: [racket-users] Using serial-lambda to send lambdas to places

2018-04-15 Thread Philip McGrath
If an example would be helpful, here's a toy implementation of `parallel-set-map` that uses `serial-lambda` to send the user-supplied function across the place-channels: #lang racket (require web-server/lang/serial-lambda racket/serialize ) (define (place-printf pch fmt .

Re: [racket-users] I like HtDP, what's next? I guess I can't wait for HtDComponents / HtDSystems ... is there anything out now?

2018-04-15 Thread Neil Van Dyke
Five fuzzy suggestions, when there's no single book condensing the best truths on a topic: 1. Read a lot.  In computer systems, go back at least as far as the 1960s.  Be skeptical of what you read and hear, but file it away in your brain. 2. Be especially skeptical of ideas targeted at

Re: [racket-users] Using serial-lambda to send lambdas to places

2018-04-15 Thread Matthias Felleisen
You mays wish to look at Haller, Miller, and Müller https://www.cambridge.org/core/journals/journal-of-functional-programming/article/programming-model-and-foundation-for-lineagebased-distributed-computation/B410CE79B21E33462843B408B716E1E5

[racket-users] Using pict-convertibles in Scribble docs?

2018-04-15 Thread Eric Griffis
Hello, I'm making composite picts in my Scribble docs and am looking for a clean way to keep references to sub-picts around for helper functions to draw lines between. A struct with the `prop:pict-convertible` property would suffice, but `raco setup` gives an error. Given this struct definition: