Blog (3)
Komentarze (189)
Recenzje (0)

Samopiszące się programy

@rmindSamopiszące się programy24.11.2013 22:02

Odnosząc się do artykułu http://www.dobreprogramy.pl/Wolfram-Language-tworca-pakietu-Mathematica-obiecuje-przelom-w-informatyce,News,49485.html ...

Pomysł oczywiście jest bardzo stary - może tak stary jak same komputery. Automatyzacja (nawet odniesiona do siebie samego - tj. maszyny w tym przypadku) stoi ostatecznie u samej podstawy "maszyn liczących"- to jest dokładnie to (i w sumie - tylko to) co komputery robią.

Na pewną skalę coś takiego było robione oczywiście wcześniej, nawet w asemblerze / kodzie maszynowym. W tym przypadku problem jednak polega na tym, że kod maszynowy sam z siebie nie ma żadnych narzędzi umożliwiających tworzenie jakiejkolwiek abstrakcji - i albo ktoś, kto chciał stworzyć program piszący programy, męczył się, albo w ogóle tego nie robił. Z reguły takie asemblerowe "samo-piszące się / samo-modyfikujące się programy" polegały na prostackim kopiowaniu już napisanego uprzednio przez programistę kodu, z ewentualnymi drobnymi modyfikacjami. Tak więc de facto "program sam piszący programy" wymagał nawet dodatkowego wysiłku od programisty - i nic dziwnego, że pomysł nie zdobył popularności.

Swego czasu (nie tak dawno zresztą - 2 lata temu?) intensywnie sam myślałem o automatyzacji (o)programowania, czyli "samo-piszących / samo-modyfikujących" się programach. Moje wnioski są następujące: [item] Aby coś takiego stworzyć, trzeba dysponować dobrze przemyślanym meta-systemem koncepcyjnym - innymi słowy wejść na wyższy poziom abstrakcji niż ten, na którym operują języki programowania. Chodzi o abstrakcję w rodzaju matematycznej (czyli de facto - filozoficznej), a nie programistycznej (np. mechanizm refleksji nie ma z tym nic wspólnego). To już zagadnienie samo w sobie jest tematem, którym można by obłożyć co najmniej kilka prac magisterskich.[/item][item] Uniwersalność takiego rozwiązania jest w zasadzie niemożliwa - albo koncentrujemy się na określonym typie aplikacji (np. do obsługi przez pewien rodzaj interfejsu użytkownika, typu obliczeniowego, typu rozrywkowego... itd.), albo jesteśmy w stanie stworzyć co najwyżej jakiś pośredni kod, który i tak potem musi zostać uzupełniony przez programistów, albo - wynik będzie pozostawiał zawsze wiele do życzenia, co w praktyce czyni "automatycznie napisany programy" bezużytecznym. (Wyobraź sobie np. bank tworzący złożony system w ten sposób, by oszczędzić na firmie tworzącej oprogramowanie. Nie trudno się domyślić, że w przypadku "oprogramowania pisanego na miarę" (takim są systemy bankowe) nie zda to egzaminu, jeśli rola człowieka (choćby przy projektowaniu interfejsu, ale także innych rodzajach interakcji użytkownika z komputerem - np. modelowaniu samej obsługi funkcjonalności) będzie zbytnio ograniczona)[/item] Temat trudny, długi, z mnóstwem pułapek i wymagający ogromnych nakładów pracy, a nawet nie wiadomo, czy jest w ogóle sens to robić. Chyba tylko dla ludzi o zawodzie lub zacięciu akademickim. Być może da się kiedyś coś z tym zrobić, nie ponosząc dużych "kosztów", jednak przy obecnym stanie technologii - na pewno lepiej poczekać... chyba że mówimy o narzędziu tworzącym oprogramowanie o ściśle określonym przeznaczeniu (np. strony internetowe - które tworzy głównie projektant wizualny, określone typy gier - proste zręczniościówki, przygodówki itp.) - takie jednak już oczywiście istnieją.

Wracając do artykułu... Cytuję: [nowy język programowania] "kończy z wyraźnym rozróżnieniem pomiędzy danymi i algorytmami". Obecne trendy w tworzeniu oprogramowania (i uważam, że słusznie) dążą w kierunku tworzenia poziomów abstrakcji oraz separacji różnych elementów bądź aspektów oprogramowania. Brak rozróżnienia między tak elementarnymi kwestiami, jak proces (algorytm, metody, pod-programy itd.) oraz dane wydaje mi się na pierwszy rzut oka nieporozumieniem: to tak, jakby w matematyce odrzucić funkcje i wszystko nazywać liczbami. Nasuwają się też na myśl problemy z elastycznością: czy można używać dowolnych mechanizmów składowania (powiedzmy baza MySQL, PostreSQL...) danych w przypadku, gdy dana może być algorytmem?

