hwechtla-tl: Muutosalgebra

Mikä on WikiWiki?
nettipäiväkirja
koko wiki (etsi)
viime muutokset

---

(kesken)

Milloin kahdella muutoksella on sama merkitys?

Alla on neljä muokkausta: A, B, C ja D. Mitkä niistä ovat keskenään merkitykseltään samoja? Kaikki lisäävät rivin "print(foo)" melko samanlaisiin konteksteihin.

Muokkaus A:

alkuperäinen                            lopputulos

def hajota(foo):                        def hajota(foo):
  return foo.split()                      print(foo)
                                          return foo.split()

Muokkaus B:

alkuperäinen                            lopputulos

def uusi(x):                            def uusi(x):
  return x * x * 3                        return x * x * 3

def hajota(foo):                        def hajota(foo):
  return foo.split()                      print(foo)
                                          return foo.split()

Muokkaus C:

alkuperäinen                            lopputulos

def hajota(foo):                        def hajota(foo):
  foo += '\n'                             foo += '\n'
  return foo.split()                      print(foo)
                                          return foo.split()

Muokkaus D:

alkuperäinen                            lopputulos

return foo.split()                      print(foo)
                                        return foo.split()

Ehdotus:

• kaksi muokkausta ovat syntaktisesti samanmerkityksiset, mikäli ne muokkaavat samaa asiaa tai samoja asioita (esim. riviä, funktiota, sanaa, kappaletta tai hunkia) ja molemmat vievät sen samasta tilasta X samaan tilaan Y.
• kaksi muokkausta ovat semanttisesti samanmerkityksiset, mikäli niiden "havaittavissa olevat vaikutukset" ovat samat. (Eli suunnilleen: jos niillä olisi sama commit-viesti.)

Jälkemmäinen määritelmä toimii myös toisin päin: jos kaksi eri konteksteissa olevaa muutosta ovat sellaiset, että ihminen, jolla on tietty päämäärä, tekisi yhdessä kontekstissa toisen näistä muutoksista ja toisessa toisen näistä muutoksista, niin niillä on semanttisesti sama merkitys.

kategoria: keskeneräiset kategoria: filosofia

Pikalinkit:

• Milloin kahdella muutoksella on sama merkitys?