Dyskusja:Semantyka i weryfikacja programów/Ćwiczenia 4: Różnice pomiędzy wersjami
Nie podano opisu zmian |
Nie podano opisu zmian |
||
| (Nie pokazano 2 wersji utworzonych przez 2 użytkowników) | |||
| 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. --[[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]] | |||
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:" | |||
--[[Użytkownik:MKonarski|MKonarski]] 18:09, 13 lis 2006 (CET) | |||
Aktualna wersja na dzień 17:11, 13 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
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)
