Dyskusja:Semantyka i weryfikacja programów/Ćwiczenia 4: Różnice pomiędzy wersjami
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Nie podano opisu zmian |
Nie podano opisu zmian |
||
| Linia 1: | Linia 1: | ||
Osobiscie unikam nazw "semantyka dynamiczna" na semantyke z wiazaniem dynamicznym i "semantyka statyczna" na semantyke ze statycznym wiazaniem zmiennych. Od dawna (np. Definicja SML) ludziom zdarza sie "semantyka dynamiczna" nazywac sie semantyke obliczajaca wartosci, a "semantyka statyczna" nazywac semantyke liczaca i sprawdzajaca typy. (Zwykle na nastepnych cwiczeniach studenci pisza u mnie semantyke duzych krokow reprezentujaca sytem typow prostych dla lambda-rachunku i na koniec pisze im ze dwa twierdzenia opisujace zwiazki miedzy semantyka dynamiczna (dajaca wartosci) i semantyka statyczna (dajaca typy) --- wtedy konflikt nazw ujawnia sie drastycznie.) --[[Użytkownik:MKonarski|MKonarski]] 10:09, 30 paź 2006 (CET) | Osobiscie unikam nazw "semantyka dynamiczna" na semantyke z wiazaniem dynamicznym i "semantyka statyczna" na semantyke ze statycznym wiazaniem zmiennych. Od dawna (np. Definicja SML) ludziom zdarza sie "semantyka dynamiczna" nazywac sie semantyke obliczajaca wartosci, a "semantyka statyczna" nazywac semantyke liczaca i sprawdzajaca typy. (Zwykle na nastepnych cwiczeniach studenci pisza u mnie semantyke duzych krokow reprezentujaca sytem typow prostych dla lambda-rachunku i na koniec pisze im ze dwa twierdzenia opisujace zwiazki miedzy semantyka dynamiczna (dajaca wartosci) i semantyka statyczna (dajaca typy) --- wtedy konflikt nazw ujawnia sie drastycznie.) --[[Użytkownik:MKonarski|MKonarski]] 10:09, 30 paź 2006 (CET) | ||
Takie nazwy wydaja mi sie za dlugie. | |||
--[[SL]] | |||
Wersja z 17:34, 6 lis 2006
Osobiscie unikam nazw "semantyka dynamiczna" na semantyke z wiazaniem dynamicznym i "semantyka statyczna" na semantyke ze statycznym wiazaniem zmiennych. Od dawna (np. Definicja SML) ludziom zdarza sie "semantyka dynamiczna" nazywac sie semantyke obliczajaca wartosci, a "semantyka statyczna" nazywac semantyke liczaca i sprawdzajaca typy. (Zwykle na nastepnych cwiczeniach studenci pisza u mnie semantyke duzych krokow reprezentujaca sytem typow prostych dla lambda-rachunku i na koniec pisze im ze dwa twierdzenia opisujace zwiazki miedzy semantyka dynamiczna (dajaca wartosci) i semantyka statyczna (dajaca typy) --- wtedy konflikt nazw ujawnia sie drastycznie.) --MKonarski 10:09, 30 paź 2006 (CET)
Takie nazwy wydaja mi sie za dlugie.
--SL
