TweetFollow Us on Twitter

Functions in Lisp
Volume Number:1
Issue Number:8
Column Tag:Lisp Listener

"Functions in Lisp"

By Andy Cohen, Human Factors Engineering, Hughes Aircraft, MacTutor Contributing Editor

Defining Procedures

As you may recall from the first installment of the Lisp Listener, a procedure is a description of an action or computation. A primitive is a predefined or "builtin" procedure (e.g. "+"). As in Forth, Lisp can have procedures which are defined by the programmer. DEFUN, from DEfine FUNction, is used for this purpose. The syntax for DEFUN in Experlisp is as follows:

(DEFUN FunctionName (symbols) 
          (All sorts of computations which may or may Not use the values 
represented by  the symbols))

The function name is exactly that. Whenever the name is used the defined procedure associated with that function name is performed. The symbols are values which may or may not be required by the procedures within the defined function. If required, the values must follow the function name. When given, these values are assigned to the symbol. This is similar to the way values are assigned to a symbol when using SETQ. It is easier to see how DEFUN works when observed within an example:

;(DEFUN Reciprocal (n)
 (/ 1 n))
;Reciprocal
;(Reciprocal 5)
;.2 
;(Reciprocal 2384)
;.000419463 

The word "Reciprocal" is the function name and the numbers following are the values for which the reciprocal (1/n) are found. After the list containing DEFUN is entered and the carriage return is pressed the function and it's title are assigned a location in memory. The function name is then printed in the Listener window.

;(DEFUN Square (x)
 (* x x))
;Square
;(Square 5)
;25

