PG
Могу показать кое чо с defmacro
Size: a a a
2019 June 22
PG
И на елиспе
L🇷
Ну давай хоть это, если не трудно
PG
loop: это макрос, но объявляется он через defalias, как видишь
L🇷
так loop ты сам как я понял придумал.
Я думал ты кинешь как определён некоторый синт. сахар елиспа который написан в стандартной библе елиспа (без использования этого сахара естественно)
Я думал ты кинешь как определён некоторый синт. сахар елиспа который написан в стандартной библе елиспа (без использования этого сахара естественно)
PG
Ну это немного измененный и специализированный сахар defmacro
AZ
так не интересно!) Буду РЕАЛЬНО признателен если кто-то найдёт отпределение в стандартной библе (и докажет что это не примитив) например синт. сахара let, или чего-нето подобного!
(define-syntax let
(syntax-rules ()
((_ ((x v) ...) e1 e2 ...)
((lambda (x ...) e1 e2 ...) v ...))))
(syntax-rules ()
((_ ((x v) ...) e1 e2 ...)
((lambda (x ...) e1 e2 ...) v ...))))
L🇷
(define-syntax let
(syntax-rules ()
((_ ((x v) ...) e1 e2 ...)
((lambda (x ...) e1 e2 ...) v ...))))
(syntax-rules ()
((_ ((x v) ...) e1 e2 ...)
((lambda (x ...) e1 e2 ...) v ...))))
То есть эта штука заработает?) Троеточие входит в синтаксис? Это ты сам определил let, или в scheme этот синт сахар действительно так и определён в ст. библе?
AZ
То есть эта штука заработает?) Троеточие входит в синтаксис? Это ты сам определил let, или в scheme этот синт сахар действительно так и определён в ст. библе?
Определение из книги The Scheme Programming Language
AZ
По идее он должен работать, троеточие это тоже синтаксис
L🇷
По идее он должен работать, троеточие это тоже синтаксис
Понял! СПАСИБО! На самом деле очень интеренса эта тема
O
wtf this?
G-expressions or “gexps”
AZ
wtf this?
G-expressions or “gexps”
Guile специфичная вещь. The (guix gexp) module implements G-expressions, a form of S-expressions adapted to build expressions. Осталось только понять что такое build expression. Вероятно это относится к сборке guix или чего-то в guix
A
а я нашел в чикене
A
точнее что-то нашел, но вот оно ли это...
AZ
точнее что-то нашел, но вот оно ли это...
Так можно вечно придумывать a-expressions, b-expressions, c-expressions и ещё (23?) варианта
P1
#lang racket
(require (for-syntax syntax/parse))
(define-syntax (my-let* stx)
(syntax-parse stx
[(_my-let* ([name:id e:expr] ...) body ...)
#'(let ()
(define name e) ...
body ...)]))
P1
в схемофаке есть хорошее пояснение за многоточие http://community.schemewiki.org/?scheme-faq-macros
P1
только не смотри определение let в racket - это не для слабонервных )))