Re: [racket] Checking infinite loops

On Oct 3, 2010, at 7:19 PM, Marco Morazan wrote: > What year of study are you in? > > I will assume you are a beginner. It can't be done in Racket or any > other programming language. Most Automata Theory books have a proof of > that The Halting Problem is unsolvable. More precisely, you can wr

Re: [racket] [BULK] keyboard input from user

On Oct 3, 2010, at 9:23 PM, 김태윤 wrote: > hello > I'm trying to make program that receive keyboard input > for making program little bit more fun > > as shown in the book, "how to design world" > > I wrote the code as like below > it's just key comparing > I can't find how to receive keyinput f

Re: [racket] keyboard input from user

universe uses strings instead of symbols, now. Try (key=? x "up"), etc. Also, you'll need to be in Advanced language for print (or whatever print is in Advanced Language), I think. Todd On Sun, Oct 3, 2010 at 9:26 PM, Shriram Krishnamurthi wrote: > Are you using big-bang? > ___

Re: [racket] keyboard input from user

Are you using big-bang? _ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/users

[racket] keyboard input from user

hello I'm trying to make program that receive keyboard input for making program little bit more fun as shown in the book, "how to design world" I wrote the code as like below it's just key comparing I can't find how to receive keyinput from user in the book (define (printkey x) (cond [(key=? x

[racket] test

rac _ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/users

Re: [racket] Checking infinite loops

What year of study are you in? I will assume you are a beginner. It can't be done in Racket or any other programming language. Most Automata Theory books have a proof of that The Halting Problem is unsolvable. Marco On Sun, Oct 3, 2010 at 5:22 PM, A Z wrote: > Hello, > Does anybody know how to

Re: [racket] Checking infinite loops

Don't be harsh on yourself. This one's a bit subtle. I'd have missed it, too. Shriram On Sun, Oct 3, 2010 at 6:44 PM, Robby Findler wrote: > Actually I think this one is a bug I recently introduced in that code. > I'll try to fix it soon. > > Robby > > On Sun, Oct 3, 2010 at 5:43 PM, Eli Barzi

Re: [racket] Checking infinite loops

(For the curious, I was using my polytime reduction from travelling salesman to sorting and then searching the space of terminating programs for the given program.) Robby On Sun, Oct 3, 2010 at 5:44 PM, Robby Findler wrote: > Actually I think this one is a bug I recently introduced in that code.

Re: [racket] Checking infinite loops

Actually I think this one is a bug I recently introduced in that code. I'll try to fix it soon. Robby On Sun, Oct 3, 2010 at 5:43 PM, Eli Barzilay wrote: > Two minutes ago, Robby Findler wrote: >> How does it do on this program: >> >>   (begin (sleep 5) 'done) >> >> ? > > Yeah, it has some false

Re: [racket] Checking infinite loops

