{"id":55281,"date":"2020-01-17T00:00:00","date_gmt":"2020-01-16T21:00:00","guid":{"rendered":"https:\/\/prohoster.info\/blog\/blog_prohoster\/chto-sdelalo-lisp-osobennym"},"modified":"2020-02-18T14:03:23","modified_gmt":"2020-02-18T11:03:23","slug":"chto-sdelalo-lisp-osobennym","status":"publish","type":"post","link":"https:\/\/prohoster.info\/pl\/blog\/news\/chto-sdelalo-lisp-osobennym","title":{"rendered":"Co sprawi\u0142o, \u017ce Lisp by\u0142 wyj\u0105tkowy","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"

«Najwi\u0119kszy z kiedykolwiek stworzonych j\u0119zyk\u00f3w programowania<\/i>«
\n \u2014 Alan Kay, \u00abon Lisp\u00bb<\/p><\/blockquote>\n

\n\"Co
\n
\nKiedy McCarthy opracowa\u0142 Lisp pod koniec lat 50., r\u00f3\u017cni\u0142 si\u0119 on radykalnie od istniej\u0105cych j\u0119zyk\u00f3w, z kt\u00f3rych najwa\u017cniejszym by\u0142 Fortran<\/a><\/noindex>.
\n<\/a><\/noindex>
\nLisp wprowadzi\u0142 dziewi\u0119\u0107 nowych idei:<\/p>\n

1. Wyra\u017cenia warunkowe (Conditionals)<\/b>. Wyra\u017cenia warunkowe to konstrukcja if-then-else. Teraz uwa\u017camy je za oczywiste. Zosta\u0142y one wynalezione<\/a><\/noindex> przez McCarthy'ego w czasie opracowywania LISP. (Fortran w tym czasie mia\u0142 tylko instrukcje goto, \u015bci\u015ble zwi\u0105zane z instrukcj\u0105 warunkow\u0105 opart\u0105 na sprz\u0119cie.) McCarthy, b\u0119d\u0105c w komitecie Algol, wprowadzi\u0142 wyra\u017cenia warunkowe do Algol, sk\u0105d rozprzestrzeni\u0142y si\u0119 na inne j\u0119zyki.<\/p>\n

2. Typy funkcjonalne (A function type)<\/b>. W Lispie funkcje s\u0105 obiektami pierwszej klasy \u2014 s\u0105 typem danych, tak jak liczby, ci\u0105gi znak\u00f3w itd., maj\u0105 reprezentacj\u0119 tekstow\u0105, mog\u0105 by\u0107 przechowywane w zmiennych, mog\u0105 by\u0107 przekazywane jako argumenty itd. <\/p>\n

3. Rekurencja (Recursion)<\/b>. Rekursja, oczywi\u015bcie, istnia\u0142a jako koncepcja matematyczna przed Lispem, ale Lisp by\u0142 pierwszym j\u0119zykiem programowania, kt\u00f3ry j\u0105 wspiera\u0142. (Mo\u017cna to uzna\u0107 za wynik stworzenia funkcji jako obiekt\u00f3w pierwszej klasy.)<\/p>\n

4. Nowa koncepcja zmiennych (A new concept of variables)<\/b>. W Lispie wszystkie zmienne s\u0105 efektywnymi wska\u017anikami. Warto\u015bci s\u0105 tym, co maj\u0105 typy, a nie zmienne, a przypisanie lub wi\u0105zanie zmiennych oznacza kopiowanie wska\u017anik\u00f3w, a nie tego, na co one wskazuj\u0105.<\/p>\n

5. Garbage-collection (Garbage-collection)<\/b>.<\/p>\n

6. Programy sk\u0142adaj\u0105 si\u0119 z wyra\u017ce\u0144 (Programs composed of expressions)<\/b>. Programy w Lispie to drzewa wyra\u017ce\u0144, z kt\u00f3rych ka\u017cde zwraca warto\u015b\u0107. (Niekt\u00f3re wyra\u017cenia Lisp mog\u0105 zwraca\u0107 wiele warto\u015bci.) To w przeciwie\u0144stwie do Fortranu i wielu innych udanych j\u0119zyk\u00f3w, kt\u00f3re rozr\u00f3\u017cniaj\u0105 \u201ewyra\u017cenia\u201d i \u201estwierdzenia\u201d.<\/p>\n

Naturalne by\u0142o, aby mie\u0107 takie rozr\u00f3\u017cnienie w Fortranie, poniewa\u017c j\u0119zyk by\u0142 zorientowany liniowo (co nie powinno dziwi\u0107 w j\u0119zyku, kt\u00f3rego formatem wej\u015bciowym by\u0142a karta dziurkowana). Nie mog\u0142e\u015b mie\u0107 zagnie\u017cd\u017conych stwierdze\u0144. I podczas gdy potrzebne by\u0142y matematyczne wyra\u017cenia do pracy, nie mia\u0142o sensu wymusza\u0107, aby cokolwiek innego zwraca\u0142o warto\u015b\u0107, poniewa\u017c mog\u0142o nie by\u0107 niczego, co oczekiwa\u0142o zwrotu.<\/p>\n

Ograniczenia zosta\u0142y zniesione wraz z pojawieniem si\u0119 j\u0119zyk\u00f3w structurowanych, ale w tym momencie by\u0142o ju\u017c za p\u00f3\u017ano. Rozr\u00f3\u017cnienie mi\u0119dzy wyra\u017ceniami a stwierdzeniami ju\u017c si\u0119 utrwali\u0142o. Przesz\u0142o z Fortranu do Algola i dalej do ich potomk\u00f3w.<\/p>\n

Kiedy j\u0119zyk jest ca\u0142kowicie zbudowany z wyra\u017ce\u0144, mo\u017cesz konstruowa\u0107 wyra\u017cenia wed\u0142ug w\u0142asnego uznania. Mo\u017cesz napisa\u0107 albo (u\u017cywaj\u0105c sk\u0142adni\u00a0Arc<\/a><\/noindex>)<\/p>\n

(if foo (= x 1) (= x 2))<\/code><\/pre>\n
\nlub<\/p>\n
(= x (if foo 1 2))<\/code><\/pre>\n
\n7. Typ symbolu (A symbol type)<\/b>. Symbole r\u00f3\u017cni\u0105 si\u0119 od ci\u0105g\u00f3w, w tym przypadku mo\u017cesz sprawdzi\u0107 r\u00f3wno\u015b\u0107, por\u00f3wnuj\u0105c wska\u017aniki.<\/p>\n
8. Notacja dla kodu (A notation for code)<\/b> z wykorzystaniem drzew z symboli.<\/p>\n
9. Ca\u0142y j\u0119zyk zawsze dost\u0119pny (The whole language always available)<\/b>. Nie ma wyra\u017anego rozr\u00f3\u017cnienia mi\u0119dzy czasem odczytu, czasem kompilacji a czasem wykonania. Mo\u017cesz kompilowa\u0107 lub uruchamia\u0107 kod w trakcie odczytu, lub czyta\u0107 lub uruchamia\u0107 kod podczas kompilacji, lub czyta\u0107 lub kompilowa\u0107 kod w trakcie wykonania.<\/p>\n
Uruchamianie kodu w trakcie czytania umo\u017cliwia u\u017cytkownikom przepisywanie sk\u0142adni Lispa; uruchamianie kodu w trakcie kompilacji to podstawa dla makr; kompilowanie w trakcie wykonywania jest podstaw\u0105 u\u017cycia Lisp\u00f3w jako j\u0119zyka rozszerze\u0144 w takich programach jak Emacs; a wreszcie, czytanie w trakcie wykonywania pozwala programom na interakcj\u0119 przy u\u017cyciu s-wyra\u017ce\u0144, koncepcji niedawno na nowo wynalezionej w XML.<\/p>\n
Podsumowanie<\/h4>\n
\nKiedy Lisp zosta\u0142 wynaleziony, wszystkie te pomys\u0142y by\u0142y dalekie od powszechnych praktyk programistycznych, kt\u00f3re narzuca\u0142y maszyny dost\u0119pne pod koniec lat 50.<\/p>\n
Z biegiem czasu j\u0119zyk domy\u015blny, wcielony w sukces popularnych j\u0119zyk\u00f3w, stopniowo ewoluowa\u0142 w kierunku Lispu. Punkty 1-5 s\u0105 teraz powszechnie akceptowane. Punkt 6 zaczyna pojawia\u0107 si\u0119 w mainstreamie. W Pythonie w pewnym stopniu mamy punkt 7, cho\u0107 odpowiedniej sk\u0142adni brakuje. Punkt 8, kt\u00f3ry (razem z punktem 9) umo\u017cliwia makra w Lispie, wci\u0105\u017c istnieje tylko w Lispie, by\u0107 mo\u017ce dlatego, \u017ce (a) wymaga tych nawias\u00f3w lub czego\u015b r\u00f3wnie trudnego, i (b) je\u015bli dodasz ten ostatni wzrost mocy, nie b\u0119dziesz m\u00f3g\u0142 ju\u017c twierdzi\u0107, \u017ce wynalaz\u0142e\u015b nowy j\u0119zyk, a jedynie opracowa\u0142e\u015b nowy dialekt Lispu; -)<\/p>\n
Chocia\u017c jest to przydatne dla wsp\u00f3\u0142czesnych programist\u00f3w, dziwnie jest opisywa\u0107 Lisp w kontek\u015bcie jego r\u00f3\u017cnic od przypadkowych technik przyj\u0119tych w innych j\u0119zykach. Mo\u017ce to nie by\u0142o to, o czym my\u015bla\u0142 McCarthy. Lisp nie zosta\u0142 zaprojektowany, aby naprawi\u0107 b\u0142\u0119dy Fortranu; pojawi\u0142 si\u0119 raczej jako produkt uboczny pr\u00f3by aksjomatyzacji oblicze\u0144<\/a><\/noindex>.
\n
\u0179r\u00f3d\u0142o: habr.com<\/a><\/p>","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"excerpt":{"rendered":"
«\u0412\u0435\u043b\u0438\u0447\u0430\u0439\u0448\u0438\u0439 \u0438\u0437 \u043a\u043e\u0433\u0434\u0430-\u043b\u0438\u0431\u043e \u0441\u043e\u0437\u0434\u0430\u043d\u043d\u044b\u0445 \u044f\u0437\u044b\u043a\u043e\u0432 \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044f« \u2014 Alan Kay, \u00abon Lisp\u00bb \u041a\u043e\u0433\u0434\u0430 \u041c\u0430\u043a\u043a\u0430\u0440\u0442\u0438 \u0440\u0430\u0437\u0440\u0430\u0431\u043e\u0442\u0430\u043b Lisp \u0432 \u043a\u043e\u043d\u0446\u0435 1950-\u0445, \u043e\u043d \u0440\u0430\u0434\u0438\u043a\u0430\u043b\u044c\u043d\u043e \u043e\u0442\u043b\u0438\u0447\u0430\u043b\u0441\u044f \u043e\u0442 \u0441\u0443\u0449\u0435\u0441\u0442\u0432\u0443\u044e\u0449\u0438\u0445 \u044f\u0437\u044b\u043a\u043e\u0432, \u0441\u0430\u043c\u044b\u043c \u0433\u043b\u0430\u0432\u043d\u044b\u043c \u0438\u0437 \u043a\u043e\u0442\u043e\u0440\u044b\u0445 \u0431\u044b\u043b Fortran. Lisp \u0432\u043e\u043f\u043b\u043e\u0442\u0438\u043b \u0434\u0435\u0432\u044f\u0442\u044c \u043d\u043e\u0432\u044b\u0445 \u0438\u0434\u0435\u0439: 1. \u0423\u0441\u043b\u043e\u0432\u043d\u044b\u0435 \u0432\u044b\u0441\u043a\u0430\u0437\u044b\u0432\u0430\u043d\u0438\u044f (Conditionals).\u00a0\u0423\u0441\u043b\u043e\u0432\u043d\u044b\u0435 \u0432\u044b\u0441\u043a\u0430\u0437\u044b\u0432\u0430\u043d\u0438\u044f \u044d\u0442\u043e if-then-else \u043a\u043e\u043d\u0441\u0442\u0440\u0443\u043a\u0446\u0438\u044f. \u0421\u0435\u0439\u0447\u0430\u0441 \u043c\u044b \u0432\u043e\u0441\u043f\u0440\u0438\u043d\u0438\u043c\u0430\u0435\u043c \u0438\u0445 \u043a\u0430\u043a \u0434\u043e\u043b\u0436\u043d\u043e\u0435. \u041e\u043d\u0438 \u0431\u044b\u043b\u0438 \u0438\u0437\u043e\u0431\u0440\u0435\u0442\u0435\u043d\u044b \u041c\u0430\u043a\u043a\u0430\u0440\u0442\u0438 \u0432\u043e \u0432\u0440\u0435\u043c\u044f […]<\/p>\n","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"author":1,"featured_media":55282,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[702],"tags":[],"class_list":["post-55281","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-news"],"aioseo_notices":[],"aioseo_head":"\n\t\t\n\t\n\t\n\t\n\t\n\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\n","aioseo_head_json":{"title":"\ud83e\udd47Co uczyni\u0142o Lisp wyj\u0105tkowym | ProHoster","description":"\"Najwi\u0119kszy j\u0119zyk programowania, jaki kiedykolwiek stworzono\" \u2014 Alan Kay, \u00abo Lispie\u00bb","canonical_url":"https:\/\/prohoster.info\/pl\/blog\/news\/chto-sdelalo-lisp-osobennym","robots":"max-image-preview:large","keywords":"","webmasterTools":{"miscellaneous":""},"schema":null,"og:locale":"pl_PL","og:site_name":"ProHoster | \u041a\u0443\u043f\u0438\u0442\u044c \u043d\u0430\u0434\u0435\u0436\u043d\u044b\u0439 \u0445\u043e\u0441\u0442\u0438\u043d\u0433 \u0434\u043b\u044f \u0441\u0430\u0439\u0442\u043e\u0432 \u0441 \u0437\u0430\u0449\u0438\u0442\u043e\u0439 \u043e\u0442 DDoS, VPS VDS \u0441\u0435\u0440\u0432\u0435\u0440\u044b","og:type":"article","og:title":"\ud83e\udd47\u0427\u0442\u043e \u0441\u0434\u0435\u043b\u0430\u043b\u043e Lisp \u043e\u0441\u043e\u0431\u0435\u043d\u043d\u044b\u043c | ProHoster","og:description":""\u0412\u0435\u043b\u0438\u0447\u0430\u0439\u0448\u0438\u0439 \u0438\u0437 \u043a\u043e\u0433\u0434\u0430-\u043b\u0438\u0431\u043e \u0441\u043e\u0437\u0434\u0430\u043d\u043d\u044b\u0445 \u044f\u0437\u044b\u043a\u043e\u0432 \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044f" \u2014 Alan Kay, \u00abon Lisp\u00bb","og:url":"https:\/\/prohoster.info\/pl\/blog\/news\/chto-sdelalo-lisp-osobennym","og:image":"https:\/\/prohoster.info\/wp-content\/uploads\/2021\/11\/logo-350.jpg","og:image:secure_url":"https:\/\/prohoster.info\/wp-content\/uploads\/2021\/11\/logo-350.jpg","og:image:width":350,"og:image:height":350,"article:published_time":"2020-01-16T21:00:00+00:00","article:modified_time":"2020-02-18T11:03:23+00:00","article:publisher":"https:\/\/www.facebook.com\/prohoster","article:author":"https:\/\/www.facebook.com\/prohoster"},"aioseo_meta_data":{"post_id":"55281","title":null,"description":null,"keywords":null,"keyphrases":null,"primary_term":null,"canonical_url":null,"og_title":null,"og_description":null,"og_object_type":"default","og_image_type":"default","og_image_url":null,"og_image_width":null,"og_image_height":null,"og_image_custom_url":null,"og_image_custom_fields":null,"og_video":null,"og_custom_url":null,"og_article_section":null,"og_article_tags":null,"twitter_use_og":false,"twitter_card":"default","twitter_image_type":"default","twitter_image_url":null,"twitter_image_custom_url":null,"twitter_image_custom_fields":null,"twitter_title":null,"twitter_description":null,"schema":{"blockGraphs":[],"customGraphs":[],"default":{"data":{"Article":[],"Course":[],"Dataset":[],"FAQPage":[],"Movie":[],"Person":[],"Product":[],"ProductReview":[],"Car":[],"Recipe":[],"Service":[],"SoftwareApplication":[],"WebPage":[]},"graphName":"","isEnabled":true},"graphs":[]},"schema_type":null,"schema_type_options":null,"pillar_content":false,"robots_default":true,"robots_noindex":false,"robots_noarchive":false,"robots_nosnippet":false,"robots_nofollow":false,"robots_noimageindex":false,"robots_noodp":false,"robots_notranslate":false,"robots_max_snippet":null,"robots_max_videopreview":null,"robots_max_imagepreview":"large","priority":null,"frequency":null,"local_seo":null,"seo_analyzer_scan_date":null,"breadcrumb_settings":null,"limit_modified_date":false,"reviewed_by":null,"ai":null,"created":"2021-02-28 19:46:29","updated":"2022-10-01 02:03:35","focus_keyword":null,"additional_keywords":null,"truseo_locale":null},"gt_translate_keys":[{"key":"link","format":"url"}],"_links":{"self":[{"href":"https:\/\/prohoster.info\/pl\/wp-json\/wp\/v2\/posts\/55281","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/prohoster.info\/pl\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/prohoster.info\/pl\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/prohoster.info\/pl\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/prohoster.info\/pl\/wp-json\/wp\/v2\/comments?post=55281"}],"version-history":[{"count":0,"href":"https:\/\/prohoster.info\/pl\/wp-json\/wp\/v2\/posts\/55281\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/prohoster.info\/pl\/wp-json\/wp\/v2\/media\/55282"}],"wp:attachment":[{"href":"https:\/\/prohoster.info\/pl\/wp-json\/wp\/v2\/media?parent=55281"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/prohoster.info\/pl\/wp-json\/wp\/v2\/categories?post=55281"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/prohoster.info\/pl\/wp-json\/wp\/v2\/tags?post=55281"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}