Is there any way to make simple reader macros in Racket. I mean a generalization like this:
(define-reader-syntax "'" quote)
; finds expressions that start with "'" and wraps them in `(quote ...)`
'(foo) ; => (quote (foo))
'foo ; => (quote foo)
I used a built in syntax to make clear what I mean. One of the things I'd like to use this for is replicating clojure's shorthand lambda (#(+ 1 %) 5) ; => 6
(#(+ 1 %) 5) ; => 6
It seems like it would be very easy to just define a "shorthand-lambda" macro and map the "#" prefix to that.
Here's how to implement your shorthand lambda:
#lang racket
(define rt (make-readtable #f #\# 'non-terminating-macro
(λ (c in . _)
(define body (read in))
`(lambda (%) ,body))))
(parameterize ([current-readtable rt]
[current-namespace (make-base-namespace)])
(eval (read (open-input-string "(#(+ 1 %) 5)")))) ;; => 6
Here's how to implement your simpler example, making &
be equivalent to '
:
(define rt2 (make-readtable #f #\& #\' #f))
(parameterize ([current-readtable rt2]
[current-namespace (make-base-namespace)])
(eval (read (open-input-string "&(3 4 5)")))) ;; => '(3 4 5)
Look at the guide entry on readtables and reader extensions to see how to do this. This reference section is useful too. Readtable extensions are a bit more complicated than your example, but they are very powerful.
For your specific problem, SRFI-26 provides a similar syntax for Scheme and Sam Tobin-Hochstadt wrote a fancy app Racket macro that implements Scala's take on this.
The technical post webpages of this site follow the CC BY-SA 4.0 protocol. If you need to reprint, please indicate the site URL or the original address.Any question please contact:yoyou2525@163.com.