(define-syntax i:

  (syntax-rules ()

    ((_ a op b)

     (op a b))))

 

;;test

(i: 3 + 4)

 

(3 + 4)

Цитата

---

Есть ли способ лучше? Чтобы, например, можно было написать:

(3 + 4)

P.S. syntax-case не предлогайте, его нету в r5rs.

---

Цитата

---

(calc: '(4 + 4 * (2 * 3)))

---

Цитата

---

Alex :
> Любое использование макросов нарушает чистоту r5rs
Что?

---

Цитата

---

Alex :
Я считаю, что макросы, написанные с помощью syntax-rules - это ленивые функции. Они дают возможность отложить вычисление аргументов. Хотя, тоже самое можно сделать при помощи quote:

(define (if. qt qthen qy qelse qn)

(if (eval qt) (eval qy) (eval qn)))

;test

(if. '(> 1 2) 'then ''yes 'else ''no)

---

Цитата

---

Alex :> Ты где это прочитал?
Что тебя конкретно не устраивает? С чем ты не согласен?
Вот еще пример:

(define (my-set! qvar qval)

  (eval `(define ,qvar ,qval)))

;test

(my-set! 'x 5)

x ;==> 5

(my-set! 'y '(+ x 2))

y ;==> 7

---

(define (fibonacci n)

  (if (< n 2)

    1

    (+ (fibonacci (- n 1)) (fibonacci (- n 2)))))

 

(define lazy-fib38 (delay (fibonacci 38))) ; А что так быстро, где вычисления?

(define lazy-fib35 (delay (fibonacci 35))) ; А что так быстро, где вычисления?

(define lazy-fib36 (delay (fibonacci 36))) ; А что так быстро, где вычисления?

(define lazy-fib37 (delay (fibonacci 37))) ; А что так быстро, где вычисления?

 

(define (fib-numbers n)

	(cond 

		((> n 38) (display "Too Big number!!!") (newline))

		((= n 35) (write (force lazy-fib35)))

		((= n 36) (write (force lazy-fib36)))

		((= n 37) (write (force lazy-fib37)))

		((= n 38) (write (force lazy-fib38)))

		(else (write (fibonacci n)))))

> (fib-numbers 37) ; пауза:)

39088169

> (fib-numbers 37) ; А что так быстро, где вычисления?

39088169

> (fib-numbers 37) ; А что так быстро, где вычисления?

39088169

 

> (look-like  if (-9) ((a = (b = 4)) (9 + 9)) else (a = -1))

18

> b

4

> (look-like  if (-9) ((a = (b = 14)) (9 + 9)) else (a = -1))

18

> a

14

> b

14

> (look-like  if (-9) ((a = (b = 4)) (c = d = 9 + 9)) else (a = -1))

18

> c

18

> b

4

> d

18

> a

4

> (look-like  if (0) ((a = (b = 4)) (c = d = 9 + 9)) else (a = -1))

-1

> a

-1

> b

4

> (look-like  if (a) ((a = (b = 4)) (c = d = 9 + 9)) else (a = -1))

18

> a

4

 

Цитата

---

Alex :
> Ленивые вычисления - это непросто отложенные вычисления,
> а отложенные до первого вызова.
Я не говорил про ленивые вычисления, я сказал, что считаю, что макросы, написанные по r5rs - это ленивые функции. И дальше я объяснил, что именно я под этим понимаю: возможность отложить вычисление аргументов, т.е. не писать лишний раз quote.

---

Цитата

---

Alex :
> Чтобы так писать необходимо реализовать новый синтаксический
> анализатор, и далее через собственный repl работать.
Почему нельзя без всего этого?

---

Цитата

---

Alex :
> Макрос - это прежде всего функция аргументы которой предварительно
> не вычисляются
Именно это я и имел ввиду под фразой "отложить вычисление аргументов".

---

Цитата

---

Alex :
> Если макросы называть ленивыми, то и функции придется называть
> ленивыми
Почему?

---

Цитата

---

Alex :
> По сути, ты предложил написать новый диалект.
Я всеголишь спросил можно или нет, и почему?

---

Цитата

---

Alex :
> Судя по моим высказываниям - yes Но это не так просто.
По каким твоим высказываниям следует, что можно ввести в repl (не "свой", а "схемовский") выражение (2 + 5) и то, что оно вычислится в 7?

---

Цитата

---

Alex :
> Так надо было говорить с самого начала
В чем разница?

>>макросы, написанные по r5rs - это ленивые функции.
> Если макросы называть ленивыми, то и функции придется называть
> ленивыми
> Я же сказал: макрос - это прежде всего функция...
Я ничего не понял.

---

> (format-infix: 6 + (4 * 5 + 8) * 7 + 23)

(+ (+ 6 (* (+ (* 4 5) 8) 7)) 23)

> (eval (format-infix: 6 + (4 * 5 + 8) * 7 + 23))

225

> (format-infix: 6 + (4 * 5 + 8) * 7 + 23)

(+ (+ 6 (* (+ (* 4 5) 8) 7)) 23)

Цитата

---

Alex :
> Так как ты хочешь реализовать нельзя.
Почему?

---

Цитата

---

Alex :
> А вот мне интересно сможешь ли ты реализовать format-infix:?
Опиши подробнее как оно должно работать. Например, учитывать ли приоритет операторов, если да, то приведи список всех операторов в порядке возрастания приоритета. Или ты имеешь ввиду только арифметические операторы? А то получается реализуй то не знаю что.

---

>(format-define: (abc x y)

       (if (+ x y x)

       (+ 7 8 (- 4 5 6)(8 - 9 + 8 * 7) (- 6 7) 9 (8 - 9 + 8 * 7) 7))

       (- 7 (+ 8 9) y)

       (+ 5 6 (8 + 7 * 3) 5))

; результат:

(define (abc x y)

  (if (+ x y x)

      (+ 7 8 (- 4 5 6) (+ (- 8 9) (* 8 7)) (- 6 7) 9

         (+ (- 8 9) (* 8 7)) 7))

  (- 7 (+ 8 9) y)

  (+ 5 6 (+ 8 (* 7 3)) 5))

> (format-define: (read-next input-port)

      ;(list->string

        (let f ()

          (let ((c (peek-char input-port)))

            (cond

              ((eof-object? c) '())

              ((char-alphabetic? c)

               (read-char input-port)

               (cons c (f)))

              (else '())))));)

; результат:

(define (read-next input-port)

  (let f ()

    (let ([c (peek-char input-port)])

      (cond

        [(eof-object? c) '()]

        [(char-alphabetic? c) (read-char input-port) (cons c (f))]

        [else '()]))))