Search
22:15:48
dto
https://usercontent.irccloud-cdn.com/file/I0ahcWAI/puffshjkdjsh2.jpg
23:44:50
energizer
if `expand` is the macro-expansion function in a lisp, what is its type?
1:17:47
dostoevsky6
** NICK dostoevsky
2:28:31
dostoevsky7
** NICK dostoevsky
2:49:08
dostoevsky2
** NICK dostoevsky
2:58:29
jcowan
energizer: Sexp -> Sexp, basically
2:59:01
jcowan
where Sexp is a union type of all the types that have an external representation
3:01:28
energizer
jcowan: where "has an external representation" means eval(repr(x)) == x ? (in python terms)
3:09:44
jcowan
Yes. Pairs, vectors. numbers, etc. but not CLOS classes or functions/procedures.
3:18:56
dostoevsky3
** NICK dostoevsky
3:51:38
dostoevsky3
** NICK dostoevsky
4:24:39
dostoevsky5
** NICK dostoevsky
4:39:03
edgar-rft
the type of a function is always a function, but macros can return other things than functions
4:41:26
ck_
ACTION .oO( https://imgur.com/a/8CDjKsi )
5:21:51
dostoevsky3
** NICK dostoevsky
5:45:31
dostoevsky4
** NICK dostoevsky
7:32:00
dostoevsky5
** NICK dostoevsky
8:15:31
dostoevsky5
** NICK dostoevsky