newLISP Fan Club

Forum => newLISP in the real world => Topic started by: Zabolekar on July 24, 2014, 09:31:45 PM

Title: (define ...) inside a default value
Post by: Zabolekar on July 24, 2014, 09:31:45 PM
I have no reason to use something like that in real code, so this is just pure curiosity. Nevertheless, I would like to understand why this piece of code does what it does.



In newLisp, the following code


(define (f a (b (define (f a) "D"))) a)
(println (f "A" 1) (f "B") (f "C"))


will print AnilD. I don't quite understand where nil comes from. I would expect either ABD or, less intuitive but still understandable, ABC. It gets even more confusing. When I do


(define (f a (b (define (f a) "D"))) (println "") a)
(f "A")


the interpreter tells me:


--- cannot execute: restart shell ---

And, indeed, in this case I have to restart the shell to make it work again.



In Common Lisp, Clojure and Ruby the following pieces of code seem to be equivalent:


(defun f (a &optional (b (defun f (a) "D"))) a)
(format t "~a~a~a" (f "A" 1) (f "B") (f "C"))


(defn f ([a] (defn f [a] "D") a) ([a b] a))
(println (str (f "A" 1) (f "B") (f "C")))


def f(a, b = def f(a); "D"; end); a; end
p f("A", 1) + f("B") + f("C")


All of them print ABD.
Title: Re: (define ...) inside a default value
Post by: Lutz on July 25, 2014, 06:21:11 AM
It does literally what you tell it to do. newLISP is a fully self reflective language which can introspect or modify itself at run-time. In your example the function f is redefining itself while executing. The old discarded definition is collected by memory management and execution runs into invalid memory causing unexpected results or crashing.



When functions modify themselves, care must be taken to not replace code parts executing at the same moment.



See about self-modifying code in newLISP on this page: http://www.newlisp.org/index.cgi?Closures the paragraphs Introspection and  Stateful functions using in-place modification.
Title: Re: (define ...) inside a default value
Post by: Zabolekar on July 25, 2014, 07:03:19 AM
Thanks for the answer! So the old function definition is collected right after we redefine the function? That makes sense for me. Then, as far as I understand, modifying the function without actually redefining it should be safe (is it?):


(define (f a (b (setf (nth 1 f) "D"))) a)
(println (f "A" 1) (f "B") (f "C"))


It  prints ADD, as expected.



Is there a way to self-modify a function so that the changes only take place after the function returns?
Title: Re: (define ...) inside a default value
Post by: Lutz on July 26, 2014, 06:44:03 AM
Some functions in newLISP delay memory cleanup, but not applicable in this case.
Title: Re: (define ...) inside a default value
Post by: Zabolekar on July 26, 2014, 10:54:04 AM
Thanks.