Jakie są przesłanki pozwalające na ponowne wiązanie zmiennych w eliksiru, gdy Erlang na to nie pozwala?Eliksir: uzasadnienie pozwalające na ponowne powiązanie zmiennych
Odpowiedz
Ponieważ jest to prostsze.
Spójrz na this question zamieszczonych na liście dyskusyjnej Erlang w roku 2009. Konkretnie ten fragment:
Lubię dopasowanie wzorca w większości przypadków, ale uważam, że piszę tyle kod, w którym potrzebuję aktualizować przyrostowo strukturę danych, i utrzymywanie tego kodu jest uciążliwe, gdy mam kod taki jak:
X = foo(),
X1 = bar(X),
X2 = xyzzy(X1),
blah(X2).
a później chcą go zmienić na:
X = foo(),
X1 = whee(X),
X2 = bar(X1),
X3 = xyzzy(X2),
blah(X3).
redakcji - to jest odpowiedź na to pytanie.
To bardzo często przechodzi przez IRC. Jest to wynikiem złej praktyki nazywania zmiennych i nie ma potrzeby wprowadzania ponownego wiązania w celu "naprawienia" tego; po prostu przestań używać pojedynczych liter i liczników jako nazw zmiennych.
Jeśli na przykład, że został napisany
FooStateX = foo(),
PostBarX = bar(FooStateX),
OnceXyzziedX = xyzzy(PostBarX),
blah(OnceXyzziedX).
Kod wykazać, że nie jest wcale tak rzadkie w Erlang (uwaga uwaga „To przechodzi przez IRC dużo”). Zdolność eliksirów do ponownego wiązania nazw oszczędza nam konieczności generowania nowych nazw dla rzeczy przez cały czas. To wszystko. Warto pamiętać, że oryginalni twórcy Erlanga nie próbowali budować funkcjonalnego języka. Byli po prostu pragmatycznymi programistami, którzy mieli problem do rozwiązania. Podejście Elixir to prosty pragmatyzm.
Oto uzasadnienie prosto z pierwszej ręki:
http://blog.plataformatec.com.br/2016/01/comparing-elixir-and-erlang-variables/
języki najbardziej funkcjonalnych nie pozwalają na ponowne związanie zmiennych w tym samym zakresie. Tak więc eliksir pozwalający na to zdecydowanie nadaje mu niefunkcjonalny, imperatywny charakter. Problemem Erlanga jest raczej brak zakresu lub dokładniej, że istnieje tylko jeden zakres w całej klauzuli funkcji. Mieliśmy poważne dyskusje, czy wprowadzić zakres, ale ostatecznie zdecydowaliśmy się go odrzucić, ponieważ był on wstecz niezgodny z istniejącym systemem. A programiści nienawidzą niespójnych zmian wstecz.
Sposób Erlang ma jedną poważną zaletę: jeśli źle zrobisz, generalnie pojawia się błąd, więc możesz popełnić błąd.Porównywano po prostu dziwne zachowanie, gdy zmienna nie ma wartości, której oczekuje się, aby była trudniejsza do wykrycia i poprawienia.
Osobiście uważam, że problem nowych nazw zmiennych, na przykład przy użyciu schematu numerycznego, jest znacznie przesadzony. W porównaniu do czasu, jaki zajmuje mi opracowanie WHAT Mam zamiar zrobić zmianę nazw zmiennych jest trywialne. A po chwili widać to bez zastanowienia. Szczerze.
EDIT:
Również podczas łączenia danych za pośrednictwem sekwencji funkcji faktyczne znaczenie danych zmienia się więc ponowne użycie tej samej nazwy zmiennej może być bardzo mylące. Może to w końcu oznaczać ogólne "dane, które przechodzą z jednej funkcji do drugiej".
Uzgodnione. Myślę, że przykłady z ponumerowanymi zmiennymi są wymyślone lub pokazują słabe kodowanie. Wielokrotne przekazywanie wyników z jednej funkcji jako argumentów do następnej funkcji woła o składanie, a nie zmienne ponowne wiązanie. –
@SteveVinoski lub woła o potok, który jest pomysłem przyjętym przez kilka języków FP. –
@OnorioCatenacci Mam problem z określeniem "pipelining" i do czego się odnosi. Dla mnie jako starego użytkownika Unixa i współbieżnego programisty słowo "rura" wykrzykuje współbieżność i paralelizm, podczas gdy sposób, w jaki został zdefiniowany w niektórych językach funkcjonalnych, nie ma nic wspólnego z żadnym z nich. Jest używany tylko jako cukier syntaktyczny dla zagnieżdżonych wywołań funkcji. Chociaż może to być użyteczne samo w sobie, powinno być nazywane czymś innym, a termin ten straci wszelkie znaczenie. – rvirding
Tak, ale ponowne wiązanie oznacza utratę unikalnego znaczenia zmiennej. Teraz muszę skanować cały kod, aby dowiedzieć się, co oznacza teraz zmienna. To komplikuje sprawy. Sądzę, że jest to gorsze niż konieczność generowania nowych nazw. Również podczas przekazywania danych przez rzeczywiste ** znaczenie ** może się zmienić, więc ponowne użycie nazwy zmiennej oznacza, że stała się po prostu fałszywą nazwą. – rvirding
To interesująca rozmowa, którą Robert i na pewno wolę mieć na forum, na którym mamy więcej miejsca, aby przeliterować nasze myśli na ten temat. Rozumiem dokładnie, do czego dążysz, ale są też pragmatyczne problemy; miejsca, w których zezwolenie na ponowne wiązanie jest bardziej pragmatyczne niż czystość funkcjonalna. –
Onorio rozpoczynać dyskusję na ten temat na liście mailingowej eliksiru, a ja to zrobię. – rvirding