Two minutes ago, Robby Findler wrote: > How does it do on this program: > > (begin (sleep 5) 'done) > > ? Yeah, it has some false positives. I need to update it with the recent halting problem solution code. -- ((lambda (x) (x x)) (lambda (x) (x x))) Eli Barzilay:

Re: [racket] Checking infinite loops

On 10/03/2010 02:22 PM, A Z wrote: > Does anybody know how to check for infinite loops programmatically in > racket? To check for... wat http://en.wikipedia.org/wiki/Halting_problem _ For list-related administrative tasks: http://lists.racket-la

Re: [racket] Checking infinite loops

How does it do on this program: (begin (sleep 5) 'done) ? Robby On Sun, Oct 3, 2010 at 5:31 PM, Eli Barzilay wrote: > An hour ago, A Z wrote: >> Hello, >> >> Does anybody know how to check for infinite loops programmatically in >> racket? > > -> (require racket/sandbox) > -> (sandbox-eval-li

Re: [racket] Checking infinite loops

An hour ago, A Z wrote: > Hello, > > Does anybody know how to check for infinite loops programmatically in > racket? -> (require racket/sandbox) -> (sandbox-eval-limits '(4 10)) ; 4sec 10mb -> (define e (make-evaluator 'racket)) -> (e '((lambda (x) (x x)) (lambda (x) (x x with-limit: out of t

Re: [racket] Checking infinite loops

It's pretty easy once you're used to call/cc. Shriram On Sun, Oct 3, 2010 at 5:22 PM, A Z wrote: > Hello, > Does anybody know how to check for infinite loops programmatically in > racket? > Thanks, > Colum > _ >  For list-related administrative tas

[racket] Checking infinite loops

Hello, Does anybody know how to check for infinite loops programmatically in racket? Thanks, Colum _ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/users

Re: [racket] mp3 or ogg play in scheme?

Two hours ago, synx wrote: > On 10/03/2010 06:35 AM, 김태윤 wrote: > > since wav file is too big, is there any way I can play ogg or mp3 > > file in scheme? > > That shouldn't be too much trouble. There are many sound playing > libraries and programs that can handle both Vorbis and MP3. I would > rec

Re: [racket] How to install RacketPLT for Mandriva

An hour and a half ago, Juan J. Carreón G. wrote: > In twitter *...@biadivino *asks: > > Could you please indicate me a good source for download of RacketPLT > (DrScheme) for Mandriva? IIRC, Mandriva is close to Fedora/RH, right? If so, you can try the Fedora build

[racket] How to install RacketPLT for Mandriva

In twitter *...@biadivino *asks: Could you please indicate me a good source for download of RacketPLT (DrScheme) for Mandriva? Xs! _ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/user

Re: [racket] [plt-edu] racket, scheme, and MPI?

MPI is really independent of places/futures because it is process based. We could do an MPI-like or even MPI compatible Racket library. For CUDA, it is easier, because Racket already has a featureful OpenCL implementation: http://planet.plt-scheme.org/display.ss?package=opencl.plt&owner=jaymccart

Re: [racket] mp3 or ogg play in scheme?

On 10/03/2010 06:35 AM, 김태윤 wrote: > since wav file is too big, is there any way I can play ogg or mp3 file > in scheme? That shouldn't be too much trouble. There are many sound playing libraries and programs that can handle both Vorbis and MP3. I would recommend you do something like this: (modu

Re: [racket] mp3 or ogg play in scheme?

I think sound is still something that we don't have a good solution for, yet. (Any college students on the list who need a little independent study project to work on? I think there are free sound libraries that work on Mac/Windows/Linux, but how to wire them up is a little problematic, at least in

Re: [racket] How can I add new keywords (for syntax highlighting) to DrRacket ?

Edit|Preferences, Editing, Indenting. Add "if" to one of those columns. If you dont' want to change the indentation of if, but do want it to be a keyword, then DrRacket isn't currently flexible enough for you (patches welcome). Robby On Sun, Oct 3, 2010 at 9:27 AM, Scott McLoughlin wrote: > > It

Re: [racket] How can I add new keywords (for syntax highlighting) to DrRacket ?

It's very, very simple. When I type along in DrRacket, "cond" or "define" is highlighted according to my Edit>Preferences (say, Blue in a bold font). But "if" is not. Nor is "struct:" in typed/racket. And so on and so forth... What the "keyword" might be is totally irrelevant as far as I am c

[racket] mp3 or ogg play in scheme?

hello ~ I'm a scheme beginner although I'm not that good at making program I'm happy to learn scheme step by step it's really fun these day I am trying to make a program little bit more visual and fun text coloring, caret moving, and playing sound could be useful so.. my question is this since wav

[racket] make command line game with scheme?

Hello, I am a scheme novice. When I study programming language C, I can make a game that has colored text, and moving carret in command line window. I would be happy if I can make a game like this in scheme. Could you let me know how to change the text color, and moving carret on the console wi

Re: [racket] How can I add new keywords (for syntax highlighting) to DrRacket ?

What do you mean by highlighting, precisely? I assume clicking "check syntax" is not what you're looking for? If you want something that is insensitive to the actual langauge (ie would highlight if even if if weren't a keyword) and worked in an "online" manner, than the colorer is what you'd want,

Re: [racket] Racket web servlets, doctype and planet libraries

Thanks, my mistake was the lack of that xhtml declaration in the end of the require and now I understand it goes for the main.rkt in that case. It would be useful if the documentation search would return something for "doctype" because I guess many people will want to return conformant responses f

Re: [racket] east asian characters were broken when I run from an Executable file

At Sun, 3 Oct 2010 11:38:22 +0900, 김태윤 wrote: > I'm using DrRacket for Scheme Programming. > > for I'm not a person who use native English, I need to print out east asian > language. > > there is no problem when I press run button in IDE. > > east asian language is printed well. > > but when I

[racket] How can I add new keywords (for syntax highlighting) to DrRacket ?

"if" just for example. I'm not asking about a lecture on the wisdom of doing so. I'm just asking how. Thanks a million in advance. Scott _ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/users