Proč pouze návrháři mohou vytvářet nové programovací jazyky

Ve srovnání s verzemi, které jsou hacknuty dohromady pozdě v noci pod šíleným tlakem na termíny, jsou programovací jazyky, které vycházejí z akademické sféry, selhání. Tedy ne všechny. Historie může mluvit sama za sebe. Přes Počítačová vědkyně UC Irvine Cristina Videira Lopes , která si zaslouží uznání za jakýkoli postřeh, který byste mohli získat z tohoto příspěvku, který je glosou jejího vynikajícího, i když dlouhého, Výzkum v programovacích jazycích :





Jazyky, které lidé používají a milují:

  • PHP – Hacked together by Rasmus Lerdorf v roce 1994. Původně používaný pro sledování návštěv jeho online životopisu, pojmenoval sadu skriptů ‚Personal Home Page Tools‘, častěji označované jako ‚PHP Tools‘. Podle neformálního průzkumu na adrese langpop.com (stránka může být mimo provoz) je to 4. nejoblíbenější jazyk na planetě.
  • JavaScript – Brendan Eich s tím začal v roce 1995. JS musel vypadat jako Java jen méně, být Javaův hloupý dětský bratr nebo chlapec-rukojmí pomocník. Navíc jsem musel mít hotovo za deset dní resp stalo by se něco horšího než JS . Díky webu, možná nejpopulárnějšímu jazyku současnosti.
  • Ruby, od Yukihiro Matz Matsumoto kolem roku 1994. Chtěl jsem skriptovací jazyk, který by byl výkonnější než Perl a více objektově orientovaný než Python. To je proč já rozhodl se navrhnout svůj vlastní jazyk .

Mezitím jazyky navržené akademiky, kteří jsou posedlí vnitřní konzistencí a správností, zahrnují spoustu většinou mrtvých jazyků: Fortran, Cobol, Lisp, C a Smalltalk. Jedinými výjimkami jsou .NET a Java, které byly produkty značné investice společností Microsoft a Sun.

Ve světle této historie, stejně jako své vlastní zkušenosti z akademické sféry, Lopes tvrdí, že důvodem, proč věž ze slonoviny již nevytváří programovací jazyky, které lidé ve skutečnosti používají, je to, že zachází s programováním jako s vědou, i když ve skutečnosti jde spíše o design. disciplína.



Rád bych vrátil design do svých denních aktivit. Rád bych nechal své studenty zapojit se do navrhování nových věcí, jako jsou nové programovací jazyky a prostředí – mám spoustu nápadů, co bych v této oblasti chtěl dělat! Domnívám se, že existuje cesta ke stanovení souboru přísných kritérií týkajících se posuzování designu, která se liší od vědecké/kvantitativní validace.

Opravdu, tvrdí Lopes, byl to jeden z těch výjimečných případů, kdy programátor v akademické sféře dostal volnou ruku, který dal vzniknout webu.

Jedním dobrým příkladem experimentování s designem, které je v rozporu s vědeckými důkazy, je návrh, který Tim Berners-Lee předložil CERNu ohledně implementace hypertextového systému, z něhož se stal web. Nikde v tom návrhu nenajdeme plán ověřování nároků. To je jen dobrý návrh na zajímavý propojený informační systém. Dokážu si představit, že si manažer TB-L myslí: hmm, dobře, to je zajímavé, je to chytrý člověk, nepožaduje tolik zdrojů, nechme ho to udělat a uvidíme, co z toho vzejde. Pokud z toho nic nebude, nevadí. Pokud by TB-L musel ve druhé fázi navrhnout vědecký nebo technický plán hodnocení tohoto systému, nainstalujeme ho na mnoho strojů, možná by dnes byl svět úplně jiný, protože by se mohl dostat do černé díry. snaží najít kvantifikovatelné důkazy pro něco, co nepotřebovalo takový druh ověření.



Hodně z toho závisí na lidském faktoru v programovacích jazycích. Pokud nejsou snadno použitelné, nebudou se šířit. Tímto způsobem jazyky a celé systémy (jako UNIX) byly přirovnávány k počítačovým virům . Tento druh věcí je obtížné, ne-li nemožné měřit. Je to subjektivní – druh problému, který může vyřešit design, nikoli věda. Skutečnost, že těmito návrháři budou počítačoví vědci, je pouze sémantická. Kód je poezie , po všem.

skrýt