EVAL na schemacie

Question

Peter Norvig w PAIP mówi:
„w nowoczesnych lisps ... eval jest stosowany rzadziej (w rzeczywistości w schemacie nie ma w ogóle eval)” "jeśli znajdziesz się za pomocą eval, ty prawdopodobnie robią coś niewłaściwego ".

Jakie są sposoby obejścia używania eval w schemacie? Czy w takim przypadku eval jest absolutnie konieczny?

Answer 1

Są przypadki, w których konieczne jest eval, ale zawsze zawierają zaawansowane programy, które powodują dynamiczne ładowanie kodu (np. Serwletu na serwerze WWW). Jeśli chodzi o sposób na "obchodzenie" używania go - to zależy od faktycznego problemu, który próbujesz rozwiązać, nie ma magicznego rozwiązania pozwalającego uniknąć eval z wyjątkiem ... eval.

(BTW, wydaje mi się, że PAIP został napisany dawno temu, zanim eval został dodany do raportu Scheme).

Answer 2

Po pierwsze, PAIP jest napisane dla Common Lisp, a nie dla Schematu, więc nie wiem, czy powiedziałby to samo. Makra CL działają podobnie jak eval, ale w czasie kompilacji zamiast w czasie wykonywania, i są inne rzeczy, które możesz zrobić. Gdybyś pokazał mi przykład użycia eval w Common Lisp, mógłbym spróbować wymyślić inne metody robienia tego samego.

Nie jestem programistą Scheme. Mogę mówić tylko z perspektywy Norviga, jako programista Common Lisp. Nie sądzę, żeby mówił o Planie, i nie wiem, czy znał i znał szczególnie Schemat.

Po drugie, Norvig mówi "prawdopodobnie robisz coś niewłaściwego" zamiast "robisz coś niewłaściwego". Oznacza to, że dla wszystkich, których zna, są chwile, kiedy eval jest właściwą rzeczą do użycia. W języku takim jak C, powiedziałbym to samo o goto, chociaż są one całkiem przydatne w niektórych ograniczonych okolicznościach, ale większość użytkowników korzysta z nich przez osoby, które nie znają się lepiej.

Answer 3

Można napisać interpreter schematu w schemacie. Jest to z pewnością możliwe, ale nie jest praktyczne.

To jest ogólna odpowiedź, ponieważ nie mam używanego schematu, ale może ci to pomóc. :)

Answer 4

Myli się. Oczywiście w Schemacie jest eval.

Answer 5

Jednym z zastosowań Widziałem na „eval” w środowiskach skryptowych jest parametryzacji niektórych kod z wartościami wykonawczymi. na przykład w psuedo-C:

param = read_integer(); 
fn = eval("int lambda(int x) { 
      int param = " + to_string(param) + "; 
      return param*x; }"); 

Mam nadzieję, że okaże się to naprawdę brzydkie. Wklejanie ciągów w celu utworzenia kodu w czasie wykonywania? Ick. W Scheme i innych leksykalnych Lisps, możesz sparametryzować funkcje bez użycia eval.

(define make-my-fn 
    (lambda (param) 
    (lambda (x) (* param x))) 

(let* ([ param (read-integer) ] 
     [ fn  (make-my-fn param ]) 
    ;; etc. 
) 

Jak wspomniano, dynamiczne ładowanie kodu i takie wciąż wymagają eval, ale sparametryzowany kod i skład kodu mogą być produkowane z pierwszorzędnymi funkcjami.

Answer 6

Będziesz potrzebował eval w bardzo rzadkim przypadku. Przypadek, który przychodzi na myśl pierwszy, polega na tym, że zbudujesz program za pomocą programu, a następnie go wykonasz. Dzieje się tak na przykład w przypadku algorytmu genetycznego na przykład. W tym przypadku budujesz dużo losowych programów, które będziesz musiał wykonać.Posiadanie eval w połączeniu z kodem będącym danymi sprawia, że ​​seplenienie jest najłatwiejszym językiem programowania do wykonywania algorytmu genetycznego.

Posiadanie tych właściwości wiąże się z dużymi kosztami (pod względem szybkości i rozmiaru programu), ponieważ usuniesz wszystkie możliwości optymalizacji czasu kompilacji na kodzie, który zostanie oceniony, i musisz zachować pełny interpreter w Twój wynikowy plik binarny.

W związku z tym uważa się, że złym rozwiązaniem jest użycie eval, gdy można tego uniknąć.

Answer 7

Twierdzenie, że Schemat nie ma numeru eval, jest niedokładne przynajmniej dla najnowszych wersji standardu Scheme (R5RS i późniejszych). Zwykle jest to makro, które generuje kod w czasie kompilacji.

To prawda, że ​​należy unikać eval. Na początek, nigdy nie widziałem zadowalającej definicji tego, jak powinien się zachowywać, na przykład:

1. Jakich wyrażeń środowiska należy oceniać, gdy nie przekazuje się środowiska?
2. Po przejściu w środowisku, jak one działają? Na przykład standardy nie określają sposobu, w jaki można wstępnie powiązać wartość w tym obiekcie środowiska.

To powiedziawszy, ja pracowałem z zastosowania schematu, który używa eval do generowania kodu dynamicznie w czasie wykonywania, w przypadku gdy struktura obliczeń nie mogą być znane w czasie kompilacji. Chodziło o to, aby system Scheme do kompilował kod w czasie wykonywania ze względów wydajnościowych - a trudność polega na tym, że nie ma standardowego sposobu poinformowania systemu Scheme "o kompilacji tego kodu".

Należy również pamiętać, że eval może stanowić ogromne zagrożenie bezpieczeństwa. Nigdy nie powinieneś nigdy dodawać niczego, co nie ma ogromnej ściany oddzielenia od danych wprowadzanych przez użytkownika. Zasadniczo, jeśli chcesz bezpiecznie używać eval, powinieneś to zrobić w kontekście fazy generowania kodu systemu podobnego do kompilatora, po tym, jak przeanalizowałeś niektóre dane wejściowe (używając wszechstronnie zdefiniowanej gramatyki!).