[racket] A Typed Racket question

2013-05-03 Thread Сергей Самойленко
Hello! Type checker returns an error while translating this piece of code: (: permutations ((Listof Index) - (Listof (Listof Index (define (permutations lst) (cond [(empty? lst) '(())] [else (for*/list: : (Listof (Listof Index)) ([x : Index (in-list lst)]

Re: [racket] Macros and dynamically generating identifiers

2013-05-03 Thread Philipp Dikmann
You might have already read it, but I also found the guide Fear of Macros by Greg Hendershott incredibly helpful in understanding them, especially considering things like with-syntax and format-id: http://www.greghendershott.com/fear-of-macros/index.html On 03.05.13 04:57, Sean McBeth wrote:

[racket] raco setup parallel build

2013-05-03 Thread Tobias Hammer
Hi, is raco setup limited to use a maximum of 4 processors in parallel? I always get --- parallel build using 4 processes --- even if i use env PLT_SETUP_OPTIONS=-j 16 Interestingly (processor-count) shows 16, and raco setup should use this value by default (at least the docs claim that).

Re: [racket] raco setup parallel build

2013-05-03 Thread Robby Findler
It is with a 32 bit build (possibly only under windows, I forget). I believe the issue is that the docs building phase runs out of memory with more. Robby On Fri, May 3, 2013 at 6:47 AM, Tobias Hammer tobias.ham...@dlr.de wrote: Hi, is raco setup limited to use a maximum of 4 processors

Re: [racket] raco setup parallel build

2013-05-03 Thread Tobias Hammer
Good hint. Only on 32bit linux it's limited to 4 and on 64bit the hard limit seems to be 8. It's good as default but i am a bit surprised that i can't even increase it explicitly. I think at least on 64bit OS there should be no limit at all. Tobias On Fri, 03 May 2013 13:53:58 +0200,

Re: [racket] raco setup parallel build

2013-05-03 Thread Robby Findler
I think it doesn't scale past about 6, which is probably why the limit of 8 is there. Robby On Fri, May 3, 2013 at 7:00 AM, Tobias Hammer tobias.ham...@dlr.de wrote: Good hint. Only on 32bit linux it's limited to 4 and on 64bit the hard limit seems to be 8. It's good as default but i am a

Re: [racket] raco setup parallel build

2013-05-03 Thread Tobias Hammer
I think i just misread the docs. I somehow though that PLT_SETUP_OPTIONS also works for directly calling raco setup which is obviously wrong. When i use -j it works as expected. Sorry for the trouble. As a side note, maybe it's worth to specify these defaults in the docs for raco setups -j

Re: [racket] A Typed Racket question

2013-05-03 Thread Vincent St-Amour
At Fri, 03 May 2013 20:29:42 +1200, Сергей Самойленко wrote: Hello! Type checker returns an error while translating this piece of code: (: permutations ((Listof Index) - (Listof (Listof Index (define (permutations lst) (cond [(empty? lst) '(())] [else (for*/list: :

[racket] List functions instead of string functions?

2013-05-03 Thread Don Green
Is it practical or possible to replace any series of chars using list functions instead of using string functions such as regexp-replace? I can remove from an apple, a peel, with a knife. I can remove from an orange, a peel, with the same knife. However, I can remove from a string, any

Re: [racket] Macros and dynamically generating identifiers

2013-05-03 Thread Sean McBeth
Wow, section 4 is exactly, almost word for word, what I was trying to do. This is a great resource. On Fri, May 3, 2013 at 7:35 AM, Philipp Dikmann phil...@dikmann.de wrote: You might have already read it, but I also found the guide Fear of Macros by Greg Hendershott incredibly helpful in

Re: [racket] List functions instead of string functions?

2013-05-03 Thread Danny Yoo
Strings and lists are both sequences, so you can write functions that work on sequences. For example: ; #lang racket (define (peel seq) (define n (sequence-length seq)) (define seq-without-head (sequence-tail seq 1)) (define seq-without-ends (for/list

Re: [racket] Racket language tutorials

2013-05-03 Thread Danny Yoo
Hi Matthew, Jens's minipascal might be a good example to look at: https://github.com/soegaard/minipascal Racket Users list: http://lists.racket-lang.org/users

[racket] [ANN] Geiser 0.4 released

2013-05-03 Thread Jose A. Ortega Ruiz
I've just released version 0.4 of Geiser (http://geiser.nongnu.org ), an Emacs package to interact and program with Racket and Guile. New features: - New command geiser-insert-lambda, bound to C-c \ in Scheme buffers (thanks to Ray Racine). - Configurable case-sensitivity when

Re: [racket] Racket language tutorials

2013-05-03 Thread Jens Axel Søgaard
2013/5/3 Danny Yoo d...@hashcollision.org Hi Matthew, Jens's minipascal might be a good example to look at: https://github.com/soegaard/minipascal The intention was to turn the code into a tutorial, so the code is well-commented. The grammar is defined here:

Re: [racket] [ANN] Geiser 0.4 released

2013-05-03 Thread Eli Barzilay
Three hours ago, Jose A. Ortega Ruiz wrote: New features: - New command geiser-insert-lambda, bound to C-c \ in Scheme buffers (thanks to Ray Racine). If you go to the extent of doing this, then maybe it's worth it to do more? I have a file that adds a whole bunch of these

[racket] kernel interpreter in racket

2013-05-03 Thread Tomás Coiro
I'm trying to make a kernel interpreter in Racket, I've based the code on Qoppa (https://github.com/kmcallister/qoppa) kernel.rkt Description: Binary data Racket Users list: http://lists.racket-lang.org/users