;(DEFUN Cubed (y)
 (* y (* y y))
;Cubed
;(Cubed 5)
;125

;(DEFUN AVERAGE (W X Y Z)
  (/ (+ W X Y Z) 4)) 
;Average
;(Average 2 3 4 5)
;3.5

You might recognize "Average" from last month's Lisp Listener. One might imagine using defined functions inside other defined functions. If it was possible to have variables which have the same values in each procedure, then the version of Lisp used has what is called dynamic scoping. In this context the values of the variable are determined by the Lisp environment which is resident when the procedure is called. Experlisp, however, is lexically scoped. That means that variable values are local to each procedure. Two defined procedures can use the same labels for variables, but the values will not be considered as the same. Each variable is defined locally. This is in accordance to the Common Lisp standard. Lexical scoping makes it easier to debug someone elses'' programs. If you don't know what I mean yet, don't worry. This subject will come up again in more detail later.

Predicates

If no values are required by the defined function then "nil" or an empty list must follow the function name.

;(DEFUN Line ()
 (Forward 50))

The empty list obviously contains no atoms (I'll describe the above function, "Line" later in the section on bunnies). It is synonymous to the special term nil, which is considered by Lisp as the opposite of T or True. Nil is used in many other contexts.

;(cddr '( one two)) 
;nil              

In the above, the first cdr returns "two". The second cdr returns nothing, hence "nil". The values of true and false are returned by procedures called predicates. While nil represents a false condition, anything other then nil, including "T", is generally considered true. Please note that I used lowercase letters in the above. ExperLisp recognizes both upper and lowercase. I've been using uppercase only to make it clear within the text when I'm referring to Lisp

EQUAL is a predicate which checks the equality of two arguments. Note the arguments can be integers or symbols. If the two arguments are equal then "T" is returned. If they are not equal then "nil" is returned.

;(EQUAL try try)
;T

;(EQUAL 6732837 6732837)
;T

;(EQUAL 6732837 6732833)
;nil

;(EQUAL First Second)
;nil

ATOM checks to see if it's argument is a list or an atom. Remember, the single quote is used to indicate that what follows is a not evaluated as in the case of a list. Symbols are evaluated.

;(ATOM 'thing)
;T

;(ATOM thing)
;nil

;(ATOM (A B C D))
;nil

In the first of the above 'thing is an atom due to the single quote. In the second, thing is considered a symbol. A symbol is evaluated and contains a value or values as a list. In the third, (A B C D) is obviously a list.

LISTP checks if it's argument is a list.

;(LISTP '( 23 45 65 12 1))
;T

;(SETQ babble '(wd ihc wi kw))
;(LISTP babble)
;T
;(LISTP 'babble)
;nil

;(LISTP 'thing)
;nil

One interesting observation is that nil is both an atom and a list, ()=nil. Therefore ATOM and LISTP both return true for nil.

;(ATOM ())
;T


;(LISTP ())
;T

When one needs to know if a list is empty, NULL does the job.

;(NULL good)
;nil

;(NULL (X Y Z))
;nil

;(NULL ())
;T

;(NULL nil)
;T

NUMBERP checks if the argument that follows is or represents a number rather than a string.

;(NUMBERP 56.887)
;T

;(NUMBERP fifty-six)
;nil

;(SETQ fifty-six '(56))
;(NUMBERP fifty-six)
;T

Now for a real slick one. MEMBER tests whether or not an argument is a part of a list. An easy demonstration follows:

;(MEMBER 'bananas (apples pears  bananas))
;(apples pears bananas)
;(MEMBER 'grapes (apples pears bananas))
;nil
    

When the argument is a member, then the contents of the list are given. If not then nil is returned. MEMBER also checks symbols of lists.

;(SETQ fruit '(apples grapes pears))
;(MEMBER 'grapes fruit)
; (apples grapes pears)
;(MEMBER 'banana   fruit)
;nil

EVENP tests to see if an integer is even and MINUSP checks if an integer is negative. ODDP and PLUSP are not needed since they are simply opposite of the first two.

;(EVENP 2)
;T

;(EVENP (- 806 35))
;nil

;(MINUSP 25)
;nil

;(MINUSP (-34 86))
;T

In the second and fourth examples above the lists contained within are calculated prior to MEMBERP evaluation. (806-35=771 & 34-86=-52. There's a few more simple predicates such as NOT, <, >, and ZEROP. I'll discuss them along with conditionals next month. Now for something completely different.

Bunny Graphics

If you've ever learned Logo, the concept of Bunny graphics should sound familiar. As mentioned last month, the Bunny is Expertelligence's version of the Turtle. All one needs to do in order to make a Bunny move is to tell it to. FORWARD X initially moves the Bunny upwards on the screen for 'X' display pixels. A negative number initially moves it down. When one enters the following in the Listener window,

;(FORWARD 50)

the default graphics window (I'll discuss windows in more detail very soon in future installments) is then opened and the following is drawn:

RIGHT X aims the front of the line to the right by X degrees. If one then uses forward again the line moves in a different direction. For example:

 ;((RIGHT 50) (FORWARD 50))

or better yet

;(DEFUN Line 
 (RIGHT 50) (FORWARD 50))
;Line
;(Line)

After a line is moved, the end of the line remains where it was. If one made the Bunny move again the beginning of the new line would begin where the old left off. The original starting point is the graphics window default home position. This position is in the center of each graphics window when the window is first created. In order to return the Bunny to the original starting point one must use HOME.

;(HOME)

The following produces a much neater triangle:

(DEFUN Triangle ()
         (Penup) (Left 45)
         (Forward 10) (Pendown)
        (Right 90) (Forward 25)
        (Right 90) (Forward 50)
        (Right 135) (Forward 71)
       (Right 135) (Forward 25))

After the above is typed into the edit buffer the "Compile All" selection should be chosen from the Menu Bar. The source code in the Edit Buffer quickly inverts to white letters on a black background as if the whole file was selected for a moment. The function name "Triangle is then printed in the Listener window. If the user enters the following in the Listener Window a different triangle is drawn in the default Graphics Window:

;(Triangle)

If you Look at the in Triangle you will see a couple more Bunny commands. LEFT does the same as RIGHT but in the opposite direction. PENUP raises the Bunny's pen so that when the Bunny moves no lines are drawn. PENDOWN returns the Bunny to the drawing orientation. The first line of code in "Triangle" puts the Bunny off the Home position so that the drawn triangle will be centered on the screen. As mentioned earlier, the orientation of the bunny remains. The last line of code in "Triangle left the Bunny aimed at about 1:00 rather than the initial position, 12:00. If we were to make "Triangle" execute ten times without eliminating the Graphics Window the following would result:

In getting "Triangle" to execute recompilation of the code in the edit buffer is not necessary. To get the above one can type the function name into a list ten times within the Listener window. The following however, is easier:

;(Dotimes (a 10) (Triangle))

DOTIMES is very similar to the FOR...NEXT looping routine in BASIC. I'll discuss it next month in a description of iteration and recursion in ExperLisp.

If we wanted to use a three dimensional bunny then the following would be added before "Triangle" in the Edit Buffer window:

(SETQ curbun (new3dbun))
(Pitch 30) (Yaw 45) (Roll 50)

Something like the following is drawn after the source code is recompiled and "(Triangle)" is entered into the Listener Window:

CURBUN is a special symbol in ExperLisp which always refers to the Bunny cursor. NEW3DBUN is a special term which always changes CURBUN. The default Bunny is 2 dimensional. If one wanted the Spherical Bunny then the following would be entered into the beginning of the first version of "Triangle":

(SETQ curbun (newspbun))

This would then produce what follows:

In order to have the above drawn in a different orientation, different Bunny direction would be required. Windows, two and three dimensional Bunny graphics and toolbox graphics use the same X,Y coordinate system. Home is 0,0. Dual negative coordinates are situated towards the upper left corner. Dual positive coordinates are situated towards the lower right corner. The range is +32767 to -32768 for each dimension. In ExperLisp one can sometimes use the third dimension, as in the 3D sample of "Triangle". Negative Z values are behind Home, while positive Z values are in front. The following illustrates the coordinate system in ExperLisp:

Compiler Information

The ExperLisp disk contains three essential files; Compiler, LispENV and Experlisp. Compiler is not actually the entire Lisp compiler. It contains the information needed in generating all of the higher level Lisp syntactics, such as the Bunny graphics. LispENV stands for Lisp Environment and it is simply a duplication of Compile. LispENV contains information on how the Macintosh memory was organized by the programmer and ExperLisp during the previous session. It also contains information on the system configuration such as the number of disk drives, the amount of memory, etc. Sometimes LispENV can be messed up (i.e. by changing the variable table). When this happens one might not be able to start ExperLisp. In this case LispENV should be removed from the disk. Afterward, when ExperLisp is opened, Compiler generates a new LispENV. Compiler is not needed on the disk unless the LispENV is ruined. Deleting it will provide 100K more space on the disk. Before eliminating it from the disk however, be sure you have a backup as it is an essential file. The Experlisp file contains the assembly language routines which represent the lower level Lisp routines like CAR and CDR. It also allows access to the Macintosh toolbox routines and contains the Listener Window. One opens the Experlisp file in starting a programming session with ExperLisp. Another file on the disk is automatically loaded and activated when Experlisp is booted. It is labeled ªlispinit. The contents of this file can be added to so that when one boots up ExperLisp a program can be automatically executed. It can also do automatic configurations. However the contents of ªlispinit should not be changed since it configures the Macintosh memory for Exper- Lisp.

Next month I'll discuss a few more predicate procedures. I also hope to start discussing iteration, recursion and conditionals. If there is enough room left over I might also begin discussing how to access the toolbox graphics.

 

Community Search:
MacTech Search:

Software Updates via MacUpdate

How to get started with live.ly
One could be forgiven for thinking that there are already plenty of streaming video apps out there. It's just that the App Store charts would insist that you're mistaken. [Read more] | Read more »
Rodeo Stampede: Guide to all Savannah an...
A "gotta catch 'em all" joke seems appropriate here, even though we're talking animals in Rodeo Stampede and not pocket monsters. By now you've probably had plenty of rides, tamed some animals and built yourself a pretty nice zoo | Read more »
Is there cross-platform play in slither....
So you've sunken plenty of hours into crawling around in slither.io on your iPhone or iPad. You've got your stories of tragedy and triumph, the times you coiled four snakes at one time balanced out by the others when you had a length of more than... | Read more »
Rodeo Stampede guide to running a better...
In Rodeo Stampede, honing your skills so you can jump from animal to animal and outrun the herd as long as possible is only half the fun. Once you've tamed a few animals, you can bring them home with you. [Read more] | Read more »
VoxSyn (Music)
VoxSyn 1.0 Device: iOS Universal Category: Music Price: $6.99, Version: 1.0 (iTunes) Description: VoxSyn turns your voice into the most flexible vocal sound generator ever. Instantly following even subtle modulations of pitch and... | Read more »
Catch Battleplans on Google Play from Ju...
Real-time strategy title Battleplans is due for release on Google Play on June 30th, following its release for iOS systems last month. With its simple interface and pretty graphics, the crowd-pleaser brings a formerly overlooked genre out for the... | Read more »
iDoyle: The interactive Adventures of Sh...
iDoyle: The interactive Adventures of Sherlock Holmes - A Scandal in Bohemia 1.0 Device: iOS Universal Category: Books Price: $1.99, Version: 1.0 (iTunes) Description: Special Release Price $1.99 (Normally $3.99) | Read more »
Five popular free apps to help you slim...
Thanks to retail and advertising, we're used to thinking one season ahead. Here we are just a week into the summer and we're conditioned to start thinking about the fall. [Read more] | Read more »
How to ride longer and tame more animals...
It's hard to accurately describe Rodeo Stampede to people who haven't seen it yet. It's like if someone took Crossy Roadand Disco Zoo and put them in a blender, yet with a unique game mechanic that's still simple and fun for anyone. [Read more] | Read more »
Teeny Titans - A Teen Titans Go! Figure...
Teeny Titans - A Teen Titans Go! Figure Battling Game 1.0.0 Device: iOS Universal Category: Games Price: $3.99, Version: 1.0.0 (iTunes) Description: Teeny Titans, GO! Join Robin for a figure battling RPG of epic proportions! TEENY... | Read more »

Price Scanner via MacPrices.net

Haven App Launches New Age Of Wirless 911 Eme...
Haven from RapidSOS represents a transformation in access to emergency services from a phone call solely dependent on voice to a robust data connection for voice, text, medical/demographic data.... Read more
Cu Parachute 1.1 Retirement Success PLanning...
Tucson, Arizona based Indie developer Bradley McCarthy has announce the release of Cu (Copper) Parachute 1.1 for iPhone, iPad, and iPod touch devices — a tool with which users can continuously... Read more
Research and Markets Releases iPhone 6s Plus...
A new analysis report from Dublin-based Research and Markets observes that with the iPhone 6s Plus, Apple introduced a new rear camera module. The new device has similar structure and technology than... Read more
Apple refurbished Retina MacBook Pros availab...
Apple has Certified Refurbished 2015 13″ and 15″ Retina MacBook Pros available for up to $380 off the cost of new models. An Apple one-year warranty is included with each model, and shipping is free... Read more
Apple refurbished 11-inch MacBook Airs availa...
Apple has Certified Refurbished 11″ MacBook Airs (the latest models), available for up to $170 off the cost of new models. An Apple one-year warranty is included with each MacBook, and shipping is... Read more
Apple price trackers, updated continuously
Scan our Apple Price Trackers for the latest information on sales, bundles, and availability on systems from Apple’s authorized internet/catalog resellers. We update the trackers continuously: - 15″... Read more
12-inch 32GB and 128GB WiFi iPad Pros on sale...
B&H Photo has 12″ 32GB & 128GB WiFi iPad Pros on sale for up to $80 off MSRP, each including free shipping. B&H charges sales tax in NY only: - 12″ Space Gray 32GB WiFi iPad Pro: $749 $50... Read more
6-core Mac Pro available for $3799, save $200
B&H Photo has the 6-core 3.5GHz Mac Pro on sale for $200 off MSRP. Shipping is free, and B&H charges sales tax in NY only: - 3.5GHz 6-core Mac Pro (sku MD878LL/A): $3799.99, $200 off MSRP Read more
Apple refurbished Apple TVs available for up...
Apple has Certified Refurbished 32GB and 64GB Apple TVs available for up to $30 off the cost of new models. Apple’s standard one-year warranty is included with each model, and shipping is free: -... Read more
13-inch Retina MacBook Pros on sale for up to...
B&H Photo has 13″ Retina MacBook Pros on sale for up to $150 off MSRP. Shipping is free, and B&H charges NY tax only: - 13″ 2.7GHz/128GB Retina MacBook Pro: $1179 $120 off MSRP - 13″ 2.7GHz/... Read more

Jobs Board

*Apple* iPhone 6s and New Products Tester Ne...
…we therefore look forward to put out products to quality test for durability. Apple leads the digital music revolution with its iPods and iTunes online store, Read more
*Apple* iPhone 6s and New Products Tester Ne...
…we therefore look forward to put out products to quality test for durability. Apple leads the digital music revolution with its iPods and iTunes online store, Read more
*Apple* iPhone 6s and New Products Tester Ne...
…we therefore look forward to put out products to quality test for durability. Apple leads the digital music revolution with its iPods and iTunes online store, Read more
*Apple* Retail - Multiple Positions, Towson...
Job Description: Sales Specialist - Retail Customer Service and Sales Transform Apple Store visitors into loyal Apple customers. When customers enter the store, Read more
*Apple* iPhone 6s and New Products Tester Ne...
…we therefore look forward to put out products to quality test for durability. Apple leads the digital music revolution with its iPods and iTunes online store, Read more
All contents are Copyright 1984-2011 by Xplain Corporation. All rights reserved. Theme designed by Icreon.