Цитата

---

Это не важно. Важно, что нарушается соответствие между кодом и АСТ.

---

(0-) (defmacro unless-macro

        [unless TEST EXPR] -> [if TEST false EXPR])

macro

unless-macro

 

(1-) (unless false 12)

12

 

(2-) (if)

#<FUNCTION :LAMBDA (#:Y18396)

  (lambda #:Y18397 (lambda #:Y18398 (if #:Y18396 #:Y18397 #:Y18398)))>

 

(3-) ((if) false 1 0)

0

 

(4-) (if true 1 0)

1

Цитата

---

Со скобками код представляет АСТ безо всяких трансформаций, без скобок - нужна трансформация, чтобы получить АСТ из кода.

---

Цитата

---

shen ленивый чтоли?

---

Цитата

---

Нет, всегда можно расставить скобки так, что трансформация не нужна.

---

CG-USER(1): (macroexpand '(cond (T 12)))

(IF T (PROGN 12) NIL)

T

Цитата

---

Если скобок недостаточно - нам придется проводить синтаксический разбор в уме.

---

Цитата

---

Я не о том. Если shen не ленивый, то из if нельзя сделать функцию, как она каррируется-то? Оно ведь не будет корректно работать.

---

(0-) (defmacro unless-macro

        [unless]           -> [/. test [unless test]]

        [unless TEST]      -> [/. expr [unless TEST expr]]

        [unless TEST EXPR] -> [if TEST false EXPR])

macro

unless-macro

 

(1-) (unless)

#<FUNCTION :LAMBDA (test)

  #'(LAMBDA (expr) (IF (shen-wrapper test) 'false expr))>

 

(2-) ((unless) true 12)

false

 

(3-) ((unless false) 1234)

1234

 

(4-) (unless true 12345)

false

Цитата

---

для кода "(cond (T 12))" АСТ будет '(cond (T 12)) - никакой трансформации.

---

Цитата

---

Если скобок достатончое количество - не придется. Так как в этом случае код - это и есть АСТ.

---

Цитата

---

ну и что будет, если я напишу (((unless) false) (display 'x))?

---

(1-) (((unless) false) print + 1)

+1

 

(2-) (((if) true) print + 1)

11

 

(3-) (((if) false) print + 1)

1

 

(4-) (((unless) true) (print 1))

1false

 

(5-) (((unless) false) print 1)

11

 

(6-) (((unless) false) (print x))

xx

 

(7-) (((unless) true) (print x))

xfalse

Цитата

---

В твоем примере код это и есть АСТ, никакой трансформации не требуется.

---

Цитата

---

Нет, проблема в том, что нужно в уме производить синтаксический разбор кода.

---

Цитата

---

обладает теми же недостатками. Именно по-этому loop и плох

---

Цитата

---

а точку нельзя использовать много раз. То есть (1 . + . 2 . + . 3) или `(1 2 . ,(+ 1 2) . ,(+ 3 4)) не напишешь.

---

Цитата

---

Н о чем и речь - некорректное поведение. Нафиг такое "недокаррирование"?

---

Цитата

---

Я говорю о вполне объективных вещах - требуется ли производить синтаксический разбор для построения АСТ или не требуется.

---

(0-) (defun f (a b) [+ a b])

f

 

(1-) (f x y)

[+ x y]

 

(2-) (f 1 2)

[+ 1 2]

Цитата

---

пока гомоиконность синтаксиса сохраняется.

---

Цитата

---

Ну если нормально каррировать форму нельзя - то вообще никак не надо.

---

Цитата

---

А если требуется - то приходится делать разбор.

---

Цитата

---

Да, нормальное. Ненормальные варианты я указывал.

---

Цитата

---

Тут проблема в том, что это не каррирование. Оно только выглядит как каррирование.

---

Цитата

---

Именно мне делать и приходится. Так как, например, чтобы распарсить форму - мне надо знать, во что эта форма раскроется.

---

CG-USER(1): (setf (macro-function 'kernel-case) (macro-function 'case))

#<macro CASE @ #x210fa1fa>

CG-USER(2): (defmacro case (val &rest body)

  `(kernel-case ,val

     ,@(loop while body

             for x = (loop for i = (pop body)

                           until (eq i '->)

                           collect i)

             when x

               collect (list x (pop body))

             else

               collect (list t (pop body)))))

CASE

CG-USER(3): (case 'a

               c b n -> 1

                 d a -> 2

                     -> 0)

2

 

Цитата

---

по сути нет

---

Цитата

---

Но type checking у них все равно возможен только статический.

---

Цитата

---

>Реализуешь лучше?

Угу.

---

Цитата

---

Квадратные и фигурные скобки, например.

---

Цитата

---

Макросы не являются первоклассными объектами. Это очень неудобно.

---

(0-) (defmacro unless-macro

        [unless]           -> [/. test [unless test]]

        [unless TEST]      -> [/. expr [unless TEST expr]]

        [unless TEST EXPR] -> [if TEST false EXPR])

macro

unless-macro

 

(1-) (unless false (+ 1 2 3))

6

 

(2-) (unless-macro [unless false [+ 1 2 3]])

[if false false [+ 1 [+ 2 3]]]

 

(3-) (unless-macro [unless false])

[lambda expr [if false false expr]]

Цитата

---

Для реализации объекта make-module, с помощью которого можно будет создавать модули, например.

---

Цитата

---

Не нужно будет создавать специальные функции для строк, а можно будет использовать те же, что и для списков.

---

(define remove-my-name

  {string --> string}

  "" -> ""

  (@s "Mark" Str) -> (remove-my-name Str)

  (@s S Str) -> (@s S (remove-my-name Str)))

(26-) (define foo X -> (X false (/ 1 0)))

foo

(28-) (foo and)

/: division by zero

(29-) (and false (/ 1 0))

false

Цитата

---

Допустим, не знаешь ты синтаксиса case. Какой тебе вариант покажется нагляднее, со скобками или без?

---

Цитата

---

joba :
>Но на самом-то деле нельзя - оно же жутко тормозить будет.

В хаскелл работает и норм.

---