An Curse Lisp

Ag Rudolf Winestock

Is é an aiste seo iarracht eile fós chun cumhacht teanga cláir Lisp a réiteach le héagumas phobal Lisp a gcuid éachtaí réamh- AI Gheimhridh a atáirgeadh. Gan amhras, tá bunphointe smaointe ar Lisp fiú i rith a n-aimsir.Ar an bhfíric sin, chomh maith le brilliance na n-ailtireachtaí éagsúla Meaisín Lisp, agus an athbheochan Lisp atá ann faoi láthair tar éis níos mó ná deich mbliana san fhásach, léirítear go gcaithfidh cuid de na páirtithe de Lisp go bhfuil cuid mhaith acu dá smuige. Mar sin féin, ní raibh siad in ann cumhacht Lisp a aistriú isteach i gluaiseacht le móiminteam ró-chumhachtach.

San aiste seo, déanaim argóint go bhfuil cumhacht expressive Lisp ina chúis mar gheall ar a easpa móiminteam.

 


Is é cumhacht Lisp a namhaid is measa féin.

Seo turgnamh smaoinimh chun é a chruthú: Tóg dhá theanga cláir, agus ní bhíonn aon cheann acu dírithe ar réad. Is é do misean, má roghnaíonn tú glacadh leis, ná iad a dhéanamh dírithe ar réad, agus iad a choinneáil comhoiriúnach leis na teangacha bunaidh, modúl roinnt cásanna imeall. Taispeánfaidh péire teangacha cláir ar bith isteach sa turgnamh smaointe seo go bhfuil sé seo níos éasca le roinnt teangacha ná le daoine eile. Sin pointe an turgnamh smaoinimh. Seo sampla fánach: Intercal agus Pascal.

Anois déan smaoineamh ar an turgnamh seo a smaoineamh: Samhlaigh go dtuigeann tú treoshuíomh réadúil ar na teangacha cláir C agus Scéime. Is sannadh obair bhaile sophomore é Scéim a Dhéanamh. Ar an láimh eile, ní mór do chlaonta cláir Bjarne Stroustrup a bheith ag teastáil ó thaobh cuspóirí a chur le C.

Tugann iarmhairtí an éagsúlacht seo sa tallainne agus an iarracht atá de dhíth faoi deara The Lisp Curse :

Tá Lisp chomh cumhachtach gur saincheisteanna sóisialta iad Lisb. Tá fadhbanna ina saincheisteanna teicniúla i dteangacha cláir eile.


Smaoinigh ar chás na Scéime arís. Ós rud é go bhfuil an Scéim a dhírítear ar chuspóirí mar sin éasca, tá go leor de na hacraitheoirí Scéime déanta amhlaidh. Níos mó leis an bpointe, tá go leor hackers Scéim aonair déanta amhlaidh. Sna 1990í, thug sé seo liosta fardal fíor-stórais de phacáistí atá dírithe ar chuspóirí don teanga. Rinne an Paradox of Choice , ina n-aonar, ráthaíocht nach mbeadh caighdeán ar bith acu. Anois go bhfuil a n-áiseanna claonadh réadmhaoine féin ag roinnt cur i bhfeidhm Scéime, níl sé chomh dona. Mar sin féin, mar thoradh ar go leor de na pacáistí seo bhí obair daoine aonair aonair mar thoradh ar fhadhbanna a scríobh Olin Shivers maidir le doiciméadú Scéim Shell, scsh.

Is minic go gcloíonn cláir atá scríofa ag hackers aonair an tsamhail scratch-an-itch. Soláthróidh na cláir seo an fhadhb atá ag an hacker, é féin, gan codanna gaolmhara den fhadhb a láimhseáil, rud a chuirfeadh an clár níos mó úsáideach do dhaoine eile. Ina theannta sin, tá an clár cinnte go n-oibríonn sé ar an gcuspóir aonair sin féin, ach ní fhéadfaí a bheith iniompartha le cur chun feidhme na Scéime eile nó leis an gcur i bhfeidhm Scéime céanna ar ardáin eile.D'fhéadfadh go mbeadh doiciméadú ann. Go bunúsach is é an tionscadal atá déanta i saor in aisce saor in aisce an hacker, tá sé de dhualgas ar an gclár dul i ngleic le freagrachtaí fíor-bheatha a bheith i gceist leis an hacker. Mar a thug Olin Shivers faoi deara, ciallaíonn sé seo go gcruthóidh na tionscadail banna aon-fhear seo ochtó faoin gcéad den fhadhb.

Tá tuairisc chuí ar an bhfeiniméan seo ag aiste an Dr. Mark Tarver, The Bipolar Lisp Programmer . Scríobhann sé na hackers seo Lis-Wolf mac tíre agus a gcuid

