The other day I had a realization that suddenly made syntax-case seem a lot less magic.
All the tutorials, papers and documentation I had read about syntax-case only showed examples where syntax-case evaluated immediately to a syntax object, and it was always embedded inside with-syntax or define-syntax or some other thing that ended in "-syntax". They never showed any examples like this one:
(define (is-nil? stx)
(syntax-case stx ()
(() #t)
(_ #f)))
This example defines a function that takes a syntax object and returns a boolean indicating whether or not the syntax object is the empty list. Note that the return value of this function is not a syntax object. Note also that is-nil? is defined using regular old define, not define-syntax. It doesn't even have to be called at expand time. For example, (is-nil? (syntax ()) returns #t, and (is-nil? (syntax 1)) returns #f.
The point is that syntax-case is nothing more than a way to destructure syntax objects, just like the case statement in haskell. Until I realized this, I had thought that there was some weird requirement that it only be used to define "syntax transformers" (which is just a concise way of saying "a function that takes a syntax object and produces a syntax object"). I also wondered whether there was some weird requirement that meant syntax-case could only be used at expand time, or could only be used inside a define-syntax form. Neither of these restrictions is necessary.
Anyway, there's my my little addition to the global knowledge web. Hopefully it will help someone else see through the aura of macro magic to realize that syntax-objects are really just an abstract data type and syntax-case is just a destructuring form.
Posted on May 28, 2006 10:34 AM
More languages articles
Intriguing. What is syntax-case?
Posted by: John Bachir at May 28, 2006 12:08 PMsyntax-case is a more powerful version of syntax-rules. syntax-rules is an essential part of Scheme's hygienic macro facility. If you're only mildly curious, you might try reading Syntax-rules Primer for the Merely Eccentric or Introduction to the art of metaprogramming. If you're really curious, the definitive source is Syntactic Abstraction in Scheme.
Posted by: Kim at May 29, 2006 11:24 AMugg boot australia
bailey button ugg sale
ugg classic cardy cheap
classic cardy ugg sale online
ugg unique bailey button
Thanks for your useful info, I think it’s a good topic. So would you like the info about the
jordan shoes
Air jordan shoes
cardy ugg boots
Tiffany Jewelry
ugg bailey button boots
cheap jordan shoes
ugg boots uk
Michael jordan shoes
ugg london
ugg nightfall boots
ugg boots sale
classic ugg boots
sundance ugg boots
air jordan fusion 6
air jordan 6 rings
jordan shoes for sale
Good ! I like it ! Welcome to read following news: ugg boots,Nike dunk sb,discount ugg boots, uggs ,nike dunk low,ugg boots sale,UGG Bailey Button boots,new nike sb,UGG Classic short boots,UGG Nightfall boots,cheap nike dunks,UGG Classic tall boots.
Posted by: ugg boots at October 27, 2009 10:45 PMTiffany & Co Flower Pendant Necklace N088 [N088] On Sale
Tiffany & Co Flower Pendant Necklace N110 [N110] On Sale
Tiffany & Co Flower Pendant Necklace N128 [N128] On Sale
Tiffany & Co Flower Pendant Necklace N214 [N214] On Sale
Tiffany & Co Round Pendant Necklace N219 [N219] On Sale
Posted by: tiffany jewelry at October 28, 2009 08:17 AMTiffany & Co Flower Pendant Necklace N088 [N088] On Sale
Tiffany & Co Flower Pendant Necklace N110 [N110] On Sale
Tiffany & Co Flower Pendant Necklace N128 [N128] On Sale
Tiffany & Co Flower Pendant Necklace N214 [N214] On Sale
Tiffany & Co Round Pendant Necklace N219 [N219] On Sale
Posted by: tiffany jewelry at October 28, 2009 08:17 AMTiffany & Co Sevillana Small Ring [R023] On Sale
Tiffany & Co Heart Link Bracelet [S024] On Sale
Tiffany & Co Heart Tag Toggle Bracelet [S016] On Sale
Tiffany & Co Atlas Charm Bracelet [S030] On Sale
Tiffany & Co Elsa Peretti Mesh Bracelet [S071] On Sale
Tiffany & Co 1837 Charm Bracelet. [S009] On Sale
Love this man. Great stuff, great prices, free shipping. Email him if you cant find what you are looking for and he will look for you. Good customer service.louis vuittonSomeone who is knowledgeable in louis vuitton.Another guy from hong Kong (Largest louis vuitton second hand city, I believe) he has great stuff at fair prices but his shipping is insane
Posted by: louis vuitton at October 29, 2009 10:13 AMLove this man. Great stuff, great prices, free shipping. Email him if you cant find what you are looking for and he will look for you. Good customer service.louis vuittonSomeone who is knowledgeable in louis vuitton.Another guy from hong Kong (Largest louis vuitton second hand city, I believe) he has great stuff at fair prices but his shipping is insane
Posted by: louis vuitton at October 29, 2009 10:13 AMUgg
Ugg Boots
Cheap Ugg
New Ugg Boots
Ugg Boot
Ugg Classic Boots
Cheap Ugg Boots
Uggs on sale
Uggs
Ugg Boots
Cheap Ugg Boots
Ugg Classic Boots
Ugg Boots Sale
Supra Shoes
Mens Supra Cruizer Shoes ---Special
Men's Supra Cruizer Red Shoes
Mens Supra Cruizer Cool Shoes
Mens Supra Cruizer Shoes --Charming
Mens Supra Cruizer Pure black Shoes
Mens Supra Cruizer Shoes --Leisure
Man's Supra Cruizer Shoes
Men's Supra Muska Skytop Shoes
Men's Supra Skateboarding Shoes
Men's Supra Strapped Shoes
Men's Supra Suprano High Shoes
Women's Supra Muska Skytop Shoes
cheap ugg boots sale
uggs classic mini sale
UGG Ultra Tall Boots
Cheap Ugg Boots
UGG Classic Tall Boots
UGG Classic Cardy
UGG Classic Short Boots
Eliminating the need for the extra trouble to wear ugg boots uk 、
ugg boots sale、 uggs, in the extreme sports, look for happiness in life, with UGG Classic boots and nike sb showed off your tall body, do not worry about being laughed at, dancing new style ugg australia and nike sb dunk . The flavor of life that is colorful, there are Christian Louboutin 、cheap nike dunks、UGG cardy boots、and nike sb for sale also used fear to creep away money from your pocket Mody ? Love beauty, you might even love UGG Classic tall boots 、UGG Nightfall boots、UGG Classic short boots、new nike sb。There are an infinite high power drivers of popular front ugg boots sale、ugg sale、uggs、nike dunk、discount ugg boots、nike dunk sb, our website also have UGG Nightfall boots、button ugg boots、bailey button ugg、ugg button boots、bailey button boots、nike dunk mid、nike dunk high、Christian Louboutin Boots, pick your favorite, do not hesitate!
discount nike air yeezy
china wholesale online
discount ugg boots
furture
ugg boots
Discount store
Uggs on sale now.UGG Classic Cardy Boot makes me different form the other
girls. The UGG Bailey Button Boot is a good choice for female.
Posted by: ugg classic cardy boots at November 17, 2009 12:09 AMLouis Vuitton , commonly referred to as Louis Vuitton Continues Its Expansion to Scotland and LV 09 FW Gossip, or sometimes shortened to 09 New Arrivals has become one of the most Burberry Agendas luxurybrands Chanel.
UGG Bailey Button bootsis a new style in 2009.The classic cardy uggs boots is another hot boots that worth of buying.And the classic tall ugg boots will make your winter amusing.And now uggs on sale,if you are looking for such a boot,the ugg boots is good choice this year.
Posted by: UGG Bailey Button Boots at November 17, 2009 01:37 AMI love Women's UGG Classic Cardy Boot 5819 very much. And the new style UGG Mayfaire Boots is aslo a good choice this year.
Posted by: UGG Bailey Button Fancy Boots at November 17, 2009 03:33 AMwww.enjoywholesale.com
china wholesale clothing,china wholesale shoes,china wholesale electronics,china wholesale suppliers,china manufacturers
china wholesale products,light in the box,wholesale lots,wholesale ipod
china direct,china dropship,china trade,made in china
electronics wholesaler,ebay wholesaler,financial wholesaler
fashion wholesaler,clothing wholesaler,wholesaler magazine
computer wholesaler,external wholesaler,dvd wholesaler,wholesaler definition,china wholesaler,mutual fund wholesaler,define wholesaler,insurance wholesaler
discount ugg boots
forture
ugg boots
Discount store
lxjuan08ed hardyis a famous ed hardy store which sell directly ed hardy clothing, shoes, boots, swim suit and other cheap ed hardy.
Browse through our catalogue of hundreds of ed hardy clothing,Ed hardy Shirt,Ed hardy ... Buy Ed Hardy today for a gift, for a friend, or for yourself.
ED HARDY Online Shop,Ed Hardy Store by Christian Audigier,coach handbags,rolex watches.We supply cheapest Newest ed hardy discount 2009 Commodity New styles.
Posted by: ed hardy at November 18, 2009 08:19 PMRolex Sea-Dweller watch for sale
Rolex Day Date watch for sale
Rolex Masterpiece watch for sale
Rolex Milgauss watch for sale
Supra Shoes
Supra Skytop Shoes
Supra Society
Supra Thunder
Supra Suprano Hi
Supra Strapped
Supra Trinity
Supra Skylow 1.5
Supra Dixon
Diablo 1.5
Supra Cruizer
Supra Vaider Shoes
Supra Cuban
We are the best online sales for the china wholesale . Here you can have a large of choices of kinds Ugg Boots,Converse Shoes,Timberland Boots,puma shoes,Nike Shox Shoes ,Nike Dunk SB Shoes,Nike Air Max，Links Of London,Tiffany Jewelry,Dior Handbags?,jimmy choo handbags ,Cartier Watches, 8GB Mp4 Players,Bluetooth Car DVDs. All our cheap online cheap goods are high quality and original packages, and best service. We offer our customers the best service, 7 days arrive at your door.Enjoy your easy and happy shopping with us.
Do you like sports? If you like it,the NIke Air Max TN and Nike Air Max 360 is a good choice for you.And now the there is a good news,CheapNike Air Max running Shoes is waiting for you.I think The New Nike Air MAX 2009 Running Shoes makes you great comfortable.
Posted by: Nike Air Max shoes at November 20, 2009 03:40 AMNike Men's AF1 Light-up Shoes
light up air force
light up mens shoes
air force lights-up
light up shoes mens
light up air force ones
light up air force
air force lights-up
light up shoes af1
People all over the world know the abercrombie and fitch,but not everyone really knows how fashion the abercrombie is,hollister is the Legend maker. Everybody wears the hollister clothing would be the abercrombie mens and the abercrombie womens, if you want know you can search the Ruehl No.925 or abercrombie outlet in the www.google.com .
Posted by: fitch at November 21, 2009 03:23 AMYour article is write very well, I like it very much ~
ghd Hair Straightener
ghd Hair Straighteners
ghd straighteners
GHD
hair straighteners
bose in ear headphones
bose on ear headphones
bose headphones
nike sb dunks
nike dunks
I wish you have a wonderful day!Thank you.
coach bags cheap
nike air force 1 low premium
timberland boots for sale
cheap ugg boots sale
wholesale clothing
mbt shoes clearance
Timeberland boots on sale now! Do you want moreTimeberland boots information?Just move your mouse and press it to our Timberland shoes online store.
Posted by: Timberland uk at November 23, 2009 01:15 AM discount nike air yeezy
china wholesale online
discount ugg boots
nike free shoes
furture
ugg boots
Discount store
rongTiffany Jewelry Online - Discount Tiffany & Co Jewelry On Sale
Hot Sell Tiffany Jewelry - Tiffany Jewelry Online
Return To Tiffany Double Heart Detachable Pendant Necklace - Tiffany Jewelry Online
Tiffany&Co 1837 Titanium I.D. Bracelet - Tiffany Jewelry Online
Tiffany & Co Bead Bracelet - Tiffany Jewelry Online
Tiffany&Co Atlas Round Pendant Necklace - Tiffany Jewelry Online
Tiffany&Co Bar Pendant Necklace - Tiffany Jewelry Online
Tiffany&Co Bead Necklace(N242) - Tiffany Jewelry Online
Tiffany&Co Bean Pendant Necklace(N157) - Tiffany Jewelry Online
chaoying nfl jerseys
Giants Jerseys
Patriots Jerseys
China Electronics Wholesale China
Phone Cheap Cell Phones
href="http://www.thechinaphone.com/index.php?main_page=advanced_search_result&keyword=China%20Wholesale">China Wholesale
replica handbags
Louis Vuitton Replica
Louis Vuitton handbags
fake Louis Vuitton bags
fake Louis Vuitton
replica rolex
replica rolex
fake rolex
buy cheap fake rolex
rolex Submariner
Just wanted to say great job with the blog, today is my first visit here and I’ve enjoyed reading your posts so far
ugg bailey button
Wow, my ugg classic mini will not be coming off now! I’ve had them on for 12hrs strait and I do not want to take them off. Thanks for everything, well worth the wait.
Rolex Day-Date II watch for sale
Rolex Submariner watches
replica omega
replica Rolex Masterpiece
replica Bell & Ross
cheap jordan shoes
Louis Vuitton Replica Tivoli PM
Louis Vuitton Tivoli PM Replica
Posted by: fanqin at December 1, 2009 02:32 AMBurberry Handbags|
Burberry Handbag|
Burberry bags|
Burberry bag|
Chloe Handbags|
Chloe Handbag|
Chloe bags|
Chloe bag|
Christian Dior Handbags|
d&g Handbags|
d&g Handbag|
d&g bags|
d&g bag|
Hermes Handbags|
Hermes Handbag|
Hermes bags|
Hermes bag|
replica Hermes|
replica Hermes Handbags|
cheap Christian Louboutin
discount Jimmy Choo Handbags
discount Christian Louboutin sandal
cheap Jimmy Choo Handbags
cheap Christian Louboutin sandal
Tiffany Atlas ring
cheap Christian Louboutin
discount Jimmy Choo Handbags
discount Christian Louboutin sandal
cheap Jimmy Choo Handbags
cheap Christian Louboutin sandal
Tiffany Atlas ring
cheap Christian Louboutin
discount Jimmy Choo Handbags
discount Christian Louboutin sandal
cheap Jimmy Choo Handbags
cheap Christian Louboutin sandal
Tiffany Atlas ring
ugg boots sale at a time when large heat has set off a winter 08/09 to Ewha.Outlines the
warm wool winter fashion degree to wool crocheted wool ugg boots uk to join after the
body does not stimulate your skin soft, soft comfort UP. Fashion can not without
ugg boots presence in Winter.and ugg boots have many series.such as:
ugg classic
UGG Bailey Button boots
ugg nightfall
ugg kids