1 / 9

JAZYKY U MELEJ I NTELIGENCIE

JAZYKY U MELEJ I NTELIGENCIE. Hist ória LISPu Marian.Mach @ tuke.sk http ://neuron.tuke.sk/~machm Febru ár , 2011. Zrodenie Lispu. 1956 - John McCarthy - p rv é myšlienky o jazyku ktorý sa stal Lispom 1958 - začala implementácia => Lisp 1.0

nona
Télécharger la présentation

JAZYKY U MELEJ I NTELIGENCIE

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. JAZYKY UMELEJ INTELIGENCIE História LISPu Marian.Mach@tuke.sk http://neuron.tuke.sk/~machm Február, 2011 Katedra kybernetiky a umelej inteligencie FEI, TU v Košiciach

  2. Zrodenie Lispu • 1956 - John McCarthy - prvé myšlienky o jazyku ktorý sa stal Lispom • 1958 - začala implementácia => Lisp 1.0 • 1960: Recursive Functions of Symbolic Expressions and their Computation by Machine (Part I) [Communication of the ACM] • => matematická notácia pre počítačové programy • založené na lambda kalkule (formálny systém pre definíciu a aplikáciu funkcií) Katedra kybernetiky a umelej inteligencie FEI, TU v Košiciach

  3. Lisp 1.0 • Prvý interpreter: S.Russel – preniesol eval do strojového kódu IBM 704(vyhodnocovanie s-výrazov) • 1960 - Lisp I Programmer manual • 1962 - kompilátor Katedra kybernetiky a umelej inteligencie FEI, TU v Košiciach

  4. Vplyv Lispu • Vznikol ‘Lispovský’ model • if-then-else • dátové typy ‘funkcia’ a ‘symbol’ • premenná je pointer, hodnota má typ • rekurzia • garbage collector • program je strom výrazov • stála dostupnosť jazyka (prepojenie read - compile - run) Any sufficiently complicated C or Fortran program contains an ad hoc, informally-specified, bug-ridden, slow implementation of half of Common Lisp.[Greenspun's Tenth Rule, ~1993] Katedra kybernetiky a umelej inteligencie FEI, TU v Košiciach

  5. Vývoj Lispu • Lisp 1.0, Lisp 1.5 • v pol. 60-tych rokovprenesený na rôzne architektúry: Univac M 460, IBM 7090, PDP-1, PDP-6 • 70-te a 80-te roky: chaos verzií • MacLisp, InterLisp, Standard Lisp, Elisp, Lisp Machine Lisp, ZetaLisp, Franz Lisp, VAX Interlisp, Lisp360, Lisp370, .... • 1975: Scheme (ANSI štandard v 1991) • 1981: Common Lisp • 1984 - ‘Common Lisp: The Language’ • 1992 - draft štandardu, 1994 - ANSI štandard • ~1990: Dylan 2007: Clojure 2008: Arc Katedra kybernetiky a umelej inteligencie FEI, TU v Košiciach

  6. Lispovské stroje • Peter Deutch (1973) - návrh jednoužívateľského mikropočítača špecializovaného pre beh Lispu a lispovského vývojového prostredia • MIT AI LAB - CONS (1975), CADR (1978) - pre komercionalizáciu vznikli firmy: • Lisp Machine Inc. - klony CADR • Symbolics - klony CADR, 3600 (1982), ďalšie rady 36xx • zatvoril ‘maintenance facility’ v 2005 • Xerox PARC - Alto (1973), Dolphin (1979), Dandelion (1981), Dorado (1983) • TI - Explorer (1983), Explorer II (1987) Katedra kybernetiky a umelej inteligencie FEI, TU v Košiciach

  7. Symbolics: Lispovské stroje Katedra kybernetiky a umelej inteligencie FEI, TU v Košiciach

  8. Lisp na KKUI • prof. Ing. Tomáš Sabol, CSc. • KKUI - použitie v medzinárodných projektoch • začiatky: 1986 na SM3 • aktívne obdobie: druhá polovica 90-tych rokov • Výuka: Teoretické základy UI • Projekty: • ENCODE - ENvironment for COnfiguration DEsign (Allegro CL + Windows) 1995-98 • ENRICH - Enriching Representations of Work to Support of Organisational Learning (Allegro CL + Linux) Katedra kybernetiky a umelej inteligencie FEI, TU v Košiciach

  9. TIOBE Programming Community Index • založený na výbere z Google, MSN a Yahoo! • Sleduje 100 jazykov http://www.tiobe.com November 2005 Február 2011 Katedra kybernetiky a umelej inteligencie FEI, TU v Košiciach

More Related