2 ms·
Very interesting! I've started reading the 3-Lisp paper [1] and it's a lot of fun. I'm not sure if it's really a counterexample, though. Does 3-Lisp claim that
by cousin_it 11y ago
Very interesting! I've started reading the 3-Lisp paper [1] and it's a lot of fun.
I'm not sure if it's really a counterexample, though. Does 3-Lisp claim that you can only interact with values by calling their methods, or something like that? For example, can you impersonate a cons cell?
[1] http://cs.au.dk/~hosc/local/LaSC-1-1-pp11-37.pdf http://cs.au.dk/~hosc/local/LaSC-1-1-pp11-37.pdf