... neamhábaltacht chun rudaí a chríochnú i gceart.Déantar an abairt 'dearadh caithimh' a dhéanamh go hiomlán don BBM agus ó phobal Lisp é. Ceadaíonn Lisp duit rudaí a dhéanamh chomh héasca agus is furasta é seo a dheonú. Chonaic mé an 10 mbliana seo ó shin nuair a bhí GUI á lorg agam chuig mo Lisp. Gan aon fhadhb, bhí 9 tairiscintí éagsúla ann.Ba é an deacracht ná go ndearnadh cáipéisiú ceart ar aon cheann de na 9 agus ní raibh aon fhabht saor in aisce. Go bunúsach, chuir gach duine a réiteach féin i bhfeidhm agus d'oibrigh sé dó mar sin go raibh sé go maith. Is dearcadh BBM é seo ; Oibríonn sé dom agus tuigim é. Is é an táirge freisin nach gcaithfeadh nó go dteastaíonn cabhair ó dhuine ar bith eile rud éigin a dhéanamh.


Arís eile, breithneoidh an teanga cláircháin C sa turgnamh smaoinimh sin. Mar gheall ar an deacracht a bhaineann le cuspóir C a dhíriú, níl ach dhá thriail ag an bhfadhb ag tarraingt ar bith: C + + agus Cuspóir-C. Is é an cuspóir-C is mó tóir ar an Macintosh, agus rialaíonn C + + i ngach áit eile. Ciallaíonn sé sin, go bhfuil an ceist a bhfuil síneadh réad-dhírithe ar C á úsáid cheana freagrach go cinntitheach ar feadh ardán áirithe. Ciallaíonn sé sin go ndearnadh na háiseanna atá dírithe ar réadmhaoin do na teangacha sin a dhoiciméadú, go bhfuil timpeallachtaí forbartha comhtháite ar an eolas dóibh, go bhfuil na leabharlanna cód sin comhoiriúnach leo, agus mar sin de.

Déanann aiste an Dr. Mark Tarver ar Lispers bipolar an pointe:

Anois i gcodarsnacht leis sin, tá an cur chuige C / C + + éagsúil go leor. Tá sé an-deacair rud ar bith a dhéanamh le cluaiseáin agus gliú go mbeidh rud ar bith suntasach a dhéanfaidh tú fíor-bhaint amach.Ba mhaith leat é a dhoiciméadú. Chomh maith leis sin, ní mór duit cabhair a bheith riachtanach in aon tionscadal C de mhéid suntasach; Mar sin de dhualgas ort a bheith sóisialta agus ag obair le daoine eile. Ní mór duit, ach chun áit éigin a fháil.

Agus tá gach rud, ó thaobh fostóra, tarraingteach. Is fearr le deichniúr duine a dhéanann cumarsáid, rudaí a cháipéisiú agus a bheith ag obair le chéile le hacking Lisp amháin nach féidir BBM eile a chur in ionad (más féidir leat ceann a fháil) ach ní bheidh dócha go dtiocfaidh sé, ar feadh tamaill, dul síos gan bheith Athshuiteáil.

Dá bhrí sin, ní gá dóibh siúd a bhfuil C a fhios acu cheana féin "Cén córas réad ba chóir dom a fhoghlaim?" Ina áit sin, úsáideann siad C + + nó Cuspóir-C ag brath ar a gcuid comhghleacaithe ag úsáid, agus ansin bogadh ar aghaidh go dtí "Conas a úsáidim gné X atá dírithe ar chuspóir?" Freagair: "Goog é agus gheobhaidh tú."


Ar ndóigh, is eol do Hackers Real gur eol go bhfuil cláir réad-dhírithe ar an bpaineas a d'éiligh a chuid páirtithe. D'aistrigh Real Hackers ar choincheapa níos airde ar nós struchtúir sonraí inmutable, cineálchomhdhála, meastóireacht leisciúil, monaí, saigheada, meaitseáil patrún, cláir bunaithe ar srianta, agus mar sin de. Tá sé ar eolas freisin ag Hackers Real, ar feadh tamaill, nach bhfuil C agus C + + oiriúnach don chuid is mó de na cláir nach gá a dhéanamh ar fhidléidiú treallach. Mar sin féin, tá Lisse Curse fós i seilbh.

Rinne roinnt dearthóirí Liosp-lovers suirbhé ar an mbarr teangacha acadúla atá ann faoi láthair (Haskell, Ocaml, agus eile) agus fuair siad iad ag iarraidh, ag rá go bhfuil aon ghné díobh féin i Lisp cheana féin nó is féidir iad a chur i bhfeidhm go héasca - agus feabhsaithe orthu - le Lisp Macros. Is dócha go bhfuil siad ceart.

Brón na hackers Lisp.


