OpenLisp

מתוך ויקיפדיה, האנציקלופדיה החופשית
OpenLisp
פרדיגמות תכנות פונקציונלי, תכנות אימפרטיבי, תכנות מונחה-עצמים, תכנות פרוצדורלי, תכנות רפלקטיבי, מטא תכנות
תאריך השקה 1988
מתכנן כריסטיאן ג'וליאן
מפתח כריסטיאן ג'וליאן
גרסה אחרונה 10.9.0‏ (8במאי 2020.)
טיפוסיות דינמית,חזקה
הושפעה על ידי Lisp,‏ ISLISP
http://www.openlisp.org/home
לעריכה בוויקינתונים שמשמש מקור לחלק מהמידע בתבנית

OpenLisp היא שפת תכנות ממשפחת שפות ה־Lisp. היא פותחה על ידי כריסטיאן ג'וליאן מתאגיד Eligis בשנת 1988. היא כתובה בשפת C ובשפת Lisp, ורצה על רוב מערכות ההפעלה הפופולריות. OpenLisp היא מרובת פרידגמות, כלומר, השפה תומכת במספר עקרונות תכנותיים שונים (למשל תכנות פונקציונלי, תכנות אימפרטיבי ותכנות מונחה-עצמים). היות שאחת ממטרות השפה היא להשתלב באפליקציות בשפות תכנות פופולריות יותר כגון C, ‏C++,‏ Java,‏ Visual Basic וכו', OpenLisp משומשת פעמים רבות כספריה (בשפות מבית מיקרוסופט – כ־dll).

ממשק משתמש[עריכת קוד מקור | עריכה]

ניתן להריץ את OpenLisp במצב קונסולה – במערכת ההפעלה windows בשורת הפקודה ובמערכות הפעלה ממשפחת Unix כגון MacOS ו־Linux ב־Terminal.

;; OpenLisp v10.x.y (Build: XXXX) by C. Jullien [Jan 01 20xx - 10:49:13]
 ;; Copyright (c) Eligis - 1988-20xx.
 ;; System 'sysname' (64-bit, 8 CPU) on 'hostname', ASCII.
 ;; God thank you, OpenLisp is back again!
 ? (fib 20)
 ;; elapsed time = 0.003s, (0 gc).
 = 6765
 ? _

