ПК-ЛИСП

PC-LISP — это реализация диалекта Франца Лиспа Питера Эшвуда-Смита.

Версия 2.11 была выпущена 15 мая 1986 года. Текущую версию можно загрузить по внешней ссылке ниже.

В настоящее время PC-LISP портирован на 32- и 64-разрядные версии Linux, Mac и Windows.

Обратите внимание, что диалект Франца LISP был непосредственным портативным преемником ITS- версии Maclisp и, возможно, наиболее близок к LISP из Стивена Леви книги «Хакеры» с точки зрения практичности в использовании. PC-LISP хорошо работает в эмуляторах DOS и в современных версиях Windows. Поскольку PC-LISP реализует Franz LISP, он является предшественником современного Common Lisp с динамической областью действия . Таким образом, это исторически важная реализация.

Пример [ править ]

В сеансе выполняется следующий код, который демонстрирует динамическую область видимости в Franz LISP. Обратите внимание, что PC-LISP не реализует let специальная форма, которую Emacs Lisp предоставляет для локальных переменных. Вместо этого все переменные являются тем, что язык на основе ALGOL назвал бы «глобальными». Первым диалектом Лиспа, включившим правила области видимости АЛГОЛА (называемые лексической областью видимости ), был Scheme , хотя язык Common Lisp также добавил эту функцию.

;; Demonstration of dynamic scoping

;; This is a "global" variable
(setq myglobal "this is my global variable")

;; Another global variable
(setq yourglobal "this is my global variable")

;; a function which prints the symbols
(defun dosomething (mine yours)
  (princ " * Mine is  - ")
  (princ mine)
  (princ "\n")
  (princ " * Yours is - ")
  (princ yours)
  (princ "\n"))

;; override the symbols
(defun nolocals ()
  (setq mine "I have set mine to a new value")
  (setq yours "I have set yours to a new value")
  (dosomething mine yours))

(defun main ()
  ;; define two symbols
  (setq mine myglobal)
  (setq yours yourglobal)
  
  ;; print them
  (princ "calling dosomething\n")
  (dosomething mine yours)
  (princ "calling nolocals\n")
  (nolocals)
  (princ "calling dosomething again\n")
  (dosomething mine yours))

Еще один пример, показывающий использование обратных кавычек и возможности LISP. Это пример дифференциации.

; D(e,X) -
;          Will compute the symbolic derivative of expression e with respect
; to variable X. We take the expression in standard lisp prefix form and will
; use the following rules of differentiation.
;
;         D(x)    = 1
;         D(a)    = 0
;         D(ln u) = D(u)/u 
;         D(u+v)  = D(u)+D(v)
;         D(u-v)  = D(u)-D(v)
;         D(u*v)  = D(u)*v + u*D(v)
;         D(u/v)  = D(u)*v + (u*D(v))/v^2
;         D(v^u)  = (v^u)*(u*D(v)/v + D(u)*ln(v))
;
(defun  D(e X &aux u v)
 (cond ((equal e X) 1) 
       ((atom e) 0)           
       (t (setq u (cadr e) v (caddr e))
	  (caseq (car e)
		 (ln `(/ ,(D u X) ,u)) 
		 (+  `(+ ,(D u X) ,(D v X)))
		 (-  `(- ,(D u X) ,(D v X)))
		 (*  `(+  (* ,(D u X) ,v) (* ,(D v X) ,u)))
		 (/  `(-  (/ ,(D u X) ,v)
			  (/ (* ,u ,(D v X)) (^ ,v 2))))
		 (^  `(* ,e  (+ (/ (* ,v ,(D u X)) ,u)
				   (* ,(D v X) (ln ,u)))))
		 (t (princ "ERROR") (exit)]

Ссылки [ править ]

Внешние ссылки [ править ]

ПК-LISP на GitHub