Scríobh an Dr. Mark Tarver - faoi dhó-luaite, thuas - chanúint Lisp ar a dtugtar Qi . Tá sé níos lú ná deich míle línte macra ag rith ar bharr Clisp. Cuireann sé an chuid is mó de na gnéithe uathúla de Haskell agus OCaml i bhfeidhm. Ar bhealach éigin, cuireann Qi iad a shárú. Mar shampla, is é Turing iomlán an t-inneall cumarsáide cineál Qi. I saol ina raibh gá le foirne d'acadúil cumasacha a scríobh Haskell, fear amháin, scríobh an Dr Tarver Qi go léir ag a mhuintir.

Léigh an mhír sin, arís, agus cuir as an bpost.


Cleachtadh don léitheoir : Samhlaigh go bhforbróidh iomaíocht láidir idir Haskell agus Common Lisp. Cad a tharlaíonn ina dhiaidh sin?

Freagra : Tosaíonn an Curse Curse isteach. Cuirfidh gach dara nó tríú haiseoir Lisp tromchúiseach a chur i bhfeidhm féin ar mheasúnú leisciúil, íonacht feidhmiúil, saigheada, meaitseáil patrún, cineálchomhdhála, agus an chuid eile. Beidh an chuid is mó de na tionscadail seo ina n-oibríochtaí aonair-mhara. Dá bhrí sin, beidh ochtó faoin gcéad acu de na gnéithe a dteastaíonn ó dhaoine is mó (ochtó faoin gcéad difriúil i ngach cás). Ní dhéanfar dochar dona orthu. Ní bheidh siad iniompartha trasna chórais Lisp. Taispeánfaidh cuid mhór gealltanas sula dtéigear iad a thréigean agus téann coimeádán an tionscadail amach as a chuid billí a íoc. Builleoidh roinnt acu Haskell ar an ngné sin nó ar an ngné sin (arís, ceann difriúil i ngach cás), ach beidh cogaí lasair orthu ar ghrúpa Us.et. comp.lang.lisp.

Deireadh an Chluiche : Cuirfidh bailitheoir macros randamach seasta-ama ar mhacra suas le feidhmiú neamhchomhartha, neamh-inmhianaithe, mar thoradh ar bhrú 80% de Haskell toisc go bhfuil Lisp níos cumhachtaí ná Haskell.


Is é morálta na scéal ná ábhar éifeachtaí tánaisteacha agus treasacha . Ní amháin go mbíonn tionchar ag an teicneolaíocht ar an méid is féidir linn a dhéanamh maidir le saincheisteanna teicneolaíochta, tá tionchar aige freisin ar ár n-iompar sóisialta. Is féidir leis an iompar sóisialta seo lúb a chur ar ais agus tionchar a imirt ar na saincheisteanna bunúsacha teicneolaíochta atá faoi bhreithniú.

Is eiseamláir painfully eloquent an cheacht seo é Lisp. Tá Lisp chomh cumhachtach, go spreagann sé neamhspleáchas aonair go pointe an fhuilteachais. Chuir an neamhspleáchas seo nuálaíocht shuntasach ar fáil mar atá i laethanta Meaisín Lisp. Cuireann an neamhspleáchas céanna bac ar iarrachtaí chun na córais "Lisp all the way down" d'aois a athbheochan; Níl aon mhais chriticiúil bailithe ag an tionscadal "OS Lisp" ó shéanadh Symbolics agus LMI.

Is é toradh amháin de na héifeachtaí tánaisteacha agus tríú leibhéil ná sin, fiú amháin má tá Lisp an teanga is cuimsitheachriamh, mar go bhfuil sé dodhéanta go teoiriciúil teanga níos sainráite a dhéanamh, beidh rudaí ag Lispers fós le foghlaim ó theangacha cláir eile . Mhothaigh na guys Smalltalk gach duine - lena n-áirítear hackers Lisp - rud nó dhó faoi chláir atá dírithe ar réad. B'fhéidir go mbeadh iontas ar an teanga clárúcháin glan agus ag teaglama Mozart / Oz dá gcuid féin.


Ní dhéanann Contrártha Lisp contrártha an t-uasmhéid Stanislav Datskovskiy : Is fearr le fostóirí gur fearr a bhíonn na hoibrithe sin, seachas an táirge is mó. Ró-fíor. Le deacracht mhór, bíonn aon duine ag plé le fóirneacht an ranga bainistíochta. Mar sin féin, tá línte deiridh a aiste fadhbanna. Chun wit:

Maidir leis an domhan "bogearraí saor in aisce", bíonn sé go dian i gcoinne dogmas tionsclaíocha i reitric ach níl sé i gcleachtas i gcónaí. Níor tharraing aon choincheap a d'fhulaigh ciúb feirme a bheith tarraingt fíor i measc na mais amaitéaracha riamh.

