It would be nice to be able to use some of those aliases without
having to pull in huge piles of stuff, tho. Is there a way to make
that happen? racket/aliases/<x> where <x> is the same as racket/<x>,
but with aliases added in? (Or maybe we just add all the aliases to
racket/<x> directly? Or maybe racket/<x>/aliases?)
Robby
On Tue, Jul 26, 2011 at 12:21 PM, Jay McCarthy <jay.mccar...@gmail.com> wrote:
> +1
>
> On Tue, Jul 26, 2011 at 1:18 PM, Eli Barzilay <e...@barzilay.org> wrote:
>> Yesterday, Matthew Flatt wrote:
>>> At Sun, 24 Jul 2011 14:44:24 +0200, Stephan Houben wrote:
>>> > [...] I find that summing comes up sufficiently
>>> > often to deserve its own compact syntax, so I propose:
>>> >
>>> > ;; Solution 3
>>> > (require (planet "mathsymbols.rkt" ("stephanh" "mathsymbols.plt" 1 0)))
>>> >
>>> > (Σ ([i (in-range 1 (add1 N))])
>>> > (string-length (integer->string i)))
>>>
>>> I agree. Unless there are objections, I plan to add `for/sum' and
>>> `for/product' with aliases `Σ' and `∏' to `racket/base' (as well as
>>> `for*/sum' and `for*/product' with aliases `Σ*' and `∏*').
>>
>> On one hand I like such identifiers, but on the other there could be a
>> lot more. Just looking at random things, I can see `π', `→' or `⇒'
>> (for `=>'), `≤', `≥', `…', `∞' and `-∞', `∊' (for `member'), `√', and
>> many more. Maybe even `½', `¼', `¾', `-½' etc...
>>
>> So how about some `racket/aliases' which is included in `racket' but
>> not in `racket/base' and adds some/all of these?
>>
>> --
>> ((lambda (x) (x x)) (lambda (x) (x x))) Eli Barzilay:
>> http://barzilay.org/ Maze is Life!
>>
>> _________________________________________________
>> For list-related administrative tasks:
>> http://lists.racket-lang.org/listinfo/users
>
>
>
> --
> Jay McCarthy <j...@cs.byu.edu>
> Assistant Professor / Brigham Young University
> http://faculty.cs.byu.edu/~jay
>
> "The glory of God is Intelligence" - D&C 93
>
> _________________________________________________
> For list-related administrative tasks:
> http://lists.racket-lang.org/listinfo/users
_________________________________________________
For list-related administrative tasks:
http://lists.racket-lang.org/listinfo/users
