scheme 中的宏使用

#lang scheme

( define-syntax my-when 
   ( syntax-rules ()
      [ ( _ pred body ... )
        ( if pred ( begin body ... ) ( void ) ) ] ) )

( my-when 
  ( = 2 1 )
  ( display 1 )
  ( display 2 ) )

( define-syntax my-let 
   ( syntax-rules () 
      [ ( my-let ( [ var exp ] ... )
                 body ... )
        ( ( lambda ( var ... )
             body ... ) exp ... ) ] ) )

( my-let 
  ( [ a 1 ]
    [ b 2 ] )
  ( display a )
  ( display b ) )

( define-syntax my-let* 
   ( syntax-rules ()
      [ ( my-let* ( [ var exp ] ) body ... )
        ( my-let ( [ var exp ] ) body ... ) ]
      [ ( my-let* ( [ var exp ] 
                    [ var1 exp1 ] ... ) body ... )
        ( my-let ( [ var exp ] )
                 ( my-let* ( [ var1 exp1 ] ... )
                           body ... ) ) ] ) )

( define-syntax my-for 
   ( syntax-rules ()
      [ ( my-for ( var from to ) body ... )
        ( let loop ( [ var from ] )
           ( my-when 
             ( < var to )
             body ... 
             ( loop ( + var 1 ) ) ) ) ] ) )

( my-for 
  ( i 0 10 )
  ( display "a" )
  ( display "b" ) )

;;; 一种比較有意思的使用方法

( define-syntax loop 
   ( syntax-rules ( begin end from to )
      [ ( loop <var> from <min> to <max> start body ... end )
        ( let loop1 ( [ <var> <min> ] )
           ( cond 
              [ ( < <var> <max> ) body ... ( loop1 ( + 1 <var> ) ) ]
              [ else ( void ) ] ) ) ] ) )

( loop i from 1 to 10
   begin 
       ( display 1 )
       ( newline )
       ( display 2 ) 
       ( newline )
   end )