Она што го направи Лисп посебен

«Најголемиот програмски јазик некогаш создаден«
- Алан Кеј, „на Лисп“

Кога Мекарти го разви Lisp во доцните 1950-ти, тој беше радикално различен од постоечките јазици, од кои најважен беше Фортран.

Лисп претстави девет нови идеи:

1. Услови. Условните искази се ако-тогаш-инаку конструкции. Сега ги земаме здраво за готово. Тие беа измислен МекКарти за време на развојот на Лисп. (Фортран во тоа време имаше само гото изјави, тесно поврзани со инструкциите на гранката за основниот хардвер.) МекКарти, додека беше во комитетот Алгол, придонесе со условувања за Алгол, од каде што се проширија на други јазици.

2. Тип на функција. Во Lisp, функциите се објекти од прва класа - тие се тип на податоци, исто како и броевите, низите итн., и имаат буквална претстава, може да се складираат во променливи, може да се пренесуваат како аргументи итн.

3. Рекурзија. Рекурзијата, се разбира, постоеше како математички концепт пред Lisp, но Lisp беше првиот програмски јазик што го поддржа. (Ова можеби се подразбира при креирањето на функции како објекти од прва класа.)

4. Нов концепт на променливи. Во Lisp, сите променливи се ефективни покажувачи. Вредностите се она што го имаат типовите, а не променливите, а доделувањето или врзувањето на променливите значи копирање на покажувачи, а не на она на што укажуваат.

5. Собирање на смет.

6. Програми составени од изрази. Lisp програмите се стебла на изрази, од кои секоја враќа вредност. (Некои Lisp изрази можат да вратат повеќе вредности.) Ова е во спротивност со Fortran и многу други успешни јазици кои прават разлика помеѓу „изрази“ и „изјави“.

Природно беше да се има оваа разлика во Фортран затоа што јазикот беше ориентиран кон линијата (не е изненадувачки за јазик чиј влезен формат беше пробиена картичка). Не можеше да имаш вгнездени изјави. И сè додека ви требаа математички изрази за работа, немаше смисла ништо друго да враќа вредност бидејќи можеби нема да чека ништо да се врати.

Ограничувањата беа укинати со појавата на јазиците структурирани со блокови, но дотогаш беше предоцна. Разликата меѓу изразите и изјавите е веќе утврдена. Поминал од Фортран до Алгол и понатаму до нивните потомци.

Кога јазикот е целосно составен од изрази, можете да составувате изрази како што сакате. Можете да напишете или (користејќи ја синтаксата Лак)

(if foo (= x 1) (= x 2))

или

(= x (if foo 1 2))

7. Тип симбол. Карактерите се разликуваат од стринговите, во тој случај можете да проверите за еднаквост со споредување на покажувачите.

8. Нотација за код користејќи стебла со симболи.

9. Целиот јазик е секогаш достапен. Нема очигледна разлика помеѓу времето на читање, времето на компајлирање и времето на извршување. Можете да го компајлирате или стартувате кодот додека читате, или да читате или да го стартувате кодот додека компајлирате, или да читате или компајлирате код додека работи.

Извршувањето на кодот при читање им овозможува на корисниците да ја репрограмираат синтаксата на Lisp; извршувањето на кодот во времето на компајлирање е основа за макроа; компилацијата за време на траење е основа за користење на Lisp како јазик за продолжување во програми како што е Emacs; и конечно, читањето на време на траење им овозможува на програмите да комуницираат користејќи s-изрази, идеја неодамна повторно измислена во XML.

Заклучок

Кога Lisp првпат беше измислен, овие идеи беа далеку од конвенционалните практики за програмирање диктирани од хардверот достапен во доцните 1950-ти.

Со текот на времето, стандардниот јазик, отелотворен од успехот на популарните јазици, постепено еволуираше кон Lisp. Точките 1-5 сега се широко прифатени. Точката 6 почнува да се појавува во мејнстримот. Во Пајтон, постои клаузула 7 во некоја форма, иако нема соодветна синтакса. Ставката 8, која (со точка 9) овозможува макроа во Lisp, сè уште е само во Lisp, веројатно затоа што (а) ги бара тие загради или нешто подеднакво лошо, и (б) ако го додадете ова последно зголемување на моќноста, можете повеќе не тврдат дека измислиле нов јазик, туку само дека развиле нов дијалект на Лисп; -)

Иако ова е корисно за современите програмери, чудно е да се опише Lisp во однос на неговата разлика од случајните техники усвоени на други јазици. Можеби ова не го мислеше Мекарти. Лисп не беше дизајниран да ги коригира грешките на Фортран; повеќе се појави како нуспроизвод на обидот аксиоматизираат пресметки.

Извор: www.habr.com