Re: [racket-users] [newbie] Help with streams

2015-12-20 Thread Alexis King
My “collections” package makes fairly heavy use of streams, so it provides a number of utilities to help with what you want to do. The obvious function here would be `generate-sequence`[1], which creates a stream from a generator. You can call `take` on the resulting sequence, since my generic impl

Re: [racket-users] [newbie] Help with streams

2015-12-20 Thread Benjamin Greenman
I've been struggling with streams recently too. in-producer solved my problems. (define name-gen (in-producer (lambda () (new-name ethnicity sex (define some-names

[racket-users] [newbie] Help with streams

2015-12-20 Thread mark
Hi, there. I have just started playing with Racket and would like some help with using streams/generators (I am not particularly versed in programming in a functional style and am attempting to learn :-)) So I have a function called (new-name) that creates a random name, like "Bob Brown" or "

Re: [racket-users] backwards incompatible change to redex: does it break your models?

2015-12-20 Thread Robby Findler
The reason the "E_1" and the "e_1" are treated differently is that the "e" is mentioned in "binding" position of the shortcut. That is what makes it special. Does this make sense? (Have a read of the paragraph in the redex docs for reduction-semantics that talks about shortcuts and let me know if i

Re: [racket-users] Advent of Code

2015-12-20 Thread Jay McCarthy
I like yours better. I wrote mine that way because I thought there were going to be feedback loops and I had to run to a fixed point, like real hardware. But it never seems to generate circuits like that. On Sun, Dec 20, 2015 at 9:14 PM, Matthew Butterick wrote: > An adaptation of Jay's solution

Re: [racket-users] Advent of Code

2015-12-20 Thread Matthew Butterick
An adaptation of Jay's solution that turns every wire into a function that you can evaluate in the REPL. Plus: shorter. And dumber. Or cleverer? Thin line. https://gist.github.com/mbutterick/bc24a6291081b1ce0f31 On Saturday, December 19, 2015 at 11:53:52 AM UTC-8, Daniel Prager wrote: > Thank

Re: [racket-users] DrRacket crashes on simple pict3d script

2015-12-20 Thread Greg Trzeciak
Thanks guys for such a quick response on Sunday! To clarify - the mix problem was definitely the case the first time I tried and I was under the impression it was the original - Neil's repo installed from the package. The updated repo (Jay's) simply crashes GUI whenever code is executed so it may

Re: [racket-users] How to cite Racket in a journal paper?

2015-12-20 Thread Dmitry Pavlov
Matthias, Jay, Thank you for your answers. I will insert the references that you have given. Regards, Dmitry On 12/20/2015 10:00 PM, Matthias Felleisen wrote: Strictly in addition to what Jay says: Speaking as an EIC of a Journal rather than a Racketeer, I would add a bib entry or a foot

Re: [racket-users] DrRacket crashes on simple pict3d script

2015-12-20 Thread Jay McCarthy
Thanks Greg. I fixed the issues problem. I'm still working on the mix problem. (It doesn't happen on my laptop, so I need to develop with a different machine to test it. I have one available but it is not convenient to use.) Jay On Sun, Dec 20, 2015 at 4:54 PM, Matthew Flatt wrote: > Thanks for

Re: [racket-users] DrRacket crashes on simple pict3d script

2015-12-20 Thread Matthew Flatt
Thanks for the report about the "Remove" button in the "Available for Catalog" panel! I've pushed a repair for the next version. Meanwhile, the "Currently Installed" panel provides another view on installed packages, and the "Remove" button there should work. I think Jay is working on the "mix" p

[racket-users] Re: DrRacket crashes on simple pict3d script

2015-12-20 Thread Greg Trzeciak
On Sunday, December 20, 2015 at 9:20:05 PM UTC+1, Greg Trzeciak wrote: > Having problems in identifying right pict3d github repository to raise the > issue (due to some maintenance mentioned in Racket Developers) let me raise > it here first. The repo currently used in pkgs seems to be: https:/

[racket-users] DrRacket crashes on simple pict3d script

2015-12-20 Thread Greg Trzeciak
Having problems in identifying right pict3d github repository to raise the issue (due to some maintenance mentioned in Racket Developers) let me raise it here first. I have first installed pict3d about 10 hours ago - no issues during installation so I attempted simple code #lang racket (requir

Re: [racket-users] How to cite Racket in a journal paper?

2015-12-20 Thread Matthias Felleisen
Strictly in addition to what Jay says: Speaking as an EIC of a Journal rather than a Racketeer, I would add a bib entry or a footnote with a URL to the Racket web site. Some journals accept URLs as bib entries; others don’t have a standard yet. My personal preference is to place URLs into foo

[racket-users] Call for Participation: BOB 2016 (February 19, Berlin)

2015-12-20 Thread Michael Sperber
BOB 2016 Conference "What happens if we simply use what's best?" February 19, 2016 Berlin

Re: [racket-users] [Redex] test-->>E and trace

2015-12-20 Thread Anton Podkopaev
Unfortunately, I need something else, because my semantics is highly non-deterministic, and I want to be able to see only paths, which lead to a certain term. BR, Anton Podkopaev 2015-12-18 20:49 GMT+03:00 Robby Findler : > I think you may want to call apply-reduction-relation* with a > #:stop-w

Re: [racket-users] How to cite Racket in a journal paper?

2015-12-20 Thread Jay McCarthy
Hi Dmitry, This page describes what you should do: http://racket-lang.org/tr/ > http://racket-lang.org/tr1/ On Sun, Dec 20, 2015 at 5:52 AM, Dmitry Pavlov wrote: > Hello, > > I am writing a paper for a scientific journal. The results that I am > presenting there were obtained mostly in Rack

[racket-users] How to cite Racket in a journal paper?

2015-12-20 Thread Dmitry Pavlov
Hello, I am writing a paper for a scientific journal. The results that I am presenting there were obtained mostly in Racket. What is the best way to give credit to Racket in references? Is there a specific paper I can reference, or just link the website? If specifics matter: I am heavily usi

Re: [racket-users] backwards incompatible change to redex: does it break your models?

2015-12-20 Thread 'William J. Bowman' via Racket Users
I noticed this last week when I upgraded Redex for other reasons. It broke one of my models, and I was momentarily confused. In fact, I took the error message to mean I had somehow introduced an error and spent some time staring at my tests to see if I had introduced a syntax error. I only fixed th