I bhfonóta, tugann sé Linux mar shampla den toilteanach seo chun smaointe éagsúla a shaothrú. Chun a bheith cinnte, tá pointe aige nuair a thagann sé le córais oibriúcháin (tá an trácht is fearr, go háirithe, go dona go dona). Níl pointe aige nuair a thagann sé le teangacha cláir. Bhí tionchar ag Lisp ar Python agus ar Ruby.Léiríonn go leor dá lucht leanúna meas ar Lisp agus tá cuid mhaith acu tar éis athbheochan Lisp a mhéadú. Le roinnt ceartais, tá cur síos déanta ar JavaScript mar "Éadaí Scéim i gC", in ainneoin gur tháinig na hiasanna ciúb feirme sin leo .

Mar sin féin, in ainneoin an tionchar seo, sa saol corparáideach agus oscailte foinse oscailte, níl ach codán de chuid an intinn fhorbróra fós ag Lisp a mheall an barr reatha teangacha scripteacha chun cinn. Ní féidir leis an dlúth-intinneacht MBA a bheith mar an míniú ar seo amháin. Tá cumhacht míniúcháin níos mó ag an Lisp Curse.


Tugann na timpeallachtaí saor in aisce atá ar fáil do Lisp samplaí breise ar Liospraí Lisp.

Tá sé náire é seo a chur in iúl, ach ní mór é a dhéanamh. Ná déan dearmad ar an Meaisín Lisp; Níl córais forbartha againn fós a mheaitseáil leis an méid a thógann an meán- hacker Smalltalk dedheonú ("Bhraith mé i gcónaí gurb é Lisp an teanga is fearr agus is é Smalltalk an timpeallacht níos fearr." - Ramon Leon ). Mura n-íocann siad na mílte dollar, tá gearrthóirí Lisp fós i bhfostú le Emacs.

Chuir James Gosling, údar an chéad Emacs a bhí ar siúl ar Unix, in iúl go cuí nach bhfuil athrú bunúsach ag Emacs níos mó ná fiche bliain. Tá sé seo toisc go bhfuil cothaitheoirí Emacs fós ag leagan amach céim ar dhearadh a socraíodh ar ais nuair a bhí tionscadal mac léinn gradaim ag Emacs ag MIT AI Lab, ie nuair a bhí an t-airgead fiach náisiúnta á maoiniú go neamhdhíreach fós ag forbairt Emacs. Féadfaidh Slashdotter a chur in aghaidh go bhfuil Emacs in ann go leor agus is féidir aon ní a dhéanamh a d'fhéadfadh aon timpeallacht forbartha eile a dhéanamh, ach amháin níos fearr.Iad siúd a d'úsáid Meaisíní Lisp a rá a mhalairt.

Mar sin, cén fáth nach dtugann na hackers Lisp na guys Smalltalk ina n-áit cheart? Cén fáth nach ndéanann siad córas forbartha saor in aisce a chuireann glaoch ar roinnt de na glóraí caillte ar an LispM, fiú mura féidir leo LispM eile a atáirgeadh?

Is é an chúis nach dtarlaíonn sé seo mar gheall ar an Curse Lisp. Bheadh ​​líon mór de lucht déanta Lisp comhoibriú lena chéile.Féach níos dlúithe: Ba mhaith go n-oibreodh líon mór den chineál daoine a thagann chun bheith ina hackers Lisp lena chéile. Agus bheadh ​​orthu comhoibriú le chéile ar dhearadh nach raibh tugtha cheana féin ón tús. Agus ní bheadh ​​aon smacht seachtrach, mar chaipiteal fiontair nó máistir corparáideach eile, chun iad a choinneáil ar an mbóthar.

Tá frithchuimilt ag gach tionscadal idir baill, easaontais, coinbhleachtaí maidir le stíl agus fealsúnacht. Déantar na fadhbanna sóisialta seo a chur i gcoinne an fhíric nach féidir aon tionscadal mór a dhéanamh ar shlí eile. "Ní mór dúinn go léir a chrochadh le chéile, nó ní mór dúinn crochadh ar leithligh." Ach léiríonn sainráite Liosp an fórsa frithbheartaithe seo i bhfad níos laige; Is féidir le duine tionscadal amháin a thosú i gcónaí. Dá bhrí sin, socraíonn hackers aonair nach fiú an deacracht é. Mar sin, scoirfidh siad as an tionscadal, nó ní ghlacann siad leis an tionscadal chun tús a chur leis.Is é seo an Curse Lisp.

D'fhéadfadh sé go n-éireodh le Emacs fiú rud éigin a fháil go maith go leor . Dá bhrí sin, is é Lisp Curse an ally of Worse is Better.



Cosúil leis an mbealach a cheapann mé agus láithreáin ghréasáin a dhearadh? Hire dom!


 Rudolf Winestock , Gach ceart ar cosaint 

Foilsíodh an aiste seo Dé hAoine, 15 Aibreán, 2011.