[racket] A question about code-style (and memory usage)

From: Eli Barzilay (eli at barzilay.org)
Date: Tue Jul 26 17:11:43 EDT 2011

Two hours ago, Robby Findler wrote:
> On Tue, Jul 26, 2011 at 1:26 PM, Eli Barzilay <eli at barzilay.org> wrote:
> > and whether `∨' and `∧' should be bound to
> > `and' and `or' or maybe they should be bound to `for/and' and
> > `for/or'.  (There's also the cheap solution of looking for new
> > characters like `⋎' and `⋏' but that's even more cheating...)
> and and or, imo. The for/or and for/and ones should be "capitalized"
> versions of those (ie, bigger ones somehow), if they exist.

I don't think that there are such characters.

> > Yeah, that's why I said "maybe" for these.  The same goes for `∞':
> > you'd actually want not only that and `-∞' -- you'd also want `+∞'
> > too, and the fact that you want all of these to be available for
> > fractions too makes it very clear that a reader thing is more
> > proper.
> FWIW, I think that +∞ and -∞ should work and ∞ should not, given our
> current Racket numeric tower and the spelling of these things that
> we already have.

Yeah, that makes sense.  So the signless ones would be only for
fractions.  (But only in an imaginary world, given how hairy numbers
are already.)

40 minutes ago, Robby Findler wrote:
> Ah, I see. That's a lot more work to do in DrRacket, I think, since
> we just defer to the OS to do that kind of stuff. (Makes me wonder
> if there already is some extension thing I can get for macosx that
> essentially does what you've done, but at the os level.)

Yes, I forgot to add that I can "bind" a name to two characters and
Emacs will let me choose which one I want to insert, and I can also
bind a name to a sequence of characters.  For even extra credit, this
should work for searching text too, typing file names etc etc.

          ((lambda (x) (x x)) (lambda (x) (x x)))          Eli Barzilay:
                    http://barzilay.org/                   Maze is Life!

Posted on the users mailing list.