Having something like the "var" pattern can be useful for macros that expand into uses of match, if the macro doesn't want to expose that a bound variable will be a match pattern and therefore must not be "_" or "...". Granted, there are ways around this, but personally I think it would be nice if match supported this pattern. I would, however, entirely support renaming this pattern to something more obscure, like "match:pattern-variable" or something, so that unintentional uses stop being a problem.
Carl Eastlund On Thu, Nov 29, 2012 at 12:17 AM, Neil Toronto <neil.toro...@gmail.com>wrote: > On 11/28/2012 06:04 PM, David Van Horn wrote: > >> On 11/28/12 7:53 PM, Sam Tobin-Hochstadt wrote: >> >>> Currently, `match` provides a pattern named `var`, which makes `(var >>> id)` equivalent to `id`, but without special cases for things like `_` >>> and `...`. >>> >>> However, this frequently conflicts with structures that people define, >>> and is rarely used other than accidentally. I'd therefore like to >>> remove it entirely. >>> >> >> + (expt 2 (expt 2 (expt 2 (expt 2 2)))) >> > > Since I've never used `var' and it sounds like a great idea to get rid of > it, I'll see David's repeated exponential and raise it by \aleph_0. > > Note that downvotes must now at least sum to \aleph_1 to retain the `var' > pattern. One downvote for every real number is sufficient. > > Neil ⊥ > > > _________________________ > Racket Developers list: > http://lists.racket-lang.org/**dev <http://lists.racket-lang.org/dev> >
_________________________ Racket Developers list: http://lists.racket-lang.org/dev
