през лятото на 1995 година. Планът ни беше да напишем софтуер, който да позволява на крайните потребители да си правят онлайн магазини. Новото в нашият софтуер беше, че той работеше на наш сървър, използвайки за интерфейс обикновени Web страници.
Сигурно доста хора са имали подобна идея по същото време, но доколкото знам Viaweb беше първото Уеб базирано приложение.Изглеждаше ни толкова новаторска идея, че нарекохме компанията си на нея : Viaweb , защото нашият софтуер работеше през мрежата (via the Web), а не на десктопен компютър.
Друго необичайно нещо беше, че нашият софтуер беше написан основно на език за програмиране, наречен Lisp. Това беше едно от първите големи приложения за крайните потребители, което е написано на Lisp, който дотогава се използваше основно в университети и изследоватески лаборатории. [1]
Ерик Реймънд е написал есе, наречено "Как да станеш хакер" , в което освен другите неща, казва какъв език трябва да научат кандидат- хакерите. Той предлага да ссе започне с Python и Java, защото са лесни за учене. Сериозният хакер трябва да научи С, за Юникс , и Perl за системно администриране и cgi скриптове. Накрая, наистина сериозния хакер трябва да помисли за научаването на Lisp:
Това е същото като Латинския език. Той няма да ти намери работа, освен като професор по класически езици, но ще подобри мисленето ти и ще те направи по- добър писател на езика, на който искаш, примерно английски.
Но ... почакайте. Тази метафора не е много точна. Причината за това, че латинския няма да ви намери работа е в това, че никой не го говори. Ако пишете на латински никой няма да ви разбере. Но Lisp е компютърен език, а компютрите разбират всеки език, който използват програмистите.
Ако Lisp наистина те прави по-добър програмист, защо няма да искате да го използвате ? Ако предложим на един художник четка, която ще го направи по-добър художник , той ще я използва за всичките си картини, нали ? Тук не се опитвам да се шегувам с Ерик Реймън. Като цяло неговият съвет е добър. Това , което той казва за Lisp е стандартна съвет. Но в него има противоречие : Lisp ще те направи по-добър програмист, но няма да го използвате .
Защо не ? Все пак езиците за програмиране са само инструменти. Ако Lisp допринася за по-добри програми , той трябва д асе използва. Кой ще има нужда от него , ако не помага ?
Това не е чисто теоретичен въпорс. Софтуерът е много състезателен бизнес, предразполагащ към естествен монопол. При други равни условия компания, която може да пише по-бързо по-добър софтуер ще извади от играта конкурентите си . Това се усеща най - добре при стартиране на компания. Обикновенно тогава въпросът е всичко или нищо . Или ставаш богат или не се получава нищо . Конкурентите ти ще те разбият ако заложиш на грешна технология .
Аз и Роберт познавахме добре Lisp и не виждахме причина да не се доверим на инстинктите си. Знаехме , че всички останали пишеха софтуера си на С++ или Perl . Също така знаехме, че това не означава нищо. Ако така се избираше технология всички щяхме да сме с Windows . При избора на технология трябва да се игнорират действията на останалите хора и да се преценява единствено въз основа на това какво ще работи най-добре. Това важи особено за стартиращите компании . Голяма компания може да прави каквото правят всички останали големи компании. Но ново начинание не може да прави както всички останали. Не мисля че много хори, дори от стартиращи компании, осъзнават това.
Средно големите компании отбелязват ръст с около десет процента на година. Ако управлявате голяма компания и правите всичко като средните компании може да очаквате и ръстът да е като на обикновенна голяма комапния - около десет процента .
Разбира се същото ще се случи и ако управлявате нова компания . Ако правите всички като средна нова компания ще получите средно представяне. Проблемът е , че средно представяне означава напускане на играта. Нивото на оцеляване на нови компании е доста под петдесет процента . Така че при управлението на нова компания е по-добре да се действа по-различно . Иначе се попада в беда.
През 1995 ние знаехме нещо, което и досега малко от нашите конкуренти разбират : когато софтуера се пуска на свой собствен сървър , може да използвате който си поискате език. Ако пишете софтуер за настолен компютър има полза да използвате езика на операционната система. Преди десет години разработка на приложение означаваше писане на С . С уеб базирания софтуер може да използвате език по желание.
Тази нова свобода е нож с две остриета . Когато можеш да избереш език , трябва да се обмислли кой точно да е . Компаниите, които се опитват да си заравят главата в пясъка пред този факт, поемат риск техните конкуренти да не направят така.
Ако може да си избираш език , кой би ползвал ? Ние избрахме Lisp. На първо време беше ясно , че ускорената разработка ще бъде важна на този пазар . Всички започваме от нулата и компанията, която вади нови възможности преди конкурентите си има голямо предимство. Знаехме, че Lisp е наистина добър език за бързо писане на софтуер и сървърно базираните приложения увеличават ефекта на ускорената разработка, защото софтуера влиза в употреба веднага.
Ако другите компании не искаха да използват Lisp , толкова по-добре за нас . Той можеше да ни даде крайна технология, а ние имахме нужда от всичко, което можеше да ни помогне. Ние нямахме опит в бизнеса, когато стартирахме Viaweb. Не знаехме нищо за маркетинга или набирането на персонал , или за събирането на пари, или намирането на клиенти. Никой от нас никога не беше имал истинска работа. Единственото нещо, в което бяхме добри беше разработката на софтуер. Надявахме се това да ни спаси. Използвахме всяко предимство, което можехме да имаме в софтуерно отношение .
Може да кажете, че използването на Lisp беше експеримент. Нашата хипотеза беше, че ако пишем нашия софтуер на Lisp , ще можем да изработваме допълнителни неща по-бързо от нашите конкуренти , също така ще можем да правим неща, които другите не могат. Ние не се нуждаехме от голям екип, защото Lisp е език от много високо ниво , а така разходите ни бяха малки. Ако нещата се случат така , щяхме да предлагаме по-добър продукт за по-малко пари и все пак да имаме печалба. Щяхме да привлечем всички потребители, а нашите конкуренти, останали без потребители, да напуснат бизнеса. На това се надявахме.
Резулатът от нашия експеримент, някак учудващо, беше , че работи . Имахме доста конкуренти, между двадесет и тридесет , но никой от техния софтуер не можеше да се сравнява с нашия. Ние прдлагахме WYSIWYG правене на онлайн магазини, което се правеше на сървъра, но приличаше на настолно приложение. Конкурентите ни имаха cgi скриптове. Ние винаги бяхме напред с допълнителните възможности. Понякога отчаяните конкуренти се опитваха да покажат възможност, която ние нямахме . Но нашият цикъл на разработка с Lisp беше толкова бърз, че понякога ние правехме същото допълнение за ден или за два след обявяването му от конкурентите. Ние предлагахме същата възможност преди журналистите да ни питат за реакцията ни от излизането й.
На конкурентите ни им е изглеждало така, сякаш имахме някакво тайно оръжие - че сме декодирали техния трафик или нещо подобно. Ние наистина имахме тайно оръжие, но то беше по-просто, отколкото си го представяха. Никой не ни издаваше техните тайни. Просто ние можехме да разработваме софтуер по- бързо, отколкото някой може да си помисли.
Когато бях на девет в ръцете ми попадна книгата "Денят на чакала" от Фредерик Форсайт(
българска електронна версия ). Главният герой е наемен убиец, който е нает за убийството на рпезидента на Франция. Убиецът трябва да премине през полицаи, за да стигне до апартамента, от който има изглед към пътя на президента. Той минава директно през тях, дегизиран като старец с патерици.
Нашето тайно оръжие беше подобно . Ние пишехме софтуера си на странен език за ИИ с необичаен синтаксис и много скоби . Години наред чувах това описание на Lisp . Но това ни носеше предимство . В бизнеса няма нищо по-ценно от технологично предимство, което конкурентите не разбират. В бизнеса, както във война, изнендата е важна, колкото и силата .
Съгласно това, малко ме е срам да го призная , докато работехме по Viaweb не съм споменавал нищо за Lisp . Не сме го споменавали пред пресата, а ако търсите думата Lisp в нашия Уебсайт ще намерите само две заглавия книги в моята биография . Това е беше случайно . Стартиращата компания трябва да дава колкото се може по-малко информация на конкурентите си. Исках те да не знаят или да не се интересуват от езика, на който пишехме софтуера си. [2]
Хората, които най-добре разбираха технологията ни бяха клиентите. Те не се интересуваха на какъв език е наисан Viaweb, но забелязаха , че наистина работи добре. Той им позвляваше буквално за минути да правят великолепни онлайн магазини . Предавайки най -вече се от уста на уста ние имахме все повече и повече потребители. В края на 1996 имахме около 70 онлайн магазина. В края на 1997 - 500. Когато Yahoo ни купи шест месеца по-късно , ние имахме 1070 потребителя. Този софтуер доминира на пазара вече като Yahoo Store. Той е една от най- доходните компоненти на Yahoo, а магазините, направени с него са в основата на Yahoo Shoping. напуснах Yahoo през 1999 и не знам колко потребителя имат сега, но последното което чух беше за около 20 000 .
Парадоксът на БлъбКакво е толкова специално в Lisp ? И защо ,ако наистина Lisp е толкова добър, никой не го използва ? Това не са реторични въпорси, а реални такива, които имат отговори . Lisp не е толкова велик заради няккава магическо качество, което е видимо само за просветените , а просто защото в момента той е най- мощният език . Причината за неизползването му е в това, че езиците за програмиране не са само технология, но и умствени навици, които се променят бавно. Разбира се тези отговори се нуждаят от обяснение.
Ще започна с шокиращо заявление : езиците за програмиране имат различна мощ.
Да почнем от това, което млако хора биха оспорили - езиците от високо ниво са по-мощни от машинните езици . Повечето програмисти биха се съгласили, че по принцип не искат да програмират на машинен език. Вместо това се пишат програми на езици от високо ниво , които се превеждат в машинен код от компилатор . Тази идея дори е вградена в хардуера : от осемдесетте инструкциите се проектират за компилаорите, а не за живи програмисти .
Всеки знае , че е грешно ръчно да се напише цяла програма на машинен код. По-малко разбиран е генералния принцип : ако има избор от няколко езика е грешно да не се програмира на най- мощният от тях , ако всички останали условия са еднакви. [3]
Разбира се има много изключения от отва правило . Ако пишете програма, която трябва да работи заедно с друга програма, написана на определен език , добре е да напишете новата програма на същия език. Ако пишете програма, която прави нещо просто като числови пресмятания или побитови манипулации, може да изберете език от по-ниско ниво , който ще е по-бърз. Ако пишете кратка програма за еднократна употреба е по-добре да се избере език, който има подходящи библиотечни функции. Но по принцип за приложен софтуер трябва да се използва най-мощния (и достатъчно ефективен ) език, а всички останало е грешно .
За всички машинният код е много ниско ниво . Но езиците на от високо ниво се гледа като на равнопоставени . Те не са . Технически погледнато терминът "език от високо ниво" не означава нищо определено . Няма разделителна линия между машинните езици и езиците от високо ниво. Езиците попадат в континиум [4] от абстракции, от най- мощният до машинните езици , които са с различна мощ.
Да вземем Cobol . Cobol е език от високо ниво, в смисъл че се компилира до машинен код. Някой ще спори ли сериозно, че Cobol е равнопоставен на Python ? Той вероятно е по-близк до машинен език, отколкото Python .
Или пък Perl 4 ? Преди да излезе Perl 5 към езика бяха добаввени лексикални затваряния (closures). Повечето Perl хакери биха се съгласили, че Perl 5 е по-мощен от Perl 4. Но ако се признае това, значи се признава това, че един език от високо ниво е по-мощен от друг. А това означава, че трябва да се използва най-мощният достъпен език .
Мисля, че рядко тази идея се олицетворява. След определена възраст програмистите рядко сменят езиците доброволно. Хората смятат, че езика който са използвали е достатъчно добър .
Програмистите се привързват много към любимите си езици и за да не обидя някого, ще използвам хипотетичен език, наречен Блъб. Блъб попада в средата на пространството от абстракции. Той не е най-мощния език, но е по-мощен от Cobol или машинен език.
Всъщност нашият хипотетичен Блъб програмист не би използвал никой от тях . Разбира се , че той няма да програмира на машинен език . За това си има компилатори. Относно Cobol - той не знае как някой може да направи нещо на него . Той дори няма х (Блъб възможност по избор).
В този момент нашият хипотетичен Блъб програмист осъзнава, че гледа надолу .Езиците са очевидно по-малко мощни от Блъб, защото им липсват някои възможности, които той използва. Но когато нашият хипотетичен Блъб програмист гледа в другата посока, към по-мощните езици, той не осъзнава това. Това, което вижда са някакви странни езици. Вероятно ги има за еквивалентни на Блъб, но с всякакви модерни добавки. Блъб е достатъчно добър за него, защото той мисли в Блъб.
Но ако погледнем от гледната точка на програмист, използващ някой от езиците, които са по-нагоре по скалата на мощта, ще видим , че той надилу гледа към Блъб. Как може да се направи нещо на Блъб. Та той дори няма y.
По индукция се достига до извода, че единствения програмист, който може да види разликите в мощта на различните езици, е този, който разбира най-мощният .(Вероятно затова Ерик Реймънд казва, че Lisp ще те направи по-добър програмист.) Заради парадокса на Блъб не може да разчитате на чуждите мненния, защото те са породени от това, че човек е доволен от езика, който използва , защото той формира начина му на мислене.
Знам това от собствен опит. В училище пишех програми на Basic. Този език дори не поддържа рекурсия . Трудно е да си шредставиш да пишеш програми без рекурсия, но тогава не ми липсваше. Бях фурия, господар на всичко .
Петте езика, които Ерик Реймънд препоръчва на хакерите, попадат на различни места по скалата на мощта. Къде попадат един спрямо друг e чувствителна тема. Мога само да кажа, че Lisp е на върха. В подкрепа на тази теза ще посоча едно от нещата, които липсват в останалите четири езика. Как може да направите нещо на тях без макроси ? [5]
Много езици имат нещо, наречено макрос, Но макросите на Lisp са уникални. Ако искайте вярвайте, но те са свързани със скобите. Проектантите на Lisp не са добавили в езика всички тези скоби само за да е различен . Lisp кодът изглежда странно за Блъб програмиста. Но тези скоби не са там случайно . Те са външното проявление на фундаменталната разлика между Lisp и останалите езици .
Кодът на Lisp е съставен от Lisp даннови обекти. И то не в тривиалния смисъл, че файловете с код съдъжат символи, а низовете са един от типовете данни на езика. Кодът на Lisp е съставен от стуктури от данни, които могат да се обхождат.
Ако разбирате как работят компилаторите, истината е че Lisp няма странен синтаксис, а че Lisp въобще няма синтасис. Програмите се пишат в синтактични дървета , които се генерират от компилатора.тези дървета са напълно достъпни за програмите. Могат да се напишат порграми, които ги манипулират . В Lisp тези програми се наричат макроси. Те са програми, които пишат програми .
Програми, които пишат програми ? Кога изобщо ще искаш да правиш това ? Не много чеесто, ако мислиш за Cobol. Постоянно, ако мислиш в Lisp. Ще бъде добре ако дам пример за мощен макрос . Но той ще исглежда безмислен за някой, който не познава Lisp; тук няма място за обясняване на всичко, което трябва да се знае, за да се разбере примера. В
Ansi Common Lisp се опитах да минавам темите набързо, но дори и така не стигнах до макросите преди 160-та страница.
Все пак мога да посоча нещо, което може да е убеждаващо. Кодът на редактора на Viaweb беше около 20-25 % макроси. Макросите са по-трудни за писане от обикновени Lisp функции и е признак на лош стил да се използват без да са необходими . Поради тази причина всеки макрос беше в кода ни беше на мястото си, което означава, че поне 20-25% от кода на програмата прави неща, които е трудн ода се направят на друг език. На скептичния Блъб програмист са му смешни тези изявления за мистериозната сила на Lisp . Но ние не пишехме този код за забавление. Бяхме малка стартираща компания, която програмираше колкото може по-добре, за да постави технологическа граница между нас и конкурентите ни.
Подозрителният човек може да се зачуди дали няма някаква обвързаност. Голяма част от нашия код шравеше неща, които са доста трудни за другите езици. Нашият софтуер правеше неща, които не бяха по силите на софтуера на конкурентите ни. Може би наистина има някаква връзка . Съветвам ви да проследите тази линия. Може би в нея има повече неща, отколкото се забелязват на пръв поглед.
Айкидо за стартиращиНе очаквам да убедя някого (
над 25 ) да научи Lisp . Целта на тази статия не е да променям нечие мислене , а да подкрепя хората, които се интересуват от Lisp - хората, които знаят колко е мощен Lisp, но се притесняват, защото няма широко разпространение. Това е предимство при състезателните условия. Мощта на Lisp се увеличава поради факта, че конкурентите не го разбират.
Не се притеснявайте да използвате Lisp в стартираща компания. Трябва да се надявате да се запази сегашната ситуация. А тя вероятно ще се запази. Хардуера се променя много по-бързо от личните навици и програмирането се движи десет- двадесет години след процесорите. На места като MIT пишеха програми на езици от високо ниво в началото на шейсетте, но много компании продължаваха да пишат код на машинен език до осемдесетте. Предполагам , че много хора продължаваха да пишат на асемблер докато процеросите най-накрая не преминаха на RISC инструкции.
Обикновенно технологията се променя бързо. Но езиците за програмиране не са само технология, на тях мислят програмистите. Те са наполовина технология и наполовина религия [6]. Затова средния език, на който пише средния програмист, се променя бавно като айсберг. Въведеното в Lisp през началото на шейсетте години събиране на боклука сега вече е всеобщо признато. С нарастваща популярност е и типизирането по време на изпълнение. Лескикалните затваряния, които бяха въведени в Lisp през седемдесетте, сега са в края на познатите технологии. Макросите, въведени в Lisp през шейсетте, свсе още са terra incognita.
Очевидно средният език има огромна инерция. Не предлагам на никой да се бори с тази мощна сила. Предлагам точно обратното : използвайте я срещу противниците си , както се прави от практикуващите айкидо.
Това не е лесно за работник в голяма компания. Ще бъде трудно да убедите некомпетентния си шеф да ви остави да пишете на Lisp, защото той е прочел във вестниците , че някой друг език уверено ще презвеме света, както беше с Ada преди двадесет години. Но ако работите за млада компания вероятно няма да има шеф и можете да използвате парадоксът на Блъб, за да имате предимство - може да използвате технология, която вашите конкуренти никога няма да разберат, защото те са свързани за средните езици.
Ще дам и един ценен съвет за оценка на конкурентите на стартираща компания. Прочете списъка им с работни места. Всичко останало може да са приказки, но свободните работни места трябва да са точно такива, каквито искат или ще вземат грешни хора.
Прочетох доста описания на работа през годините работа върху Viaweb . Всеки месец се появяваше нов конкурент. Първото нещо, което правех след проверката дали имат онлайн демо, беше да погледна свободните места за работа. След няколко години мога да кажа за кои компании да се притеснявате и за кои не. Колкото повече общи ИТ неща има в обявите, толкова по-безопасна е компанията. Най- безопасните бяха тези, които искаха опит с Oracle. Никога не трябва да се притеснявате от тези. В безопасност сте и ако търсят C++ или Java разработчици. Ако търсят Perl или Python програмисти трябва да започнете да се притеснявате - това звучи сякаш в тази компания поне техническата част се ръководи от хакери. Щях да съм наистина разтревожен ако някога бях видял обява за работа за Lisp хакери.
Бележки[1] Отначало Viaweb беше от две части : написан на Lisp редактор, използван от хората за създаване на сайтове , и система за поръчки, написана на C. Първата версия беше основно на Lisp , защото системата за поръчки беше малка. По-късно добавихме още два модула - написан на C генератор на изображения и написан на Perl back-office мениджър.
Януари 2003 Yahoo пусна нова версия на редактора, написана на C++ и Perl. Не е лесно да се каже, че програмата вече не е написана на Lisp, защото те, за да преведат тази програма на C++, буквално са написали Lisp интерпретатор : доколкото знам изходните файлове на всички шаблони за генериране на страници са все още написани на Lisp .(виж
Десетото правило на Грийнспън)
[2] Робърт Морис казваше, че няма нужда да се крием , защото нашите конкуренти нямаше да разберат защо използваме Lisp : "Ако бяха толкова умни щяха да програмират на Lisp"
[3] Всички езици са равностойни, защото са павностойни на машина на Тюринг, но не от този смисъл се интересуват програмистите. (Никой не иска да програмира на машина на Тюринг) Типът мощ, от който се интересуват програмистите , не може да се дефинира, но един начин за обясняването й може да е това, че тя са възможностите, които могат да бъдат използвани в по-малко мощния език само ако на него се напише интерпретатор на по-мощния . Ако езикът А има оператор за премахвне на интервалите от низ , а езика Б го няма, това вероятно не означава, че А е по-мощен , защото може д асе напише функция, която да прави това в Б. Но ако А поддържа рекурсия, а Б - не, това трудно може да се поправи с написване на библиотечни функции .
[4] Бележка за зубрачите : може ние стълба, отиваща до най-горе. Не толкова формата е важна, колкото идея, че има няккаъв ред.
[5] Малко е объркващо макросите да се разглеждат като отделна възможност. На практика тяхната полза е много по-голяма във връзка с други от възможностите на Lisp.
[6] В резултат на това сравняването на програмните езици се превръща или в религиозна войни или в книги за ученици. Хората които искат спокойствие избягват тази тема. Но този въпрос е само наполовина религиозен, има какво да се изучава, особено от хората, които искат да проектират нови езици.
Някои технически подробности Японски превод
Турски превод Узбекски превод
Orbitz също използва Lisp Как да станеш хакер
Разказ за Scheme
