• Share
  • Email
  • Embed
  • Like
  • Save
  • Private Content
LISP:Symbols and packages in lisp
 

LISP:Symbols and packages in lisp

on

  • 2,409 views

LISP:Symbols and packages in lisp

LISP:Symbols and packages in lisp

Statistics

Views

Total Views
2,409
Views on SlideShare
2,402
Embed Views
7

Actions

Likes
1
Downloads
0
Comments
0

1 Embed 7

http://www.slideshare.net 7

Accessibility

Categories

Upload Details

Uploaded via as Microsoft PowerPoint

Usage Rights

© All Rights Reserved

Report content

Flagged as inappropriate Flag as inappropriate
Flag as inappropriate

Select your reason for flagging this presentation as inappropriate.

Cancel
  • Full Name Full Name Comment goes here.
    Are you sure you want to
    Your message goes here
    Processing…
Post Comment
Edit your comment

    LISP:Symbols and packages in lisp LISP:Symbols and packages in lisp Presentation Transcript

    • Symbols and Packages in Lisp
    • A lisp symbol is a data object that has three user-visible components:
      The property list is the list that effectively provides each symbol with many modifiable named components.
      The print name must be the string, which is the sequence of characters used to identify the symbol.
      The package cell must refer to package object. A package is a data structure used to locate a symbol once given the symbols name.
      A symbol is uniquely identified by its name only when considered relative to a package.
    • overview
      The property List
      The Print name
      Creating symbols
      Packages
      Translating strings to Symbols
      Export and import symbols
      Name conflicts
      Built-in packages
    • The property list
      A property list contains two or more entries, with each entry associated with the key called the indicator.
      A property list is very much similar to an association list in its purpose, but the difference is that a property list is an object with unique identity.
      A property list is implemented as a memory cell containing a list with even number(possibly zero) of elements.
      Each pair of elements in the list constitutes an entry: the first item is the indicator, the second item is the value.
      When the symbol is created its property list is initially empty, properties are created by using get within a set form.
    • get symbol indicator1 &optional default
      Get searches the property list of the symbol for an indicator eq to indicator1. if one
      is found, the corresponding value is returned, else default is returned.
      Suppose the property list of foo is ( bar t baz 3 hunoz “huh?”)
      Then ex: (get ‘foo ‘baz)3
      (get ‘foo ‘hunoz)”Huh?”
      (get ‘foo ‘Zoo) nil
    • remprop symbol indicator1
      This removes the symbol from the property with an indicator eq to indicator1.
      Suppose if property foo was (color blue height 6.3)
      After using (remprop ‘foo ‘height) the property becomes (color blue)
      Returns the list that contains the property pairs of the symbol, the contents of the property lists are extracted and returned.
      symbol-plist symbol
    • getf place indicator1 &optional default
      getf searches for the property list stored in place for an indicator eq to indicator1, if found returns the corresponding value, else returns the default or nil.
      remf removes from the property list stored in the place the property with an indicator eq to indicator1 . The property indicator and the corresponding value are removed by destructively splicing the property list.
      remf place indicator1
    • get-properties place indicator-list
      get-properties searches the property list stored in place for any of the indicators in the indicator-list untill it finds the first property in the property list.
      Get-properties returns three values:
      • The first two values are indicator and the value of the first property whose indicator was in indicator list.
      • The third is the tail of the property whose tail is the indicator.
    • The Print Name
      Every symbol has an associated string called the print name used for its external representation.
       returns the print name of the symbol syn.
      Ex: (symbol-name ‘xy) “XY”
      symbol-name syn
    • Creating Symbols
      Symbols are used in two different ways:
      An interned symbol is one that is indexed by its print name in its catalog called a package.
      An uninterned symbol is one that is used simply as a data object with no special cataloguing.
      An uninterned symbol is printed with #: followed by its print name.
      make-symbol print-name creates a new uninterned symbol whose print name is the string print-name.
    • copy-symbol sym &optional copy-props returns a new uninterented symbol with the same name as of the sym.
      If copy-props is non-nil, then the initial value and function definition of the new symbol will be the same as those of the sym, and the property list of the new symbol will be a copy of sym’s.
      gensym &optional x gensym invents a print name and creates a new symbol with that print name. it returns new uninterented symbol.
      The invented new print name consists of a prefix( which defaults to G) , followed by decimal representation of a number.
      The number is increased by 1 every time gensym is called.
    • gentamp &optional prefix package gentemp like gensym, creates and returns new symbol. The only difference is gentemp interns the symbol in the package.
      Symbol-package sym returns the contents of the package cell of that symbol. This will be a package object or nil.
      Keywordp object returns true if the argument is a symbol and that symbol is a keyword.
    • Packages
      A package is a data structure that is used for mapping the print names (strings) to symbols.
      The string-to symbol mappings available in the given package are divided into two classes:
      • external( to be chosen carefully and are advertised to users of the package)
      • internal( normally hidden from other packages).
      A symbol is said to be interned in a package if it is accessible in that package and also is owned.
    • Consistency rules
      In dealing with package system, it is useful to follow the consistency rules:
      • Read-read consistency: reading the same print name always results in the same(eq) symbol.
      • Print-read consistency: An interned symbol always as a sequence of characters that, when read back in, yields the same (eq) symbol.
      • Print-print consistancy:if two interned symbols are not eq, then their printed representations will be different sequence of characters.
    • Package names
      Each package is assigned a name when it is created, though can be changed later.
      The function find-package translates a package name or nickname into associated package.
      The function package-name returns the name of the package.
      The function package-nicknames returns the list of all the nicknames for a package.
    • Translating strings to symbols
      Whatever packet object is currently the value of *package* is referred to as current-package.
      When the lisp reader has obtained a string of characters thought to name a symbol, that name is looked up in the current package.
      If the name is found, the corresponding symbol is returned, if the name is not found, a new symbol is created for it and is placed in the current package as an internal symbol.
      External symbol in some other package is referred through the qualified name, consisting of the package name, then a colon, then the name of the symbol.
      Ex: editor: buffer refers to external symbol buffer accessible in the package named editor.
    • The following four symbol qualifying syntaxes are used:
      foo: bar look up bar among the external symbols of the package named foo, printed when the symbol bar is external in its home package foo and is not accessible in the current package.
      foo::bar interns bar as if foo is the current page, printed when symbol bar is internal in its home page foo, and is not accessible in the current page.
      :bar interns bar as the external symbol in the keyword package and makes it evaluate to itself. Printed if the home page of the symbol bar is keyword.
      #:bar creates a new uninterned symbol named BAR. Printed when the symbol BAR is uninterented(has no home package )
    • Exporting and Importing Symbols
      Symbols from one package may be exported to imported from other packages by the use of functions export and import respectively.
      (import ‘editor:buffer) takes the external symbol named buffer in the editor package and adds it to the current package as an internal symbol.
      A symbol is said to be shadowed by another symbol in some package if the first symbol would be accessible by inheritance if not for the presence of the second symbol.
    • To import a symbol without the possibility of getting the error because of shadowing use the function shadowing-import.
      Use package causes a package to inherit all of the external symbols from some other package.
      Unlike import, use-package does not cause any of the new symbols to be present in the current package, but makes them accessible by inheritance.
    • The function export takes the symbol that is accessible in some specified package, and makes it an external symbol of that package.
      If the symbol is directly present as an internal symbol, the it is imply changed to external status.
      If the symbol is accessible via use-package, the symbol is first imported to the package and then exported.
      If the same name is being used more than once name-conflicts may occur, so care has to be taken to avoid any such name conflicts.
    • Built-in Packages
      Common lisp built-in packages:
      Lisp contains the primitives of the common lisp system.
      Its external symbols include all of the user defined functions such as car, car and *package*.
      user package is the current package at the time a Common Lisp system starts up.
      common-lisp package contains the primitives of the ANSI commomLisp system.
      common-lisp-user is by default the current package at the time, an ANSI common Lisp system starts up.
    • Built-in packages
      Keyword package contains all the keywords used by built-in or user-defined Lisp functions.
      System package name is reserved to the implementation.
      This is used to contain names of implementation-dependent system-interface functions. This package uses lisp and has the nickname sys.
    • Visit more self help tutorials
      Pick a tutorial of your choice and browse through it at your own pace.
      The tutorials section is free, self-guiding and will not involve any additional support.
      Visit us at www.dataminingtools.net