Vlákno názorů k článku Erlang: proměnné a funkce od x14 - Vždyť jsou to zcela evidentní konstanty (stejně jako...
-
Karel (neregistrovaný)
Konstanta je poměrně široký pojem. Viz například wikipedia. Je sada vlastností, které se konstantám přisuzují. Jenže každý jazyk má tu sadu trochu jinou. Společným průnikem je, že po zapsání hodnoty ji nelze změnit. Což odpovídá proměnným v Erlangu. Jsou další vlastnosti typu "musí být definovány při překladu" nebo "jedná se o globální hodnotu", které ale řada jazyků nevyžaduje, takže je lze těžko vydávat za obecnou vlastnost konstant.
Osobně si myslím, že ani "proměnná" ani "konstanta" není přesný název pro to, co v Erlangu je. Měnit se moc nedá, ale také to není konstantní po celou dobu běhu programu (protože je to lokální, při každém volání dané funkce se vytváří znovu a vy tam můžete zapsat jinou hodnotu). Přijde mi, že ta věc byla v článku popsána natolik detailně, že název mohl být zvolen jakýkoliv bez rizika, že to někoho zmate. Ale nepřekvapuje mě, že někdo by chtěl použít název jiný a argumentuje nepřesností zvoleného názvu. Jenže ani ten jiný název není dost přesný.
-
Karel (neregistrovaný)
Jenže na rozdíl od konstant to neustále zaniká a vzniká znovu, pokaždé s jinou hodnotou. Důraz ve vaší větě je tudíž na "dobu své existence", zatímco u konstant se obvykle očekává "dobu běhu programu".
Klidně tomu konstanta říkejme, ale dost lidí to zblbne, protože budou předpokládat, že je to globální a že si to hodnotu pamatuje. A ono je to lokální a hodnotu to zapomene hned jak vyskočíte z funkce.
-
Inkvizitor (neregistrovaný)
Spíš bych řekl, že proměnné ve funkcionálních (deklarativních) programovacích jazycích znamenají něco jiného než v imperativních.
V imperativních je to symbolická adresa buňky, ve které je uložena hodnota.
Ve funkcionálních programovacích jazycích je to symbol, který zastupuje konkrétní hodnotu, která se vyskytuje ve výpočtu (něco jako proměnné v matematice - rovnice atd.).
V tom druhém případě je v zásadě úplně jedno, jestli existuje nějaká buňka v paměti, jestli se symbol vyloučí při zjednodušení výrazu atd. Prostě symbolicky popíšeme, v jakém vzájemném vztahu jsou vstupní a výstupní data a ono se to nějak vypočítá.
Tudíž bych do toho moc nepletl objekty atd., protože ten rozdíl je jinde.
-
rty (neregistrovaný)
To se pletete, v dobrých imperativních jazycích se již dávno nepracuje s adresami buněk nebo buňkami jako takovými, to skončilo před rokem 1995. Dnes to funguje naprosto stejně, kompilátor zpětně dedukuje myšlenky programátora a následně si implementaci těchto myšlenek udělá sám.
Koncept proměnné nutně musí být něco umožňuje změnu. Pakliže v Erlangu nebo jiném jazyku proměnné měnit nejdou, pak to nemohou být proměnné. Nejbližší programátorská záležitost která umí "single assigment" je objekt.
-
Inkvizitor (neregistrovaný)
Nemohu souhlasit, aspoň ne bez dalšího vysvětlení.
> v dobrých imperativních jazycích se již dávno nepracuje s adresami buněk nebo buňkami jako takovými, to skončilo před rokem 1995
Sémantika je ale v podstatě stejná nebo dost podobná. Mám nějaký chlívek, který se nějak jmenuje a do něj jednou vložím jednu hodnotu a podruhé jinou. Mírnou modifikací je "přeštítkování", tj. přiřazení reference na jiný objekt původnímu jménu (nebo naopak - stejný štítek vezmu jedné hodnotě/objektu a přilepím ho jinam). U (čistě) funkcionálních jazyků to tak nefunguje - když řeknu, že x znamená tohle, tak přes to nejede vlak.
> kompilátor zpětně dedukuje myšlenky programátora a následně si implementaci těchto myšlenek udělá sám
Ano, v ideálním případě to možné je. Nicméně opět - sémantika (z pohledu programátora) je jiná.
> Koncept proměnné nutně musí být něco umožňuje změnu. Pakliže v Erlangu nebo jiném jazyku proměnné měnit nejdou, pak to nemohou být proměnné.
Ne, koncept proměnné (v matematickém slova smyslu) znamená symbol, jehož hodnotu před provedením výpočtu obecně neznáme (může se měnit).
> Nejbližší programátorská záležitost která umí "single assigment" je objekt.
Jenže objekt je právě ta hodnota a ne odkaz na ni (není to ani chlívek a ani štítek). Alespoň tak jsem pojmu "objekt" vždychky rozuměl já.
-
Jirka (neregistrovaný)
http://stackoverflow.com/questions/15653738/whats-immutable-variable-means-in-functional-programming
Všechny funkcionální jazyky mají immutable variables, Erlang vám jen nedovolí vytvořit novou proměnnou se stejným názvem, která by přestínila předchozí. V Erlangu zkrátka proměnná odpovídá matematické proměnné - "pro všechna X, pro která platí ...“. Dokud X s nesvážeme s kritériem, může nabývat libovolné hodnoty. Po svázání s kritériem (hodnotou) ji má už na trvalo. Není to imperativní model ani OOP, přijměte jiný mentální model. Funkcionální model je starší než OOP - LISP(50. léta) vs. Simula-67(1967) a Smalltalk (1970, 1980).
To, co znáte jako OOP, je stejně hybrid - imperativní programování s objekty. Ve skutečném objektovém modelu nejsou cykly ani větvení, stačí polymorfismus.
Viz rozhovor s doc. Merunkou.
http://www.comtalk.net/Squeak/5V Erlangu můžete "přiřadit" hodnotu proměnné pouze jedno. Proč? Protože všechny ostatní varianty jsou horší! :-) Na první pohled radikální myšlenka, ale má to výhody - snadno se to paralelizuje, nemusíte nic zamykat, nikdo vám nic pod rukama nepřepíše, snadno se to ladí.
http://media.libsyn.com/media/seradio/seradio-episode89-JoeArmstrongOnErlang.mp3
Pokuste se myslet jinak.
Síla Erlangu je v tom, že místo shared state concurrency, která vyžaduje zamykání, synchronizaci a vede k dead-lockům, používá message passing concurrency, která je mnohem jednodušší. Pokud eliminujete veškerý sekvenční kód z vašeho programu, může váš program běžet stejně dobře na dvoujádrovém procesoru jako na 1024-jádrovém procesoru.
-
Jirka (neregistrovaný)
Představte si OOP, kde by každý program běžel ve svém vlastním procesu a zprávy by se mezi objekty zasílaly asynchronně. Při poslání zprávy (zavolání metody) by volající objekt nečekal až volaná metoda skončí a vrátí hodnotu. Oba objekty by běžely paralelně. Toto přesně je Erlang, jen těm objektům říká procesy.
Erlang má vlastní scheduler v userlandu. Vzhledem k tomu, že Erlang narozdíl od jádra operačního systému ví, jak velký je stav procesu v okamžiku přepnutí kontextu, nemusí strkat na stack haldy registrů, které zrovna obsahují už nepoužívanou hodnotu, uloží jen ty, co se v dané chvíli používají a tím je režie nutná na přepnutí kontextu nižší, což spolu s nižšími paměťovými nároku userland proxesů má za následek, že těch běžících Erlang procesů může být desetitisíce nebo statisíce místo stovek až tisíců. Platí se za to neoddělením paměťových prostorů procesů běžících na jednom virtuálním stroji, ale i na to snad existuje řešení — viz Erlang on Xen - http://erlangonxen.org
-
> muzete v Linuxu vytvorit pres 100000 procesu
Ono lepsi nez teoretizovat, je realne si to vyzkouset:
https://plus.google.com/109540561880466469418/posts/V6WohZp4zwg
Zkus si na nejake prehistoricke plecce vyrobit 50000 OS procesu a zmerit si, jak dlouho to trvalo...
-
Pavel TišnovskýZlatý podporovatelJde o to, co to znamená "změna proměnné". Pokud za proměnné považujeme navázání symbolu na hodnotu, tak s tím není problém, i když ta hodnota je immutable (což je většinou fajn vlastnost :-).
-
Pavel TišnovskýZlatý podporovatel
Přesně, proto například Clojure, které má v tomto ohledu s Erlangem mnoho společného, se termínu "variable" úplně vyhýbá a nabízí namísto toho čtyři (vlastně pět) odlišných pohledů na "pojmenované hodnoty".
-
Považuji, za evidentní, že hodnota, kterou 'není možné změnit' (=není proměnná), je konstantní. Nejsem si ale jist, jestli zde nejde o něco, co mě minulo. Připadá mi to jako ustálené nepřesné názvosloví, kterému ale každý rozumí (něco jako hromosvod). Možná, že se tak dají chápat proměnné z hlediska názvosloví používaného v matematice (v zápisu funkcí...). Pokud ale jde o uložení nějakých hodnot do paměti, tak je pro mě osobně (jakožto starého imperativce) daleko pravdivější a jasnější mluvit o konstantách.
A Haskel, že nemá konstanty? Uff, to jsou buď špatně všechny manuály, co jsem četl, nebo jsem nic nepochopil - já to pochopil tak, že to, co se mění, je výsledkem funkce a to, co se nemění, je konstantní hodnota. Zatím se mi zdá, že to má úplně přesně stejně jako Erlang.
-
Karel (neregistrovaný)
Jako matematik nesouhlasím. Konstanty typu Pi nebo e mají vždy stejnou hodnotu, která nemůže být nikdy jiná.
Jako fyzik nesouhlasím. Planckova konstanta se rovněž nemůže měnit.
Jako chemik nesouhlasím. Avogadrova konstanta není něco, co by se podle potřeby nastavovalo jinak. Argument "pro danou zkumavku se ale už nemění" neberu.A jako imperativec také nesouhlasím. Není to možné to definovat a není to globální.
Svět není černobílý. Bohužel ani "konstanta" ani "proměnná" na popsání té entity Erlangu nesedí.
-
Ale jo, rozumím, co chce básník říci, jenom bych do toho vůbec nezatahoval tu viditelnost - to je prostě jiná a s konstantností entity nesouvisející vlastnost. To s tím imperativcem jsem zmínil kvůli tomu, že třeba pro mne bylo klíčové si uvědomit, že v ryze funkcionálním vesmíru je všechno naprosto jinak - třeba, že je definitivní konec všem cyklům, protože prostě nemám možnost iterovat proměnnou cyklu...
-
Dobre to pise Pavel Tisnovsky vys - neni to nic jineho, nez pojmenovani nejake hodnoty. Jazyk nepracuje s nicim jinym, nez s nejakymi hodnotami, takze kdyz reknu
x = 3
tak to vlastne neznamena nic jineho nez "odted trojce rikej x - kdekoli napisu x, tam vraz trojku". A je uplne jedno, jestli potom napisu nekam 1+3 nebo 1+x, protoze vysledek je stejny.
U imperativnich jazyku je promenna uplne neco jineho - je to jakysi pojmenovany CHLIVECEK, do ktereho muzu davat ruzne hodnoty. V Prologu a Erlangu, ktery z nej vychazi, je to uplne jinak. Oba terminy - promenna i konstanta, jsou zavadejici.
-
Rad (neregistrovaný)
Myslim, ze na nazvu jednoltivych 'objektu' jazyka neni nutno lpet na nejake presne definici.
Sice se uz vicemene ustalily pojmy jako 'konstanta', 'promenna' do povedomi, ale podstatne je vysvetleni jejich vlastnosti. A to je podstatne.
takze by se dalo vyjadrit:
erl.variable != php.variable
...kazda ma jinou vlastnost
:-D
ČLÁNKY DO MAILU