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

From: Neil Van Dyke (neil at neilvandyke.org)
Date: Thu Aug 4 03:07:02 EDT 2011

Marijn wrote at 08/04/2011 02:50 AM:
> What's wrong with ⋁ (U+22C1) and ⋀ (U+22C0)? (Also known as bigwedge and
> bigvee in LaTeX.)
FWIW, I would someday like to use those symbols in some logic 
programming mini-language embedded in Racket code.  I assume that this 
won't conflict linguistically with their use in other ways, although 
someone looking at Racket code with embedded logic programming bits 
might prefer to use the cute symbols for the logic bits, and the longer 
names like "and" in the surrounding, algorithmic Racket code, just to 
help visually distinguish the two languages.  Both languages should 
provide ASCII identifiers, and cute Unicode symbol identifiers as 
aliases for the ASCII, so people can use which they choose.


Posted on the users mailing list.