-
Data: 2013-12-23 14:48:03
Temat: Re: Detekcja wzorców w języku, metody
Od: Adam Przybyla <a...@r...pl> szukaj wiadomości tego autora
[ pokaż wszystkie nagłówki ]Sebastian Biały <h...@p...onet.pl> wrote:
> Mam język imperatywny. Nie ważne jaki, wszystkie są w zasadzie identyczne.
>
> Język ten słuzy do programowania w pewnej wąskiej grupie zastosowań,
> gdzie używane są pewne charakterystyczne "wzorce projektowe".
>
> Nie mają one za duzo wspólnego z wzorcami OO, ale po chwili namysłu
> odpowiadam, że w zasadzie chodzi o coś bardzo podobnego w idei detekcji.
> Programista patrząc w kod widzi własnie taki wzorzec.
>
> Teraz ja chciałbym spojrzeć w kod i go dostrzec. Automatycznie.
>
> Kod ma masę szumu. Od trywializmów typu komentarze, przez i++, ++i a
> kończąc na wymianach całych bloków kodu na inne analogi. Ale to dalej
> implementacja wzorca, tylko czasem nie wprost.
>
> Na razie ostrożnie badam teren. To co udało mi się przeczytać
> publikowane na przestrzeni ostatnich kilku lat (i dostepne od reki z
> Googla) sprowadza się zazwyczaj do prostego mechnizmu:
>
> 1) przeparsuj i zbuduj AST
> 2) AST->Prolog
>
> Prolog czasem z odatkami typu fuzzy logic. Prawie cała literatura kręci
> się wokół OO design patterns w Javie.
>
> Ale ponieważ tematu nie znam i może mam złe przykłady to:
>
> a) Czy AST->Prolog lub inny język logiczny jest obecnie najczęstszym
> rozwiązaniem? Oczywiście wliczając w to Prolog-like embedded engines.
>
> b) Może istnieje jakiś framework który jest na tyle abstrakcyjny że nie
> zależy od skladni badanego języka? Coś do badania składni ogólnie co
> spełnia moje marzenia o klasyfikacji?
>
> c) Może to się robi kompletnie inaczej?
>
> Mam *wrażenie* że detekcja wzorców w kodzie jest powszechna w
> narzedziach typu lint. Interesuje mnie chwilowo podejście akademickie.
> Typu "czy to w ogóle jest mozliwe" więc nie szukam rozwiązań
> produkcyjnych, ale bardziej potwierdzenia/zaprzeczenia tezy że się da.
>
> Żeby była jasność: wyobrażam sobie takie coś:
>
> to Fred
> {
> jeśli zmienna x jest int
> jeśli jest uzywa w pętli
> jesli zaczyna się od 0 i kończy na zmiennej y inkrementując co 2
> jesli w srodku jest przynajmniej jeden break
> jesli w środku nie ma continue
> jesli w srodku mamy pętlę while gdzie x jest zmniejszane
> }
>
> Algorytm ma odpowiedzieć na pytanie "czy to jest Fred" po zobaczeniu
> niezbędnego kawalka kodu.
>
> Zagadnienia parsowania są nieistotne. Parser jest.
... ja kiedys podsze3dlem do takiego problemu troche inaczej:
parser+tdd+wlasny kod
akurat w mom przypadku byl to ANTLR,TDD i Python ale to mozesz sobie wybrac
dowolnie. Poprzez kolejne testy nakladasz na kod okreslone reguly ktore
pozniej sam generujesz tworzac heurystyczny, coraz bardziej dokladny algorytm.
U mnie byla to kwestia webscrapingu i analizy tekstow u ciebie ich przeksztalcanie.
Pewne przyblizenie znajdziesz w prezentacji jaka miala miejsce na poczatku grudnia
podczas wroclawskich wroc.py - spotkan uzytkownikow Pythona:
http://www.linkedin.com/profile/view?id=9402673&goba
ck=.nmp_*1_*1_*1_*1_*1_*1_*1_*1_*1_*1&trk=spm_pic
http://www.slideshare.net/AdamPrzybyla/wroc-py2013
Mysle, ze i tak jestes skazany na wymyslenie wlasnych heurystycznych metod
rozwiazania tego
problemu, zadna czarna skrzynka prologowo-lispowa Ci tu nie pomoze;-)
Z powazaniem
Adam Przybyla
Najnowsze wątki z tej grupy
- Nowa ustawa o ochronie praw autorskich - opis problemu i szkic ustawy
- Alg. kompresji LZW
- Popr. 14. Nauka i Praca Programisty C++ w III Rzeczy (pospolitej)
- Arch. Prog. Nieuprzywilejowanych w pełnej wer. na nowej s. WWW energokod.pl
- 7. Raport Totaliztyczny: Sprawa Qt Group wer. 424
- TCL - problem z escape ostatniego \ w nawiasach {}
- Nauka i Praca Programisty C++ w III Rzeczy (pospolitej)
- testy-wyd-sort - Podsumowanie
- Tworzenie Programów Nieuprzywilejowanych Opartych Na Wtyczkach
- Do czego nadaje się QDockWidget z bibl. Qt?
- Bibl. Qt jest sztucznie ograniczona - jest nieprzydatna do celów komercyjnych
- Co sciaga kretynow
- AEiC 2024 - Ada-Europe conference - Deadlines Approaching
- Jakie są dobre zasady programowania programów opartych na wtyczkach?
- sprawdzanie słów kluczowych dot. zła
Najnowsze wątki
- 2025-03-19 Wrocław => Konsultant wdrożeniowy Comarch XL (Logistyka, WMS, Produk
- 2025-03-19 Prezydent Duda śmie szkalować bodnaturę niepokalanie poczętą, dwóch pełnomocników Geralda B. i "standardy Tuskie"
- 2025-03-18 Tesla na złom
- 2025-03-18 Ziobrotura 3.0 będzie w prawie przesłuchać "świadka" Tuska bez adwokata w sprawach Sienkiewicza/Bodnara/...?
- 2025-03-18 Produkty ,,Made in Germany" wciąż na topie - art. na www.dw.com
- 2025-03-18 ulaskawienia
- 2025-03-18 Gdynia => Sales Executive / KAM <=
- 2025-03-18 42 MILIARDY ZŁOTYCH ZYSKU W ROK. DLACZEGO BANKI TYLE ZARABIAJĄ W POLSCE?
- 2025-03-17 Nie matura lecz chęć szczera ...
- 2025-03-17 Pendrive zdycha, czy coś jeszcze innego? Problem z plikami.
- 2025-03-17 Odkurzacz Smapp Dynamic - dawny Zelmer
- 2025-03-17 Nagra IV i zewnętrzny pilot
- 2025-03-17 Rzeszów => Spedytor Międzynarodowy <=
- 2025-03-17 Warszawa => Junior Account Manager <=
- 2025-03-17 Białystok => Gen AI Engineer <=