[nem-pl] semantyka c.d.

["Paweł W. Olszta"]

Lukasz Kaiser wrote:

> Hej.
>  
> 
>>A mógłbyś przypomnieć do czego Ci ta semantyka była? Bo jak dobrze
>>pamiętam, to:
>>  a) żeby coś udowadniać o programach
>>  b) żeby sobie ludzie teoretyczni mieli na co popatrzeć
>>  
>>Wątpliwości są do wykonalności a) oraz (teraz?) senowności b).
>>Być może język wygląda niepoważnie z teoretycznego punktu widzenia,
>>jeśli nie ma formalnie zdefiniowanej semantyki. A może nie. A może nie
>>ma co się tym przejmować.
>>
>>Anyway sprawa IMHO wygląda tak, że jeśli Ty się za to nie weźmiesz,
>>to chyba nikt tego nie zrobi.
> 
> 
> Sprawa wyglada tak, ze ja sobie jakas semantyke czegos zdefiniuje, bo ja
> sie bede caly doktorat zajmowal roznymi logikami na roznych obiektach
> bedacych zasadniczo programami. Tylko ze mi wskazniki, klasy i duzo innych
> rzeczy nie sa potrzebne i lepiej mi bedzie jak sobie wezme jakis czysto
> teoretyczny jezyk. Pytanie jest takie, czy ma jakis sens robienie tego dla
> Nemerle, tzn. o zasadnosc punktu b). Bo jesli semantyka ma sie przysluzyc
> czemus, np. ze bedzie ktos sie bardziej Nemerle interesowal, to ma sens ja
> zrobic. Jednakze baardzo watpie zeby tak bylo (przynajmniej w tej chwili w
> zwiazku z kierunkiem w ktorym sie jezyk rozwinal). W zwiazku z tym moze
> dajmy sobie z semantyka spokoj, przynajmniej do czasu kiedy bedzie komus
> rzeczywiscie bardzo potrzebna. Z reszta dobry opis systemu typow,
> algorytmu typowania i rekonstrukcji, bedzie chyba znacznie ciekawszy i
> potrzebniejszy niz semantyka. Dlatego prosze zastanow sie jeszcze pare
> chwil i jesli uznasz ze ma sens dac sobie spokoj, to wywal ze strony
> odniesienia do semantyki, katalog z svn i dajmy sobie z tym spokoj (albo
> napisz to ja wywale).

Semantyka jeśli miałaby mieć jakikolwiek sens, powinna zostać spisana w 
języku jakiegoś proof assistanta, na ten przykład HOL'a (jest kilka 
semantyk C na przykład zrobionych).

Oczywiście nie ma to póki co sensu, bo nikt jeszcze nie napisał 
semantyki .NET'a jako takiego (a przynajmniej nie znalazłem na śmieci).

-- 
My opinions may have changed, but not the fact
that I am right. -- Ashley Brilliant