[racket] Typed Racket reactions on developing polymorphic typed array library, and questions

2010-08-22 Thread Neil Toronto
Some of you saw in Chicago that I was steadfastly avoiding doctoral work by doing some 2D OpenGL game-type stuff in Racket. I decided that I needed a nice array implementation, and later, that it should be in Typed Racket so I could wring out as much performance as possible. (I've read the arr

Re: [racket] text formatting questions

2010-08-22 Thread Mark Engelberg
I don't know how DrRacket is implemented, but you might want to look at this article for ideas about ways to represent strings in a manner that allows for efficient editing: http://www.cs.ubc.ca/local/reading/proceedings/spe91-95/spe/vol25/issue12/spe986.pdf

Re: [racket] text formatting questions

2010-08-22 Thread Neil Van Dyke
Mathew Kurian wrote at 08/22/2010 10:58 PM: 1. In a text editor like Microsoft Word, in what form do they hold all the text that a person types (a single large string or just an appendable textbox that stores the data till the end)? There are several different approaches for conventional tex

[racket] text formatting questions

2010-08-22 Thread Mathew Kurian
Hey guys, How are yall doing? Hope everybody is swell. Its been a while since i last posted a question, but i have few new questions popping up. Recently, I was trying to make a text editor type thing (i.e. Wordpad) and as usual I was bombarded with that same confusion and questions most amateur

[racket] Objects, Contracts, and Equality

2010-08-22 Thread Eric Dobson
I am using the class system, and contracting objects. The documentation says that objects (without implementing equal<%>) are only equal? if they are eq?. My assumption was that when using equal?, the contract-wrapper objects would look through to the base value and compare them using equal? which

Re: [racket] Embedding HtDP Teaching Languages

2010-08-22 Thread Shriram Krishnamurthi
Try something like this. #lang racket (require lang/htdp-advanced test-engine/scheme-tests) (provide provide [except-out (all-from-out lang/htdp-advanced) #%module-begin] [rename-out (top-level #%module-begin)]) (require mzlib/pconvert) (constructor-style-printing tru

[racket] Embedding HtDP Teaching Languages

2010-08-22 Thread Jeremy R.
Hello: I've fiddled with it for a while (I'm admittedly new to Racket's innards, but I've looked at the docs), and I can't seem to determine the correct way to either evaluate code or run a read-eval-print loop in one of the HtDP teaching languages when embedding the Racket library in a C progr

Re: [racket] Nested scope in D vs Racket

2010-08-22 Thread Stephen Bloch
So the short-and-sweet message is that "local" and "internal define" act more like "letrec" than like "let"? That makes sense, as it allows people to write recursive functions. Intuitively, it seems useful to have both semantics available to programmers. Stephen Bloch sbl...@adelphi.edu