Czym dokładnie jest metaprogramowanie?

Metaprogramowanie odnosi się do różnych sposobów, w jakie program posiada wiedzę o sobie lub może manipulować sobą.

W językach takich jak C#, reflection jest formą metaprogramowania, ponieważ program może badać informacje o sobie. Na przykład zwrócenie listy wszystkich właściwości obiektu.

W językach takich jak ActionScript można oceniać funkcje w czasie wykonywania, aby tworzyć nowe programy, takie jak eval("x" + i).DoSomething() oddziaływałby na obiekt o nazwie x1, gdy i jest 1 i x2 kiedy mam 2 lata.

Wreszcie, inną popularną formą metaprogramowania jest sytuacja, w której program może zmienić się w nietrywialne mody. LISP jest z tego dobrze znany i jest czymś, o czym opowiedział Paul Graham około dekady temu. Muszę poszukać jego konkretnych esejów. Ale chodzi o to, że program zmieniłby inną część programu w oparciu o jego stan. Pozwala to na poziom elastyczności w podejmowaniu decyzji w czasie wykonywania, który jest bardzo trudny w większości popularnych języków dzisiaj.

Warto również zauważyć, że w dawnych dobrych czasach programowania w prostych assembly, programy, które zmieniały się w czasie wykonywania, były niezbędne i bardzo powszechne.

Z eseju Paula Grahama "co zmieniło Lisp":

Wiele języków ma coś, co nazywa się makro. Ale makra Lispu są unikalne. Oraz Wierzcie lub nie, to co robią to związane z nawiasami. Na projektanci Lispu nie umieścili tych wszystkich nawias w język po prostu być inaczej. Do programisty Blub, Kod Lispu wygląda dziwnie. Ale te nawiasy są nie bez powodu. Są zewnętrznym dowodem na podstawowa różnica między Lispem i innych języków.

Kod Lispu jest zbudowany z danych Lispu obiektów. I nie w trywialnym sensie że pliki źródłowe zawierają znaków, a łańcuchy są jednym z typy danych obsługiwane przez język. Kod Lispu, po przeczytaniu go przez parser, składa się z danych konstrukcje które możesz przemierzyć.

Jeśli rozumiesz jak działają Kompilatory, to, co się naprawdę dzieje, nie jest tak bardzo ten Lisp ma dziwną składnię jak to Lisp nie ma składni. Piszesz programy w drzewach parsowania, które są generowane w kompilatorze, gdy inne języki są przetwarzane. Ale te parse drzewa są w pełni dostępne dla programy. Można pisać programy, które manipulować nimi. W Lispie te programy nazywane są makrami. Są to programy, które piszą programy.

Programy, które piszą programy? Kiedy chciałabyś to kiedyś zrobić? Nie bardzo często, jeśli myślisz w COBOLu. Wszystkie czas, jeśli myślisz w Lispie. Informatyka byłoby tu wygodnie, gdybym mógł podaj przykład potężnego makra, i powiedz to! co ty na to? Ale jeśli Tak, to by wyglądało jak bełkot dla kogoś, kto nie wiedział Lisp; nie ma tu miejsca na wyjaśnienia wszystko, co musisz wiedzieć, aby zrozum, co to znaczy. W Ansi Często Lisp I tried to move things tak szybko, jak tylko mogłem, a nawet tak Do makr dotarłem dopiero na stronie 160.

Ale myślę, że mogę dać coś w rodzaju argument, który może być przekonujący. Na kod źródłowy edytora Viaweb był prawdopodobnie około 20-25% makr. Makra są trudniejsze do napisania niż zwykły Lisp funkcje, i jest uważany za zły styl używania ich, gdy nie są konieczne. Więc każde makro w tym kodzie jest, bo musi być. Co? oznacza to, że że co najmniej 20-25% kod w tym programie robi rzeczy, których nie da się łatwo zrobić w żadnym inny język. Jednak sceptyczny Programista Blub może być o moim roszczenia do tajemniczych mocy Lisp, to powinno go zaciekawić. Nie pisaliśmy tego kodu dla naszego własna rozrywka. Byliśmy małym startupem, programowanie tak trudne, jak to tylko możliwe w nakaz stawiania barier technicznych między nami a naszymi konkurentami.

Podejrzana osoba może zacząć wonder gdyby istniała jakaś korelacja proszę. Duża część naszego kodu była robienie rzeczy, które są bardzo trudne do zrobienia w innych językach. W wyniku oprogramowanie robiło rzeczy naszych konkurentów" oprogramowanie nie da rady. Może było jakiś związek. Zachęcam ty podążaj za tym wątkiem. Mogą be more to that old man hobbling along na kulach niż na pierwszy rzut oka.