Skompilowany język dynamiczny

Question

Szukam języka programowania, dla którego istnieje kompilator i który obsługuje kod modyfikujący. Słyszałem, że Lisp obsługuje te funkcje, ale zastanawiałem się, czy jest więcej języków C/C++/D-Like z tymi funkcjami.

Aby wyjaśnić, co mam na myśli:

Chcę mieć możliwość w jakiś sposób dostępu do kodu Programms w czasie wykonywania i stosowania jakichkolwiek zmian do niej, czyli usuwanie poleceń, dodając polecenia, zmieniając im. Jakbym miał AstTree mojego programu. Oczywiście nie mogę mieć tego drzewa w skompilowanym języku, więc musi być zrobione inaczej. Kompilacja musiałaby tłumaczyć komendy samo-modyfikujące na ich binarne równoważne modyfikacje, aby działały w środowisku wykonawczym ze skompilowanym kodem.

ja nie chce być uzależniony od VM, to jest to o co mi chodzi z skompilowany :)

Answer 1

Prawdopodobnie istnieje powód, dla którego Lisp jest taki, jaki jest? Lisp został zaprojektowany do programowania innych języków i do obliczeń z symbolicznymi reprezentacjami kodu i danych. Granica między kodem i danymi już nie istnieje. Wpływa to na projektowanie i wdrażanie języka programowania.

Lisp ma swoje funkcje syntaktyczne do generowania nowego kodu, tłumaczenia tego kodu i jego wykonania. W ten sposób wstępnie przeanalizowany kod wykorzystuje również te same struktury danych (symbole, listy, liczby, znaki, ...), które są używane również w innych programach.

Lisp zna swoje dane w czasie wykonywania - możesz zapytać o wszystko dla swojego typu lub klasy. Klasy to same obiekty, podobnie jak funkcje. Zatem te elementy języka programowania i programów są również pierwszorzędnymi obiektami, mogą być nimi manipulowane. Język dynamiczny nie ma nic wspólnego z "dynamicznym pisaniem".

"Język dynamiczny" oznacza, że ​​elementy języka programowania (na przykład poprzez klasy meta i protokół metaobiektu) oraz program (jego klasy, funkcje, metody, szczeliny, dziedziczenie, ...) mogą być przeglądanym w środowisku wykonawczym i można go modyfikować w czasie wykonywania.

Prawdopodobnie im więcej tych funkcji dodasz do języka, tym bardziej będzie wyglądać jak Lisp. Ponieważ Lisp jest prawie lokalnym maksimum prostego, dynamicznego, programowalnego języka programowania. Jeśli chcesz korzystać z tych funkcji, możesz pomyśleć, jakie cechy Twojego innego języka programowania musisz poddać lub chcesz zrezygnować. Na przykład dla prostego języka kod-jako-danych, cały model składni C może nie być praktyczny.

C-like i "dynamiczny język" może nie być dobrym rozwiązaniem - składnia jest częścią całości obrazu. Ale nawet model składni C ogranicza nas, jak łatwo możemy pracować z dynamicznym językiem.

Answer 2

„dynamicznego języka” to szerokie pojęcie, które obejmuje szeroki zakres pojęć. Dynamiczne pisanie jest obsługiwane przez C# 4.0, który jest językiem skompilowanym. Objective-C obsługuje również niektóre funkcje języków dynamicznych. Jednak żadna z nich nie jest nawet bliska Lispowi pod względem wspierania kodu samoczynnie modyfikującego.

Aby wesprzeć taki stopień dynamiki i kod samoczynnie modyfikujący, powinieneś mieć w pełni funkcjonalny kompilator do wywoływania w czasie wykonywania; to właściwie tak naprawdę jest tłumacz.

Answer 3

Możesz rozważyć użycie C++ z LLVM do (głównie) przenośnego generowania kodu. Możesz nawet wciągnąć clang również do pracy w drzewach C (pamiętaj, że clang ma niepełne wsparcie dla C++, ale jest napisane w samym C++)

Na przykład, możesz napisać rdzeń samo-modyfikacji w C++ do interfejs z clang i LLVM, a reszta programu w C. Przechowuj drzewo parse dla głównego programu obok kodu auto-modyfikacji, a następnie manipuluj nim z klangiem w czasie wykonywania. Clang pozwoli ci bezpośrednio manipulować drzewem AST w dowolny sposób, a następnie skompilować go aż do kodu maszynowego.

Należy pamiętać, że manipulowanie AST w skompilowanym języku zawsze będzie oznaczało włączenie kompilatora (lub interpretera) do programu. LLVM jest po prostu łatwą opcją.

Answer 4

C# zawsze pozwalał na samodzielną modyfikację kodu.

• C# 1 pozwoliło ci w zasadzie tworzyć i kompilować kod w locie.
• C# 3 dodano "drzewa wyrażeń", które oferowały ograniczony sposób dynamicznego generowania kodu przy użyciu modelu obiektowego i drzewek składni abstrakcyjnej.
• C# 4 opiera się na tym przez włączenie obsługi "Dynamic Language Runtime". Jest to prawdopodobnie tak bliskie, jak przejście do funkcji podobnych do LISP na platformie .NET w skompilowanym języku.

Answer 5

Spróbuj groovy. Jest to dynamiczny język oparty na Java-JVM, który jest kompilowany w środowisku wykonawczym. Powinien być w stanie wykonać swój własny kod.

http://groovy.codehaus.org/

przeciwnym razie zawsze dostał Perl, PHP, itp ... ale to nie są, jak sugerujesz, C/C++/D- jak językach.

Answer 6

JavaScirpt + V8 (kompilator Chrome JavaScript)

JavaScript jest

• dynamiczny
• self-modyfikacji (self-oceny) (no, coś w rodzaju, w zależności od definicji)
• ma składnię podobną do C (ponownie, w pewnym sensie, najlepiej można uzyskać dynamiczne)

Teraz możesz go skompilować z V8: http://code.google.com/p/v8/

Answer 7

można znaleźć próbki w C# tutaj: http://reboltutorial.com/blog/redirect-shell-to-rebol-console/

Answer 8

ja nie chce być uzależniony od VM, to jest to o co mi chodzi z skompilowany :)

Jeśli to wszystko którego szukasz, polecam Python lub Ruby. Obydwa mogą działać na własnych maszynach wirtualnych, JVM i .NET CLR. W ten sposób możesz wybrać dowolne środowisko uruchomieniowe. Z tych dwóch, Ruby wydaje się mieć więcej możliwości meta-programowania, ale wydaje się, że Python ma bardziej dojrzałe implementacje na innych platformach.