Szanowna Użytkowniczko! Szanowny Użytkowniku!
×
Aby dalej móc dostarczać coraz lepsze materiały redakcyjne i udostępniać coraz lepsze usługi, potrzebujemy zgody na dopasowanie treści marketingowych do Twojego zachowania. Twoje dane są u nas bezpieczne, a zgodę możesz wycofać w każdej chwili na podstronie polityka prywatności.

Kliknij "PRZECHODZĘ DO SERWISU" lub na symbol "X" w górnym rogu tej planszy, jeżeli zgadzasz się na przetwarzanie przez Wirtualną Polskę i naszych Zaufanych Partnerów Twoich danych osobowych, zbieranych w ramach korzystania przez Ciebie z usług, portali i serwisów internetowych Wirtualnej Polski (w tym danych zapisywanych w plikach cookies) w celach marketingowych realizowanych na zlecenie naszych Zaufanych Partnerów. Jeśli nie zgadzasz się na przetwarzanie Twoich danych osobowych skorzystaj z ustawień w polityce prywatności. Zgoda jest dobrowolna i możesz ją w dowolnym momencie wycofać zmieniając ustawienia w polityce prywatności (w której znajdziesz odpowiedzi na wszystkie pytania związane z przetwarzaniem Twoich danych osobowych).

Od 25 maja 2018 roku obowiązuje Rozporządzenie Parlamentu Europejskiego i Rady (UE) 2016/679 (określane jako "RODO"). W związku z tym chcielibyśmy poinformować o przetwarzaniu Twoich danych oraz zasadach, na jakich odbywa się to po dniu 25 maja 2018 roku.

Kto będzie administratorem Twoich danych?

Administratorami Twoich danych będzie Wirtualna Polska Media Spółka Akcyjna z siedzibą w Warszawie, oraz pozostałe spółki z grupy Wirtualna Polska, jak również nasi Zaufani Partnerzy, z którymi stale współpracujemy. Szczegółowe informacje dotyczące administratorów znajdują się w polityce prywatności.

O jakich danych mówimy?

Chodzi o dane osobowe, które są zbierane w ramach korzystania przez Ciebie z naszych usług, portali i serwisów internetowych udostępnianych przez Wirtualną Polskę, w tym zapisywanych w plikach cookies, które są instalowane na naszych stronach przez Wirtualną Polskę oraz naszych Zaufanych Partnerów.

Dlaczego chcemy przetwarzać Twoje dane?

Przetwarzamy je dostarczać coraz lepsze materiały redakcyjne, dopasować ich tematykę do Twoich zainteresowań, tworzyć portale i serwisy internetowe, z których będziesz korzystać z przyjemnością, zapewniać większe bezpieczeństwo usług, udoskonalać nasze usługi i maksymalnie dopasować je do Twoich zainteresowań, pokazywać reklamy dopasowane do Twoich potrzeb. Szczegółowe informacje dotyczące celów przetwarzania Twoich danych znajdują się w polityce prywatności.

Komu możemy przekazać dane?

Twoje dane możemy przekazywać podmiotom przetwarzającym je na nasze zlecenie oraz podmiotom uprawnionym do uzyskania danych na podstawie obowiązującego prawa – oczywiście tylko, gdy wystąpią z żądaniem w oparciu o stosowną podstawę prawną.

Jakie masz prawa w stosunku do Twoich danych?

Masz prawo żądania dostępu, sprostowania, usunięcia lub ograniczenia przetwarzania danych. Możesz wycofać zgodę na przetwarzanie, zgłosić sprzeciw oraz skorzystać z innych praw wymienionych szczegółowo w polityce prywatności.

Jakie są podstawy prawne przetwarzania Twoich danych?

Podstawą prawną przetwarzania Twoich danych w celu świadczenia usług jest niezbędność do wykonania umów o ich świadczenie (tymi umowami są zazwyczaj regulaminy). Podstawą prawną przetwarzania danych w celu pomiarów statystycznych i marketingu własnego administratorów jest tzw. uzasadniony interes administratora. Przetwarzanie Twoich danych w celach marketingowych realizowanych przez Wirtualną Polskę na zlecenie Zaufanych Partnerów i bezpośrednio przez Zaufanych Partnerów będzie odbywać się na podstawie Twojej dobrowolnej zgody.