בנוסף, ניתן לכתוב ולהריץ את OpenLisp באמצעות עורך הטקסט Emacs, או באמצעות סביבת פיתוח משולבת (תוכנת מחשב שמסייעת בתהליך התכנות וכוללת בדרך כלל עורך טקסט, מהדר, דיבאגר וכו') אשר תומכת בכך כגון LispIDE.

היסטוריה[עריכת קוד מקור | עריכה]

אבני דרך בפיתוח OpenLisp
שנה גרסה פיצ'ר עיקרי
1988 1.0 OpenLisp החלה בשם MLisp (קיצור של Minimal Lisp) על מנת לערוך ניסויים על רעיונות משפת ISLISP
1993 3.3 שם השפה שונה ל-OpenLisp, ונוצר ההיסב הראשון למכונה של 64 סיביות (DEC Alpha OSF/1)
1994 4.0 השימוש המסחרי הראשון
1995 4.5 תמיכה ב-Socket Streams
1997 5.7 OpenLisp הפכה לשפה הראשונה ממשפחת Lisp אשר מימשה את התקן ISLISP ISO/IEC
1998 5.8 תמיכה אופציונלית ביוניקוד
2000 6.6 מהירות השפה הוכפלה פי 2.
2003 7.5 Lisp to C backend; able to compile an application with many Lisp files to a standalone executable; speed improved from 10x to 20x
2007 8.7 Changes to match ISO/IEC 13816:2007(E) revision
2010 9.2 Native integer arbitrary-precision arithmetic support
2020 10.9 הגרסה האחרונה

פיצ'רים[עריכת קוד מקור | עריכה]

שרת אינטרנט ב-OpenLisp[עריכת קוד מקור | עריכה]

*הדוגמה הבאה נלקחה מהאתר הרשמי של מפתח שפת OpenLisp.

#!/usr/bin/env openlisp -odsp
<?xml version="1.0" encoding="UTF-8"?>
<!-- OpenLisp Server Page Sample - (c) C. Jullien 2001/09/12 -->

<!DOCTYPE html
 PUBLIC "-//W3C//DTD XHTML 1.0 Frameset//EN"
 "DTD/xhtml1-frameset.dtd">

<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">

<head>
 <title>OpenLisp Server Page Sample</title>
 <meta http-equiv="Content-Type" content="text/html; charset=windows-1252" />
 <meta http-equiv="Pragma" content="no-cache" />
 <!-- meta http-equiv="refresh" content="5" -->
 <meta name="Generator" content="OpenLisp Server Page" />
 <meta name="robots" content="noindex,follow" />
</head>

<body>
 <p>
 <?openlisp

 (require 'datetime)

 (let ((val (machine-info)))
 (format (standard-output) "~A on ~A~%" (current-date) (elt val 1)))
 ?>
 </p>
 <p>
 Openlisp v<?openlisp (prin (version)) ?> Server Page, computes Fib serie:
 <br />
 <br />
 <table border = "1"
 bordercolor = "#000000"
 cellpadding = "4"
 cellspacing = "1"
 >
 <tbody>
 <?openlisp

 ;; nice way to WEB around!!!

 (require 'cgi) ;; not really needed for this sample

 (defun fib (n)
	;; Standard function with integer argument
	(cond ((= n 1) 1)
 ((= n 2) 1)
 (t (+ (fib (1- n)) (fib (- n 2))))))

 (for ((i 1 (1+ i)))
 ((> i 20))
 (format (standard-output)
 "<tr><td>(fib ~D)</td><td>~D</td></tr>~%" i (fib i)))

 ?>
 </tbody>
 </table>
 </p>
</body>

</html>

בקטע הקוד לעיל, שילבנו את OpenLisp ב-HTML, כתבנו באופן רקורסיבי את סדרת פיבונאצ'י, והשתמשנו בפעולה זו. יש לשים לב כי בסביבה זו נכתוב את הקוד ב-OpenLisp בתוך התגית:

<?openlisp

?>

היסבים[עריכת קוד מקור | עריכה]

משמעות המושג היסב במדעי המחשב הוא מימוש תוכנה בפלטפורמה מסוימת. לתוכנות עם היסבים למערכות הפעלה רבות, ישנו קהל משתמשים גדול יותר.

ל-OpenLisp ישנם יותר מ-90 היסבים[1] במערכות הפעלה ופלטפורמות שונות, כגון Windows, רוב מערכות ההפעלה ממשפחת יוניקס (במשפחה זו כלולים MacOS ולינוקס), DOS ועוד.

מהדר[עריכת קוד מקור | עריכה]

דוגמה לקוד מקור[עריכת קוד מקור | עריכה]

רקורסיה במדעי המחשב בדרך כלל מתייחסת לקריאה לזימון של הפעולה בתוך הפעולה עצמה, בדרך כלל בהינתן תנאי עצירה לסיום הקריאות.

הגדרת פעולה רקורסיבית לסדרת פיבונאצ'י ב-OpenLisp:

(defun fib (n)
 (cond ((eq n 1) 1)
 ((eq n 2) 1)
 (t (+ (fib (- n 1)) (fib (- n 2))))))

פעולה זו תקבל מקום (אינדקס) בסדרת פיבונאצ'י ותחזיר את הערך במקום זה. בכל הרצה של הפעולה, אם האינדקס הנוכחי n שווה ל-1 או ל-2, ערך הביטוי יהיה 1. אחרת, הביטוי יצטמטם לסכום הזימון של הפעולה עם אינדקס n-1 וזימון של הפעולה עם אינדקס n-2, שכן זו ההגדרה הרקורסיבית של סדרת פיבונאצ'י: כל איבר שווה לסכום האיבר הקודם והאיבר הקודם לאיבר הקודם. ההתניה מבוצעת באמצעות אופרטור cond (המקביל של המילה השמורה "if" לצורך התניות בחלק מניבי Lisp). המהדר מתרגם את קוד המקור לקוד ביניים, וכן מבצע אופטמיזציה בטכניקת Peephole Optimization. מצורף קוד הביניים לאחר האופטמיזציה:

 ((fentry fib 1 0 0)
 (param 0)
 (jeq _l004 '1)
 (jneq _l003 '2)
 (move a1 '1)
 (return)
 _l003
 (gsub1 a1)
 (recurse 1)
 (move a2 a1)
 (param 0)
 (gsub a1 '2)
 (recurse 1)
 (gadd a2 a1)
 _l004
 (return)
 (end))

לאחר מכן, מתורגם קוד הביניים לשפת התכנות C:

static POINTER
OLDEFCOMPILED1(olfib_00, p1) {
 POINTER a1;
 POINTER VOLATILE a2;

 ollapenter(SN_OLFIB_00);
 a1 = p1;
 if (eq(a1, olmakefix(1))) goto _l004;
 if (!eq(a1, olmakefix(2))) goto _l003;
 ollapleave(SN_OLFIB_00);
 return olmakefix(1);
_l003:
 a1 = ollapgsub(a1, olmakefix(1));
 a2 = olfib_00(a1);
 a1 = ollapgsub(p1, olmakefix(2));
 a1 = olfib_00(a1);
 a1 = ollapgadd(a2, a1);
_l004:
 ollapleave(SN_OLFIB_00);
 return a1;
}

משפחת שפות Lisp[עריכת קוד מקור | עריכה]

ציר זמן של פיתוח ניבי Lisp
1955 1960 1965 1970 1975 1980 1985 1990 1995 2000 2005 2010 2015 2019
LISP 1, 1.5, LISP 2(abandoned)
Maclisp
Interlisp
Lisp Machine Lisp
Scheme R5RS R6RS R7RS small
NIL
Franz Lisp
Common Lisp
Le Lisp
T
Chez Scheme
Emacs Lisp
AutoLISP
PicoLisp
EuLisp
ISLISP
OpenLisp
PLT Scheme Racket
GNU Guile
Visual LISP
Qi, QiII Shen
Clojure
Arc
LFE
Hy

מוסכמות כתיבה[עריכת קוד מקור | עריכה]

אורך שורת הקוד[עריכת קוד מקור | עריכה]

אם כי ניתן לכתוב מספר בלתי מוגבל של תווים בשורה, מומלץ לכתוב עד כ-80 תווים בשורה.

מילות שמורות ופעולות[עריכת קוד מקור | עריכה]

*נלקח מן הדוקומנטציה של OpenLisp.

Symbol slot Define form Access form Modification form Test form Unbound form
name - symbol-name - - -
property list - symbol-plist set-symbol-plist - -
package defpackage symbol-package set-symbol-package - -
function defun symbol-function set-symbol-function fboundp fmakunbound
macro defmacro macro-function set-macro-function macro-function fmakunbound
dynamic value defdynamic symbol-value set-symbol-value boundp makunbound
global value defglobal symbol-global set-symbol-global gboundp gmakunbound
constant value defconstant symbol-global - constantp gmakunbound

פעולות מובנות ב-OpenLisp[עריכת קוד מקור | עריכה]

<set symbol value) -> <object)

פעולת set משנה את הערך של משתנה דינמי בשם המשתנה (symbol) לערך הנתון (value).

(<concat symbol1 … symbolN) -> <symbol)

concat (מהמילה concatenate) – מחזיר את השרשור של הערכים המוכנסים לפעולה. שרשור היא פעולה בינארית אשר מאגדת את שני האופרנדים. לדוגמה, כאשר נשרשר את המילה hello עם המילה world נקבל helloworld.

קישורים חיצוניים[עריכת קוד מקור | עריכה]

OpenLisp, כריסטיאן ג'וליאן

הערות שוליים[עריכת קוד מקור | עריכה]