Open main menu
Home
Random
Recent changes
Special pages
Community portal
Preferences
About Wikipedia
Disclaimers
Incubator escapee wiki
Search
User menu
Talk
Dark mode
Contributions
Create account
Log in
Editing
Dynamic programming language
(section)
Warning:
You are not logged in. Your IP address will be publicly visible if you make any edits. If you
log in
or
create an account
, your edits will be attributed to your username, along with other benefits.
Anti-spam check. Do
not
fill this in!
==Example code== The following examples show dynamic features using the language [[Common Lisp]] and its [[Common Lisp Object System]] (CLOS). ===Computation of code at runtime and late binding=== The example shows how a function can be modified at runtime from computed source code <syntaxhighlight lang="lisp"> ; the source code is stored as data in a variable CL-USER > (defparameter *best-guess-formula* '(lambda (x) (* x x 2.5))) *BEST-GUESS-FORMULA* ; a function is created from the code and compiled at runtime, the function is available under the name best-guess CL-USER > (compile 'best-guess *best-guess-formula*) #<Function 15 40600152F4> ; the function can be called CL-USER > (best-guess 10.3) 265.225 ; the source code might be improved at runtime CL-USER > (setf *best-guess-formula* `(lambda (x) ,(list 'sqrt (third *best-guess-formula*)))) (LAMBDA (X) (SQRT (* X X 2.5))) ; a new version of the function is being compiled CL-USER > (compile 'best-guess *best-guess-formula*) #<Function 16 406000085C> ; the next call will call the new function, a feature of late binding CL-USER > (best-guess 10.3) 16.28573 </syntaxhighlight> ===Object runtime alteration=== This example shows how an existing instance can be changed to include a new slot when its class changes and that an existing method can be replaced with a new version. <syntaxhighlight lang="lisp"> ; a person class. The person has a name. CL-USER > (defclass person () ((name :initarg :name))) #<STANDARD-CLASS PERSON 4020081FB3> ; a custom printing method for the objects of class person CL-USER > (defmethod print-object ((p person) stream) (print-unreadable-object (p stream :type t) (format stream "~a" (slot-value p 'name)))) #<STANDARD-METHOD PRINT-OBJECT NIL (PERSON T) 4020066E5B> ; one example person instance CL-USER > (setf *person-1* (make-instance 'person :name "Eva Luator")) #<PERSON Eva Luator> ; the class person gets a second slot. It then has the slots name and age. CL-USER > (defclass person () ((name :initarg :name) (age :initarg :age :initform :unknown))) #<STANDARD-CLASS PERSON 4220333E23> ; updating the method to print the object CL-USER > (defmethod print-object ((p person) stream) (print-unreadable-object (p stream :type t) (format stream "~a age: ~" (slot-value p 'name) (slot-value p 'age)))) #<STANDARD-METHOD PRINT-OBJECT NIL (PERSON T) 402022ADE3> ; the existing object has now changed, it has an additional slot and a new print method CL-USER > *person-1* #<PERSON Eva Luator age: UNKNOWN> ; we can set the new age slot of instance CL-USER > (setf (slot-value *person-1* 'age) 25) 25 ; the object has been updated CL-USER > *person-1* #<PERSON Eva Luator age: 25> </syntaxhighlight> let foo = 42; // foo is now a number foo = "bar"; // foo is now a string foo = true; // foo is now a boolean ===Assembling of code at runtime based on the class of instances=== In the next example, the class '''person''' gets a new superclass. The '''print''' method gets redefined such that it assembles several methods into the effective method. The effective method gets assembled based on the class of the argument and the at runtime available and applicable methods. <syntaxhighlight lang="lisp"> ; the class person CL-USER > (defclass person () ((name :initarg :name))) #<STANDARD-CLASS PERSON 4220333E23> ; a person just prints its name CL-USER > (defmethod print-object ((p person) stream) (print-unreadable-object (p stream :type t) (format stream "~a" (slot-value p 'name)))) #<STANDARD-METHOD PRINT-OBJECT NIL (PERSON T) 40200605AB> ; a person instance CL-USER > (defparameter *person-1* (make-instance 'person :name "Eva Luator")) *PERSON-1* ; displaying a person instance CL-USER > *person-1* #<PERSON Eva Luator> ; now redefining the print method to be extensible ; the around method creates the context for the print method and it calls the next method CL-USER > (defmethod print-object :around ((p person) stream) (print-unreadable-object (p stream :type t) (call-next-method))) #<STANDARD-METHOD PRINT-OBJECT (:AROUND) (PERSON T) 4020263743> ; the primary method prints the name CL-USER > (defmethod print-object ((p person) stream) (format stream "~a" (slot-value p 'name))) #<STANDARD-METHOD PRINT-OBJECT NIL (PERSON T) 40202646BB> ; a new class id-mixin provides an id CL-USER > (defclass id-mixin () ((id :initarg :id))) #<STANDARD-CLASS ID-MIXIN 422034A7AB> ; the print method just prints the value of the id slot CL-USER > (defmethod print-object :after ((object id-mixin) stream) (format stream " ID: ~a" (slot-value object 'id))) #<STANDARD-METHOD PRINT-OBJECT (:AFTER) (ID-MIXIN T) 4020278E33> ; now we redefine the class person to include the mixin id-mixin CL-USER 241 > (defclass person (id-mixin) ((name :initarg :name))) #<STANDARD-CLASS PERSON 4220333E23> ; the existing instance *person-1* now has a new slot and we set it to 42 CL-USER 242 > (setf (slot-value *person-1* 'id) 42) 42 ; displaying the object again. The print-object function now has an effective method, which calls three methods: an around method, the primary method and the after method. CL-USER 243 > *person-1* #<PERSON Eva Luator ID: 42> </syntaxhighlight>
Edit summary
(Briefly describe your changes)
By publishing changes, you agree to the
Terms of Use
, and you irrevocably agree to release your contribution under the
CC BY-SA 4.0 License
and the
GFDL
. You agree that a hyperlink or URL is sufficient attribution under the Creative Commons license.
Cancel
Editing help
(opens in new window)