Budoucnost programování?

1.10.2006 13:06 | Přečteno: 2374× | Ani zbla

Tak jsem narazil na jednu stránku (subtextual.org) pojednávající o "novém" přístupu k programování. "Novým" je myšleno vizuální programování (neplést s klikáním formulářů v Delphi).

Autor tvrdí, že stávající způsob programování je složitý a pro lidi nevhodný, místo editace zdrojáku navrhuje tvorbu jakéhosi syntaktického stromu.

Na stránkách je motivační článek, "paper" a hlavně živé demo (natahuje se pomalu, ale funguje).

Myslím, že bohoatě stačí skouknout to demo. Ten strom se vytváří takovým kopírováním primitiv a je samozřejmě ekvivalentem toho, co popisujeme ve zdrojácích. Zajímavé je, že ty úpravy jsou atomické - každá úprava převádí jeden korektní strom na další, rovněž korektní. To je rozdíl oproti datlování po znacích, kdy většinu času zdroják gramatice neodpovídá.

Další zajímavá věc je, že při té editaci jsou rovnou vidět (mezi)výsledky výpočtu. Mezi časem editace a běhu není rozdíl. To vytváření programu připomíná práci v tabulkovém kalkulátoru, jen se složitějšími vazbami. Funkcionální programování v tabulkovém kalkulátoru.

Samozřemě to má své zásadní ale. V demu se programuje faktorial, tedy něco takového:

def fact(n)
	n == 0 ? 1 : n * fact(n-1)
end

případně (pokud chceme zvýšit čitelnost zdrojáku do té míry, že se podobá angličtině):

def fact(n)
	if n == 0 then
		return 1
	else
		return n * fact(n-1)
	end
end

Tento primitivní příklad zabere autorovi několik minut a nepřijde mi to nějak extra jednoduché (a výsledný strom je poměrně košatý). Zkrátka schopnost abstraktního myšlení je potřebná u tohoto vizuálního programování úplně stejně jako u toho, co používáme.

Datlování zdrojáků se drží tak dlouho, protože je zatím pořád nejefektivnější, zkušeným jedincům v dobrém jazyce umožňuje vyjádřit myšlenky a algoritmy celkem kompaktně.

       

Komentáře

[Heron]

Znám programovací prostředí (asi bych to nenazýval jazykem) LabVIEW, kde se programuje spojováním ikonek (něco jako návrh schematu elektronického obvodu), představujících jednotlivé knihovní funkce (nebo primitiva). Programování je to velmi rychlé a svým způsobem bezpečné.

[alblaho]

Hmm, díval jsem se na nějaké demo - je to namáklý a komplikovaný program. Oproti tomu Subtext je opravdu jenom jednoduchý strom a nějaké operaco. Vizuální lisp.

Možná, že to nakonec marné nebude. V Lispu se lze taky ztratit a přesto na něj někteří nedají dopustit. Ale těžko to bude programování s jednoduchostí tabulkového kalkulátoru. Ve škole se učíme aritmetiku a pak jsme schopní dělat v Excelu. A kdo umí programovat, může k tomu používat jakékoliv nástroje. Ale kdo to neumí, tomu nepomůže ani svěcená.

[kub.]

Připomíná mi to Haskell a funkcionální programování

[Pavel Křivánek]

Self video

[Kyosuke]

Tak tomu říkám příchod ve spávnou chvíli! I am also very Self-confident.

[alblaho]

Moc hezké. Dorazila mě implementace Smalltalku v Selfu.

Stane se tohle někdy mainstreameme?

[Kyosuke]

Teď, když uvolnili Strongtalk, je šance, že se podobné technologie rozvinou víc …

Radši přidám ještě odkaz na samotnou stránku, kde jsem přesně podle očekávání našel další videa:

http://www.smalltalk.org.br/movies/

[Messa]

S diffem a systémy pro správu verzí se to také kamarádí?

[alblaho]

Ten pán od Subtextu něco o správě verzí hovořil.

Ale jelikož syntaktický strom je lepší než jeho serializace v textovém zdrojáku, nebude diff ani správa verzí problém.

Ale je fakt, že u dynamických systémů, které vlastně pořád "běží" si moc jistý nejsem. Smalltalk je prý nejdéle běžící program na světě

[Kyosuke]

V mailing listu Squeaku padla domněnka, že Squeak byl jako potomek Smalltalku-80 v podstatě spuštěn někdy kolem 1977, kdy byl Smalltalk pravděpodobně naposledy bootstrapnut. Pavel Křivánek možná bude vědět víc.

[Lukáš Rýdlo]

Huh, sice jsem tomu pánovi místy nerozuměl, ale stačilo mi, co jsem viděl . Označil bych to za takový "naklikaný funkcionální jazyk". Haskell jsem sice vcelku pochopil, ale tím to skončilo. A ještě ho klikat do nějakého stromečku... Ty teze, co shrnuje v závěru nejsou v principu špatné a jsem bez debat ochoten je přijmout, nicméně mi to celé připadá spíš jako další "akademická hříčka". Ale nechci soudit, dokud to nebudu moci podrobit důkladné analýze svých rukou na svém počítači . Do té doby zůstanu u léty prověřeného datlování příkazů. Nakonec dobře okomentovaný imperativní zdroják s rozumně pojmenovanými proměnnými je mnohdy přehlednější než taková "funkcionální stromová struktura" jako na tom "videu".

[wake]

no, nevim kolik bych toho napsala - vetsinou si sve ubohe funkce dokazu naabstrahovat sama rychlejc, ale jako debugger to neni spatny.

[Libor Klepac]

neni to neco jako isagraf? to video se mi nejak neprehrava