Dyskusja:Semantyka i weryfikacja programów/Ćwiczenia 4

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

Troche sie pogubilem w 3 zadaniu domowym. Proponowalbym cos w rodzaju:

"Do rozważenia mamy nastepujace mechanizmy przekazywania parametrów: [...] Ten drugi mechanizm rozumiemy w przypadku semantyki dynamicznej następująco:"

--MKonarski 18:09, 13 lis 2006 (CET)